Proof System for Applied Pi Calculus - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

Proof System for Applied Pi Calculus

Résumé

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
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Licence

Identifiants

Citer

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⟩
65 Consultations
117 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More