Verifying secrets and relative secrecy (2000)

by D Volpano, G Smith
Venue:In Proc. 27th Symposium on Principles of Programming Languages (POPL