Login / Signup

Flat and one-variable clauses: Complexity of verifying cryptographic protocols with single blind copying.

Helmut SeidlKumar Neeraj Verma
Published in: ACM Trans. Comput. Log. (2008)
Keyphrases
  • cryptographic protocols
  • search space
  • first order logic
  • database
  • web services
  • authentication protocol