Login / Signup

Formal verification: an imperative step in the design of security protocols .

Tom CoffeyReiner DojenTomas Flanagan
Published in: Comput. Networks (2003)
Keyphrases
  • formal verification
  • security protocols
  • automated design
  • model checking
  • case study
  • cloud computing
  • network traffic
  • engineering design
  • symbolic model checking