Proof system for applied pi calculus

DOI10.1007/978-3-642-15240-5_17MaRDI QIDQ3163886zbMATH OpenOpenAlexFDO

Authors Jia Liu, Huimin Lin

Publication date 27 October 2010

Published in IFIP Advances in Information and Communication Technology (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-15240-5_17

zbMATH Keywords

security protocols

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Symbolic Bisimulation for the Applied Pi Calculus
• scientific article; zbMATH DE number 1223723
• A complete symbolic bisimulation for full applied pi calculus
• A complete symbolic bisimulation for full applied pi-calculus
• scientific article; zbMATH DE number 2020178

Cited in

(13)

• A complete symbolic bisimulation for full applied pi calculus
• Inference systems for observation equivalences in the \(\pi\)-calculus
• Formalization of function matrix theory in HOL
• A behavioural theory for a \(\pi\)-calculus with preorders
• Extended pi-Calculi
• Deciding equivalence-based properties using constraint solving
• scientific article; zbMATH DE number 1223723 (Why is no real title available?)
• Computing strong and weak bisimulations for psi-calculi
• Symbolic Bisimulation for the Applied Pi Calculus
• When privacy fails, a formula describes an attack: a complete and compositional verification method for the applied \(\pi\)-calculus
• A pure labeled transition semantics for the applied pi calculus
• A behavioural theory for a \(\pi\)-calculus with preorders
• On the existence and decidability of unique decompositions of processes in the applied \(\pi\)-calculus

This page was built for publication: Proof system for applied pi calculus

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