Types and effects for asymmetric cryptographic protocols.

Andrew D. Gordon Alan Jeffrey

Published in: J. Comput. Secur. (2004)

Keyphrases

cryptographic protocols
security properties
real time
cost effective
embedded systems