Login / Signup

Protocol Security and Algebraic Properties: Decision Results for a Bounded Number of Sessions.

Sergiu BursucHubert Comon-Lundh
Published in: RTA (2009)
Keyphrases
  • security properties
  • information security
  • security analysis
  • cryptographic protocols
  • decision making
  • network security
  • algebraic properties
  • pattern recognition
  • access control
  • security issues