Formalizing an abstract architecture for the alternative data source utilized during system availability under intrusion threat Conference Paper