A Model for Secure Protocols and Their Compositions (1996)

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