Login / Signup
Flat and One-Variable Clauses: Complexity of Verifying Cryptographic Protocols with Single Blind Copying
Helmut Seidl
Kumar Neeraj Verma
Published in:
CoRR (2005)
Keyphrases
</>
cryptographic protocols
model checking
search space
lightweight
first order logic
security protocols
standard model