Formalizing an abstract architecture for the alternative data source utilized during system availability under intrusion threat | IET Conference Publication | IEEE Xplore