Mantel, HeikoHeikoMantelSabelfeld, AndreiAndreiSabelfeld2022-11-112022-11-112001-06Journal of Computer Security 11 (4): 615-676 (2003)http://hdl.handle.net/11420/14008The 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.en1875-892420014615676IOS PressInformatikJournal Article10.3233/JCS-2003-11406Other