Applied Pi-calculus

GPTKB entity

Statements (19)
Predicate Object
gptkbp:instanceOf Process calculus
gptkbp:developedBy gptkb:Martín_Abadi
gptkb:Cédric_Fournet
gptkbp:field Computer science
Cryptography
Formal methods
gptkbp:firstPublished 2001
https://www.w3.org/2000/01/rdf-schema#label Applied Pi-calculus
gptkbp:influencedBy gptkb:Pi-calculus
gptkbp:notablePublication Mobile values, new names, and secure communication
gptkbp:notation Process algebra
gptkbp:relatedTo Process calculi
Spi calculus
gptkbp:supports Formal verification
Equational theories
Symbolic analysis
gptkbp:usedFor Modeling cryptographic protocols
gptkbp:bfsParent gptkb:Pi-calculus
gptkbp:bfsLayer 7