Panel: Formalization and proof of secrecy properties (0)

by D Volpano, M Abadi, R Focardi, C Meadows, J Millen
Venue:In Proceedings of CSFW-12 [7