A Formal Model of Security Dependency for Analysis and Testing of Secure Systems

John A. McDermid, Qi Shi. A Formal Model of Security Dependency for Analysis and Testing of Secure Systems. In CSFW. pages 188-200, 1991.

Abstract

Abstract is missing.