Extending Cryptographic Logics of Belief to Key Agreement Protocols

doi 10.1145/168588.168617
Full Text
Abstract

Available in full text

Date
Authors
Publisher

ACM Press