Spi-calculus

GPTKB entity

Statements (20)
Predicate Object
gptkbp:instanceOf process calculus
gptkbp:designedFor cryptographic protocol analysis
gptkbp:extendsTo gptkb:pi-calculus
gptkbp:hasApplication cryptographic protocol modeling
security protocol verification
gptkbp:hasFeature message passing
decryption primitives
encryption primitives
nonce generation
https://www.w3.org/2000/01/rdf-schema#label Spi-calculus
gptkbp:introduced gptkb:Martin_Abadi
gptkb:Andrew_D._Gordon
gptkbp:introducedIn 1999
gptkbp:publishedIn gptkb:Information_and_Computation
gptkbp:relatedTo gptkb:applied_pi-calculus
gptkb:pi-calculus
gptkbp:usedFor formal verification
modeling security protocols
gptkbp:bfsParent gptkb:Pi-calculus
gptkbp:bfsLayer 7