A Model for Secure Protocols and their Compositions (1994)

by N Heintze, J D Tygar
Venue:Proceedings of the 1994 IEEE Computer Society Symposium on Research in Security and Privacy