Non Interference for the Analysis of Cryptographic Protocols (2000)

by R Focardi, R Gorrieri, F Martinelli
Venue:In: Proceedings ICALP’00. LNCS 1853