Complexity of Checking Freshness of Cryptographic Protocols.

Zhiyao Liang Rakesh M. Verma

Published in: ICISS (2008)

Keyphrases

cryptographic protocols
response time
database
query processing
standard model
authentication protocol