@InProceedings{ mantel.ea:a-generic-approach-to-the-security-of-multi-threaded-programs:2001, abstract = {The security of computation at the level of a specific programminglanguage and the security of complex systems ata more abstract level are two major areas of current securityresearch. With the objective to integrate the two, thisarticle proposes a translation of a timing-sensitive securityproperty for simple multi-threaded programs into a moregeneral security framework. Interestingly, our notion of securityfor programs is bisimulation-based while the securityframework is trace-based. Nevertheless, we show thatthe translation is sound and complete in the sense that thetrace-based specification which results from the translationof a multi-threaded program is secure if and only if the originalprogram is secure. The translation is presented as atwo-step process where the first step is independent fromthe concrete programming language.}, address = {Cape Breton, Nova Scotia, Canada}, author = {Heiko Mantel and Andrei Sabelfeld}, booktitle = {Proceedings of the 14th IEEE Computer Security Foundations Workshop (CSFW)}, month = {June 11--13}, pages = {126--142}, pdf = {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2001/2001ieee-csfw.pdf}, ps = {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2001/2001ieee-csfw.ps.zip}, publisher = {IEEE Computer Society}, title = {{A Generic Approach to the Security of Multi-threaded Programs}}, year = 2001 }