Secrecy types for asymmetric communication

Bruno Blanchet
Theor. Comput. Sci., 3 (2003), pp. 387-415

Abstract