CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

Secuirty of Multithreaded Programs by Compilation

Gilles Barthe ; Tamara Rezk ; Alejandro Russo (Institutionen för data- och informationsteknik (Chalmers)) ; Andrei Sabelfeld (Institutionen för data- och informationsteknik (Chalmers))
Special Issue of ACM Transactions on Information and System Security (TISSEC) (2009)
[Artikel, refereegranskad vetenskaplig]

Information security is a pressing challenge for mobile code technologies. In order to claim end-to-end security of mobile code, it is necessary to establish that the code neither intentionally nor accidentally propagates sensitive information to an adversary. Although mobile code is commonly multithreaded low-level code, the literature is lacking enforcement mechanisms that ensure information security for such programs. This article offers a modular solution to the security of multithreaded programs. The modularity is three-fold: we give modular extensions of sequential semantics, sequential security typing, and sequential security-type preserving compilation that allow us enforcing security for multithreaded programs. Thanks to the modularity, there are no more restrictions on multithreaded source programs than on sequential ones, and yet we guarantee that their compilations are provably secure for a wide class of schedulers.

Nyckelord: Multithreaded, compilation, low-level code, information-flow


This article is an extended version of an article of the same name published at the 10th European Symposium on Research in Computer Security (ESORICS).



Denna post skapades 2009-08-19. Senast ändrad 2015-12-17.
CPL Pubid: 96194

 

Läs direkt!


Länk till annan sajt (kan kräva inloggning)


Institutioner (Chalmers)

Institutionen för data- och informationsteknik (Chalmers)

Ämnesområden

Datalogi

Chalmers infrastruktur