applied Pi-calculus

GPTKB entity

Statements (21)
Predicate Object
gptkbp:instanceOf process calculus
gptkbp:characteristic extension of Pi-calculus
supports cryptographic primitives
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:inspiredBy gptkb:Pi-calculus
gptkbp:notablePublication Mobile values, new names, and secure communication
gptkbp:notableTool gptkb:ProVerif
Tamarin prover
gptkbp:relatedTo gptkb:Spi-calculus
process algebra
gptkbp:supports symbolic analysis of protocols
gptkbp:usedFor formal verification
modeling cryptographic protocols
gptkbp:bfsParent gptkb:Pi-calculus
gptkbp:bfsLayer 7