Work

Automated Verification of Selected Equivalences for Security Protocols

Year: 2006

Type: article

Source: The Journal of Logic and Algebraic Programming

DOI: 10.1016/j.jlap.2007.06.002

Authors: Bruno Blanchet, Martín Abadi, Cédric Fournet

Institutions: Centre National de la Recherche Scientifique, Max Planck Society, École Normale Supérieure - PSL, Max Planck Institute for Informatics, University of California, Santa Cruz, Microsoft Research (United Kingdom)

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

Funders: National Science Foundation, Microsoft Research

OpenAlex ID: W1505834612

FWCI: 36.94

Cites: 50

Cited by: 354

Related to: 10