| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
Proof System for Applied Pi Calculus
Abstract : 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.
Cited literature [16 references]
https://hal.inria.fr/hal-01054457
Contributor : Hal Ifip <>
Submitted on : Wednesday, August 6, 2014 - 4:25:18 PM
Last modification on : Wednesday, August 9, 2017 - 12:03:10 PM
Long-term archiving on: : Wednesday, November 26, 2014 - 1:00:34 AM
Contributor : Hal Ifip <>
Submitted on : Wednesday, August 6, 2014 - 4:25:18 PM
Last modification on : Wednesday, August 9, 2017 - 12:03:10 PM
Long-term archiving on: : Wednesday, November 26, 2014 - 1:00:34 AM
File
03230229.pdf
Files produced by the author(s)
Licence
Distributed under a Creative Commons Attribution 4.0 International License