Login / Signup

Flat and One-Variable Clauses: Complexity of Verifying Cryptographic Protocols with Single Blind Copying.

Helmut SeidlKumar Neeraj Verma
Published in: LPAR (2004)
Keyphrases
  • cryptographic protocols
  • security properties
  • search space
  • security protocols
  • lightweight
  • first order logic