122
click to vote
POPL
1998
ACM
15 years 7 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...