Security protocols and specifications (0)

by M Abadi
Venue:In Foundations of Software Science and Computation Structures (FOSSACS’99