Login / Signup
Verification of Security Protocols with a Bounded Number of Sessions Based on Resolution for Rigid Variables.
Reynald Affeldt
Hubert Comon-Lundh
Published in:
Formal to Practical Security (2009)
Keyphrases
</>
security protocols
information systems
high dimensional