Safdar, S. and Hassan, M.F. and Akbar, R. and Qureshi, M.A.  (2012) Formalizing an abstract architecture for the alternative data source utilized during system availability under intrusion threat.  In: UNSPECIFIED.