Notions of Knowledge in Combinations of Theories Sharing Constructors - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2017

Notions of Knowledge in Combinations of Theories Sharing Constructors

Résumé

One of the most effective methods developed for the analysis of security protocols is an approach based on equational reasoning and unification. In this approach, it is important to have the capability to reason about the knowledge of an intruder. Two important measures of this knowledge, defined modulo equational theories, are deducibility and static equivalence. We present new combination techniques for the study of deducibility and static equivalence in unions of equational theories sharing constructors. Thanks to these techniques, we obtain new modularity results for the decidability of deducibility and static equivalence. In turn, this should allow for the analysis of protocols involving combined equational theories which previous disjoint combination methods could not address due to their non-disjoint axiomatization.
Fichier principal
Vignette du fichier
combi-know.pdf (339.44 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01587181 , version 1 (13-09-2017)

Identifiants

Citer

Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen. Notions of Knowledge in Combinations of Theories Sharing Constructors. 26th International Conference on Automated Deduction, Aug 2017, Göteborg, Sweden. pp.60 - 76, ⟨10.1007/978-3-319-63046-5_5⟩. ⟨hal-01587181⟩
231 Consultations
178 Téléchargements

Altmetric

Partager

More