Implementing Spi Calculus Using Nominal Techniques

DOI10.1007/978-3-540-69407-6_33MaRDI QIDQ3507444zbMATH OpenOpenAlexFDO

Authors Temesghen Kahsai, Marino Miculan

Publication date 19 June 2008

Published in Logic and Theory of Algorithms (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-69407-6_33

Mathematics Subject Classification ID

Cryptography (94A60) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Applying spi-calculus for PayWord
• Pattern-matching spi-calculus
• CONCUR 2004 - Concurrency Theory
• On bisimulations for the spi calculus
• On bisimulations for the spi calculus
• Reasoning about cryptographic protocols in the spi calculus
• A calculus for cryptographic protocols: The spi calculus
• A Trace Based Bisimulation for the Spi Calculus: An Extended Abstract
• scientific article; zbMATH DE number 992670

Cites work

• scientific article; zbMATH DE number 1251177 (Why is no real title available?)
• scientific article; zbMATH DE number 1948406 (Why is no real title available?)
• scientific article; zbMATH DE number 1798181 (Why is no real title available?)
• A calculus for cryptographic protocols: The spi calculus
• A calculus of mobile processes. I
• Automated Deduction – CADE-20
• Automated verification of selected equivalences for security protocols
• CONCUR 2004 - Concurrency Theory
• Computer Aided Verification
• Deciding framed bisimilarity
• Formalising the π-Calculus Using Nominal Logic
• Nominal logic, a first order theory of names and binding
• On bisimulations for the spi calculus
• Proof techniques for cryptographic processes
• -calculus in (Co)inductive-type theory

Cited in

(8)

• scientific article; zbMATH DE number 7447778 (Why is no real title available?)
• Unique solutions of contractions, CCS, and their HOL formalisation
• On bisimulations for the spi calculus
• Formalising the π-Calculus Using Nominal Logic
• scientific article; zbMATH DE number 748447 (Why is no real title available?)
• Formalising the pi-calculus using nominal logic
• Psi-calculi in Isabelle
• Formalising Observer Theory for Environment-Sensitive Bisimulation

Describes a project that uses

Uses Software

• Isar
• Isabelle/HOL

This page was built for publication: Implementing Spi Calculus Using Nominal Techniques

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3507444)