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...

Celý popis

Podrobná bibliografie

Vydáno v:	Computer languages, systems & structures Ročník 33; číslo 2; s. 35 - 59
Hlavní autoři:	Barthe, Gilles, Rezk, Tamara, Basu, Amitabh
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier Ltd 01.07.2007
Témata:	Low-level languages Non-interference Program analysis Security Low-level languages Non-interference Program analysis Security
ISSN:	1477-8424, 1873-6866
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!