Login / Signup

Automated Reasoning for Security Protocol Analysis.

Alessandro ArmandoDavid A. BasinJorge CuéllarMichaël RusinowitchLuca Viganò
Published in: J. Autom. Reason. (2006)
Keyphrases
  • automated reasoning
  • security protocols
  • knowledge representation
  • natural language
  • routing protocol