Verifying secrets and rela-tive secrecy (2000)

by G Smith, D Volpano
Venue:In Symposium on Principles of Programming Languages (POPL'00