Verifying secrets and relative secrecy (2000)

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