2007 | OriginalPaper | Buchkapitel
A Formal Analysis for Capturing Replay Attacks in Cryptographic Protocols
verfasst von : Han Gao, Chiara Bodei, Pierpaolo Degano, Hanne Riis Nielson
Erschienen in: Advances in Computer Science – ASIAN 2007. Computer and Network Security
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
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.