Language, Semantics and Methods for Cryptographic Protocols (2000)

by Federico Crazzolara , Glynn Winskel
Citations:1 - 1 self