Verifying secrets and rela-tive secrecy (2000)

by Dennis Volpano , Geoffrey Smith
Venue:In Symposium on Principles of Programming Languages (POPL'00
Citations:50 - 0 self