A Formal Analysis for Capturing Replay Attacks in Cryptographic Protocols.

Han Gao Chiara Bodei Pierpaolo Degano Hanne Riis Nielson

Published in: ASIAN (2007)

Keyphrases

cryptographic protocols
formal analysis
security protocols
standard model
security properties
insider attacks
agent model
authentication protocol
formal methods
real time
machine learning
artificial intelligence
lightweight
cost effective
formal verification
ban logic