Proof System for Applied Pi Calculus

DOI10.1007/978-3-642-15240-5_17zbMath1198.68178OpenAlexW144241110MaRDI QIDQ3163886

Huimin Lin, Jia Liu

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)

Related Items

A Behavioural Theory for a π-calculus with Preorders ⋮ Deciding equivalence-based properties using constraint solving ⋮ A behavioural theory for a \(\pi\)-calculus with preorders ⋮ On the existence and decidability of unique decompositions of processes in the applied \(\pi\)-calculus ⋮ Computing strong and weak bisimulations for psi-calculi ⋮ A complete symbolic bisimulation for full applied pi calculus ⋮ Formalization of function matrix theory in HOL