Proof System for Applied Pi Calculus - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2010

Proof System for Applied Pi Calculus


A symbolic-style proof system is presented to reason about observational equivalence for applied pi-calculus. The proofs of the soundness and completeness of the system rely on a recently developed theory of symbolic bisimulation for applied pi-calculus. The completeness result of the proof system is restricted to the finite fragment of applied pi-calculus which admits finite partition, and it is demonstrated that this fragment covers an important subset of applied pi-calculus which is practically useful for analyzing security protocols.
Fichier principal
Vignette du fichier
03230229.pdf (276.55 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01054457 , version 1 (06-08-2014)





Jia Liu, Huimin Lin. Proof System for Applied Pi Calculus. 6th IFIP TC 1/WG 2.2 International Conference on Theoretical Computer Science (TCS) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.229-243, ⟨10.1007/978-3-642-15240-5_17⟩. ⟨hal-01054457⟩
61 View
114 Download



Gmail Facebook X LinkedIn More