DocumentCode
2142342
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
fYear
1991
fDate
18-20 Jun 1991
Firstpage
188
Lastpage
200
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Security Foundations Workshop IV, 1991. Proceedings
Conference_Location
Franconia, NH
Print_ISBN
0-8186-2215-6
Type
conf
DOI
10.1109/CSFW.1991.151586
Filename
151586
Link To Document