Complexity of Checking Freshness of Cryptographic Protocols.

Zhiyao Liang, Rakesh M. Verma

Browse the full ICISS paper archive.