TU Darmstadt / ULB / TUbiblio

A Generic Approach to the Security of Multi-threaded Programs

Mantel, Heiko and Sabelfeld, Andrei (2001):
A Generic Approach to the Security of Multi-threaded Programs.
In: Proceedings of the 14th IEEE Computer Security Foundations Workshop, IEEE Computer Society, [Conference or Workshop Item]

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.

Item Type: Conference or Workshop Item
Erschienen: 2001
Creators: Mantel, Heiko and Sabelfeld, Andrei
Title: A Generic Approach to the Security of Multi-threaded Programs
Language: ["languages_typename_1" not defined]
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.

Title of Book: Proceedings of the 14th IEEE Computer Security Foundations Workshop
Publisher: IEEE Computer Society
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Modeling and Analysis of Information Systems (MAIS)
Date Deposited: 31 Dec 2016 09:57
Identification Number: mantel.ea:a-generic-approach-to-the-security-of-multi-threaded-programs:2001
Export:
Suche nach Titel in: TUfind oder in Google

Optionen (nur für Redakteure)

View Item View Item