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

@article{Mantel03b, abstract = {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.}, author = {Mantel, Heiko and Sabelfeld, Andrei}, citeulike-article-id = {6043135}, citeulike-linkout-0 = {http://iospress.metapress.com/content/r0pr0ma4kv8wa542}, citeulike-linkout-1 = {http://www.cse.chalmers.se/~andrei/mantel-sabelfeld-jcs.ps}, day = {1}, journal = {Journal of Computer Security}, keywords = {2003, distributed, information-flow, language, maks, program, security, translation}, month = {January}, number = {4}, pages = {615--676}, posted-at = {2009-10-30 14:16:44}, priority = {2}, title = {A unifying approach to the security of distributed and multi-threaded programs}, url = {http://iospress.metapress.com/content/r0pr0ma4kv8wa542}, volume = {11}, year = {2003} }

TY - JOUR ID - Mantel03b L3 - citeulike-article-id:6043135 N2 - 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. IS - 4 JF - Journal of Computer Security EP - 676 TI - A unifying approach to the security of distributed and multi-threaded programs VL - 11 SP - 615 KW - 2003 KW - distributed KW - information-flow KW - language KW - maks KW - program KW - security KW - translation AU - Mantel, Heiko AU - Sabelfeld, Andrei PY - 2003/01/01/ UR - http://iospress.metapress.com/content/r0pr0ma4kv8wa542 ER -