Sciweavers

POPL
1998
ACM

The SLam Calculus: Programming with Secrecy and Integrity

13 years 6 months ago
The SLam Calculus: Programming with Secrecy and Integrity
The SLam calculus is a typed -calculus that maintains security information as well as type information. The type system propagates security information for each object in four forms: the object's creators and readers, and the object's indirect creators and readers (i.e., those agents who, through owof-control or the actions of other agents, can in uence or be in uenced by the content of the object). We prove that the type system prevents security violations and give some examples of its power.
Nevin Heintze, Jon G. Riecke
Added 05 Aug 2010
Updated 05 Aug 2010
Type Conference
Year 1998
Where POPL
Authors Nevin Heintze, Jon G. Riecke
Comments (0)