A generic approach to the security of multi-threaded programs

Publikationstyp
Conference Paper
Date Issued
2001-06
Sprache
English
Author(s)
Mantel, Heiko 
Sabelfeld, Andrei  
TORE-URI
http://hdl.handle.net/11420/14019
Start Page
126
End Page
142
Citation
Proceedings of the Computer Security Foundations Workshop: 126-142 (2001)
Contribution to Conference
14th IEEE Computer Security Foundations Workshop, 2001  
Publisher DOI
10.1109/CSFW.2001.930142
Scopus ID
2-s2.0-0034823079
Publisher
IEEE
ISBN of container
978-0-7695-1147-4
0-7695-1147-3
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 a translation of a timing-sensitive security property for simple multi-threaded programs into a more general security framework. Interestingly, our notion of security for programs is bisimulation-based while the security framework is trace-based. Nevertheless, we show that the translation is sound and complete in the sense that the trace-based specification which results from the translation of a multi-threaded program is secure if and only if the original program is secure. The translation is presented as a two-step process where the first step is independent from the concrete programming language.
DDC Class
004: Informatik