Sciweavers

CADE
2009
Springer

Computing Knowledge in Security Protocols under Convergent Equational Theories

15 years 12 days ago
Computing Knowledge in Security Protocols under Convergent Equational Theories
In the symbolic analysis of security protocols, two classical notions of knowledge, deducibility and indistinguishability, yield corresponding decision problems. We propose a procedure for both problems under arbitrary convergent equational theories. Our procedure terminates on a wide range of equational theories. In particular, we obtain a new decidability result for a theory we encountered when studying electronic voting protocols. We also provide a prototype implementation.
Stéphanie Delaune, Stefan Ciobâca, St
Added 23 Nov 2009
Updated 23 Nov 2009
Type Conference
Year 2009
Where CADE
Authors Stéphanie Delaune, Stefan Ciobâca, Steve Kremer
Comments (0)