DMCA

Non-Interference Proof Techniques for the Analysis of Cryptographic Protocols (2003)

by Michele Bugliesi , Sabina Rossi
Venue:In Proceedings of 2003 IFIP WG 1.7, ACM SIGPLAN and GI FoMSESS Workshop on Issues in the Theory of Security (WITS'03), April 5 - 6
Citations:1 - 0 self