12 search results - page 3 / 3 » Symbolic Bisimulation for the Applied Pi Calculus |
CCS
2011
ACM
12 years 6 months ago
2011
ACM
We consider security properties of cryptographic protocols that can be modeled using the notion of trace equivalence. The notion of equivalence is crucial when specifying privacy-...
ESORICS
2010
Springer
13 years 7 months ago
2010
Springer
We present a formal, symbolic definition of election verifiability for electronic voting protocols in the context of the applied pi calculus. Our definition is given in terms of bo...