A unifying approach to the security of distributed and multi-threaded programs

Publikationstyp
Journal Article
Date Issued
2001-06
Sprache
English
Author(s)
Mantel, Heiko 
Sabelfeld, Andrei  
TORE-URI
http://hdl.handle.net/11420/14008
Journal
Applied catalysis  
Volume
11
Issue
4
Start Page
615
End Page
676
Citation
Journal of Computer Security 11 (4): 615-676 (2003)
Contribution to Conference
14th Computer Security Foundations Workshop, CSFW 2001  
Publisher DOI
10.3233/JCS-2003-11406
Scopus ID
2-s2.0-0141528662
Publisher
IOS Press
The security of computation at the level of a specific programming language and the security of complex systems at a more abstract level are two major areas of current security research. With the objective to integrate the two. this article proposes an adequate translation of a timing-sensitive security property for simple multi-threaded programs into a more general security framework. Soundness and completeness of the translation guarantee that the trace-based specification of the translation of a multi-threaded program is secure if and only if the original program is secure. Finally, the translation is extended to a distributed setting, and it is demonstrated how to derive global security of the overall system from local security of each thread. The translation is presented as a two-step process where the first step is independent from the concrete programming language.
DDC Class
004: Informatik