Cryptographic Verification by Typing for a Sample Protocol Implementation.

Cédric Fournet Karthikeyan Bhargavan Andrew D. Gordon

Published in: FOSAD (2011)

Keyphrases

cryptographic protocols
protocol specification
security protocols
formal analysis
model checking
hardware implementation
sensor networks
smart card
key management
formal proof
cryptographic algorithms
packet filtering