Sign in
Types and Effects for Asymmetric Cryptographic Protocols.
Andrew D. Gordon
Alan Jeffrey
Published in:
CSFW (2002)
Keyphrases
</>
cryptographic protocols
security protocols
authentication protocol
real time
databases