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
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;
Conference_Titel :
e-Technologies, 2008 International MCETECH Conference on
Conference_Location :
Montreal, Que.
Print_ISBN :
978-0-7695-3082-6
DOI :
10.1109/MCETECH.2008.20
