Title :
A formal model of security dependency for analysis and testing of secure systems
Author :
McDermid, J.A. ; Shi, Qi
Author_Institution :
Dept. of Comput. Sci., York Univ., UK
Abstract :
The paper presents a formal and systematic model for analysis and testing of secure systems. The concept of security dependency is first introduced, and certain rules and theorems of security dependency are then formally described. These rules can be used as a basis for static analysis, dynamic testing, and covert channel analysis for a secure system. The major feature of the model presented is that static analysis and dynamic testing can be combined together to evaluate the security properties of a system
Keywords :
formal specification; security of data; covert channel analysis; dynamic testing; formal model; secure systems; security dependency; security properties; static analysis; testing; Computer science; Data security; Formal verification; Information security; Runtime; Software systems; System testing;
Conference_Titel :
Computer Security Foundations Workshop IV, 1991. Proceedings
Conference_Location :
Franconia, NH
Print_ISBN :
0-8186-2215-6
DOI :
10.1109/CSFW.1991.151586
