book chapterLecture notes in computer scienceAug 12, 2008Closed access

The Scyther Tool: Verification, Falsification, and Analysis of Security Protocols

CCCas Cremers

ETH Zurich

Indexed incrossref

Abstract

No abstract available for this paper.

Citation impact

728
total citations
FWCI
23.96
Percentile
100%
References
12
Citations per year

Authors

1

Topics & keywords

Topics
Keywords
  • Computer science
  • Correctness
  • Cryptographic protocol
  • Formal verification
  • Protocol (science)
  • Formal methods
  • Computer security
  • Model checking
UN Sustainable Development Goals
  • Peace, Justice and strong institutions
No related works found for this paper.