applied pi-calculus

GPTKB entity

Statements (22)
Predicate Object
gptkbp:instanceOf process calculus
gptkbp:developedBy gptkb:Martín_Abadi
gptkb:Cédric_Fournet
gptkbp:field computer science
gptkbp:firstPublished 2001
gptkbp:hasApplication gptkb:ProVerif
protocol verification tools
gptkbp:hasFeature abstracts cryptographic primitives
extension of pi-calculus with built-in functions
https://www.w3.org/2000/01/rdf-schema#label applied pi-calculus
gptkbp:inspiredBy gptkb:pi-calculus
gptkbp:relatedTo gptkb:spi_calculus
process algebra
gptkbp:supports encryption
decryption
pattern matching
name passing
gptkbp:used_in formal verification
security protocol analysis
gptkbp:usedFor modeling cryptographic protocols
gptkbp:bfsParent gptkb:pi-calculus
gptkbp:bfsLayer 6