Login / Signup

AGVI - Automatic Generation, Verification, and Implementation of Security Protocols.

Dawn Xiaodong SongAdrian PerrigDoantam Phan
Published in: CAV (2001)
Keyphrases
  • security protocols
  • cryptographic protocols
  • automated design
  • information systems
  • authentication protocol
  • security properties