A Model for Secure Protocols and Their Compositions (1996)

by Nevin Heintze , J. D. Tygar
Venue:IEEE Transactions on Software Engineering
Citations:69 - 2 self