Work

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

Year: 2008

Type: conference-paper

Source: Lecture notes in computer science

Parent work: Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings

DOI: 10.1007/978-3-540-70545-1_38

Author: Cas J. F. Cremers

Institution: ETH Zurich

Language: English

Topic: Advanced Authentication Protocols Security

Subfield: Computer Networks and Communications

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1603878273

FWCI: 12.66

Cites: 12

Cited by: 824

Related to: 10