Complexity of checking freshness of cryptographic protocols

Abstract

Freshness is a central security issue for cryptographic protocols and is the security goal violated by replay attacks. This paper is the first to formally define freshness goal and its attacks based on role instances and the attacker's involvement, and is the first work to investigate the complexity of checking freshness. We discuss and prove a series of complexity results of checking freshness goals in several different scenarios, where the attacker's behavior is restricted differently, with different bounds on the number of role instances in a run. © 2008 Springer Berlin Heidelberg.