Freshness Analysis in Security Protocols
Chiara Braghin, Agostino Cortesi, Riccardo Focardi · 2002
Guaranteeing freshness of messages is a key issue in entity authentication within security protocols, to prevent replay attacks. In this paper we show how to model cryptographic protocols by Mobile Ambients, and how a suitable Control Flow Analysis of Mobile Ambients can be defined for message freshness verification.