The slam calculus: Programming with secrecy and integrity. (1998)

by N Heintze, J G Riecke
Venue:In Proc. of the ACM Symposium on Principles of programming languages (POPL),