Duane E. Olawsky, Charles Payne, Thomas Sundquist, David Apostal, Todd Fine. Using Composition to Design Secure, Fault-Tolerant Systems. In 3rd IEEE International Symposium on High-Assurance Systems Engineering (HASE 98), 13-14 November 1998, Washington, D.C, USA, Proceedings. pages 29, IEEE Computer Society, 1998. [doi]
Abstract is missing.