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

Podrobná bibliografia

Vydané v:	Journal of functional programming Ročník 15; číslo 2; s. 249 - 291
Hlavní autori:	CRARY, KARL, KLIGER, ALEKSEY, PFENNING, FRANK
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Cambridge, UK Cambridge University Press 01.03.2005
Predmet:	Special Issue on Language Based Security
ISSN:	0956-7968, 1469-7653
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!