Login / Signup

Compositional Analysis of Authentication Protocols.

Michele BugliesiRiccardo FocardiMatteo Maffei
Published in: ESOP (2004)
Keyphrases
  • real time
  • data analysis
  • computer systems
  • data distribution
  • information systems
  • cryptographic protocols