DocumentCode
3227568
Title
Formal Modeling for Security Behavior Analysis of Computer Systems
Author
Adi, Kamel ; Hamza, Lamia ; Pene, Liviu
Author_Institution
Univ. du Quebec en Outaouais, Gatineau
fYear
2008
fDate
23-25 Jan. 2008
Firstpage
49
Lastpage
59
Abstract
This paper proposes a formal framework aimed at specifying and verifying computer systems security behavior. In this approach, systems and their interactions are modeled through processes with a new dedicated calculus inspired from the ambient calculus. We demonstrate how, given a network security policy implementation, our dedicated calculus allows to verify that the specification offers or not sufficient protection from a malicious intruder.
Keywords
computer networks; formal specification; formal verification; security of data; ambient calculus; computer systems; formal modeling; malicious intruder; network security policy; security behavior analysis; security behavior specification; security behavior verification; Calculus; Computer networks; Computer science; Computer security; Laboratories; Monitoring; Power system modeling; Power system security; Protection; Specification languages; Formal Technique; Mobile Ambients; Network Security Specification; Security Policy;
fLanguage
English
Publisher
ieee
Conference_Titel
e-Technologies, 2008 International MCETECH Conference on
Conference_Location
Montreal, Que.
Print_ISBN
978-0-7695-3082-6
Type
conf
DOI
10.1109/MCETECH.2008.20
Filename
4483417
Link To Document