Work

An efficient cryptographic protocol verifier based on prolog rules

Year: 2005

Type: conference-paper

Source: IEEE Computer Security Foundations Workshop (CSFW)

DOI: 10.1109/csfw.2001.930138

Author: B. Blanchet

Institution: Institut national de recherche en sciences et technologies du numérique

Language: English

Topic: Advanced Authentication Protocols Security

Subfield: Computer Networks and Communications

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2114189125

FWCI: 27.24

Cites: 36

Cited by: 1,010

Related to: 10