Security types preserving compilation

Starting from the seminal work of Volpano and Smith, there has been growing evidence that type systems may be used to enforce confidentiality of programs through non-interference. However, most type systems operate on high-level languages and calculi, and “low-level languages have not received much...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Computer languages, systems & structures Jg. 33; H. 2; S. 35 - 59
Hauptverfasser:	Barthe, Gilles, Rezk, Tamara, Basu, Amitabh
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Elsevier Ltd 01.07.2007
Schlagworte:	Low-level languages Non-interference Program analysis Security Low-level languages Non-interference Program analysis Security
ISSN:	1477-8424, 1873-6866
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!