Secrecy types for asymmetric communication. In (2001)

by M Abadi, B Blanchet
Venue:Proc. 4th International Conference on Foundations of Software Science and Computation Structures (FOSSACS), volume 2030 of Lecture Notes in Computer Science,