The framework of selective interleaving functions and the modular assembly kit

Publikationstyp
Conference Paper
Date Issued
2005-11
Sprache
English
Author(s)
Mantel, Heiko 
TORE-URI
http://hdl.handle.net/11420/13918
Start Page
53
End Page
62
Citation
FMSE'05: Proceedings of the 2005 ACM Workshop on Formal Methods in Security Engineering: 53-62 (2005-12-01)
Contribution to Conference
FMSE'05: 2005 ACM Workshop on Formal Methods in Security Engineering  
Publisher DOI
10.1145/1103576.1103584
Scopus ID
2-s2.0-31844452867
Publisher
ACM
The Framework of Selective Interleaving Functions and the Modular Assembly Kit for Security Properties both provide a basis for the uniform representation and formal analysis of noninterference-like properties. In this article, we clarify the relationship between these two frameworks. Our main result is that each property that can be represented in the Framework of Selective Interleaving Functions can also be represented in the assembly kit. In fact, the latter frame-work is strictly more expressive, which we demonstrate by several example properties.
Subjects
Formal specification and analysis of security properties
Information flow security
Noninterference
DDC Class
004: Informatik