Login / Signup
Protocol Security and Algebraic Properties: Decision Results for a Bounded Number of Sessions.
Sergiu Bursuc
Hubert 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