A monadic analysis of information flow security with mutable state

We explore the logical underpinnings of higher-order, security-typed languages with mutable state. Our analysis is based on a logic of information flow derived from lax logic and the monadic metalanguage. Thus, our logic deals with mutation explicitly, with impurity reflected in the types, in contra...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Journal of functional programming Ročník 15; číslo 2; s. 249 - 291
Hlavní autoři:	CRARY, KARL, KLIGER, ALEKSEY, PFENNING, FRANK
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Cambridge, UK Cambridge University Press 01.03.2005
Témata:	Special Issue on Language Based Security
ISSN:	0956-7968, 1469-7653
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!

Buďte první, kdo okomentuje tento záznam!