Authors
Han Gao, Chiara Bodei, Pierpaolo Degano, Hanne Riis Nielson
Publication date
2007
Conference
Advances in Computer Science–ASIAN 2007. Computer and Network Security: 12th Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007. Proceedings 12
Pages
150-165
Publisher
Springer Berlin Heidelberg
Description
We present a reduction semantics for the LySa calculus extended with session information, for modelling cryptographic protocols, and a static analysis for it. If a protocol passes the analysis then it is free of replay attacks and thus preserves freshness. The analysis has been implemented and applied to a number of protocols, including both original and corrected version of Needham-Schroeder protocol. The experiment results show that the analysis is able to capture potential replay attacks.
Total citations
200820092010201120122013201420152016201720182019202020214131223322
Scholar articles
H Gao, C Bodei, P Degano, H Riis Nielson - Advances in Computer Science–ASIAN 2007 …, 2007