The SLam calculus: Programming with secrecy and integrity (1998)

by N Heintze, J G Riecke
Venue:In Proceedings of the 25th POPL