Login / Signup
Automatic Verification of Correspondences for Security Protocols
Bruno Blanchet
Published in:
CoRR (2008)
Keyphrases
</>
security protocols
automated design
security properties
cryptographic algorithms
security mechanisms
security services
key management
artificial immune algorithm
point correspondences
authentication protocol
secure communication
security requirements
rfid tags
cryptographic protocols