A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
The framework of selective interleaving functions and the modular assembly kit
2005
Proceedings of the 2005 ACM workshop on Formal methods in security engineering - FMSE '05
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 framework is strictly more
doi:10.1145/1103576.1103584
dblp:conf/ccs/Mantel05
fatcat:bctps5ifuveypimrvuqeswwnn4