Work

A Computationally Sound Mechanized Prover for Security Protocols

Year: 2008

Type: article

Source: IEEE Transactions on Dependable and Secure Computing

DOI: 10.1109/tdsc.2007.1005

Author: B. Blanchet

Institutions: Centre National de la Recherche Scientifique, École Normale Supérieure - PSL, Département d'Informatique

Language: English

Topic: Advanced Authentication Protocols Security

Subfield: Computer Networks and Communications

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1987581799

FWCI: 18.12

Cites: 54

Cited by: 173

Related to: 10