Login / Signup

Abstraction-Driven SAT-based Analysis of Security Protocols.

Alessandro ArmandoLuca Compagna
Published in: SAT (2003)
Keyphrases
  • security protocols
  • digital libraries
  • data analysis
  • software engineering
  • automated design