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

Full description

Saved in:

Bibliographic Details
Published in:	Journal of functional programming Vol. 15; no. 2; pp. 249 - 291
Main Authors:	CRARY, KARL, KLIGER, ALEKSEY, PFENNING, FRANK
Format:	Journal Article
Language:	English
Published:	Cambridge, UK Cambridge University Press 01.03.2005
Subjects:	Special Issue on Language Based Security
ISSN:	0956-7968, 1469-7653
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!