3 search results - page 1 / 1 » The SLam Calculus: Programming with Secrecy and Integrity |
POPL
1998
ACM
13 years 9 months ago
1998
ACM
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 for...
LISP
2002
13 years 4 months ago
2002
Security-typed languages enforce secrecy or integrity policies by type-checking. This paper investigates continuation-passing style (CPS) as a means of proving that such languages...
TLDI
2009
ACM
14 years 1 months ago
2009
ACM
Storing state in the client tier (in forms or cookies, for example) improves the efficiency of a web application, but it also renders the secrecy and integrity of stored data vul...