115 search results - page 12 / 23 » The Attributed Pi Calculus |
107
click to vote
CSFW
2008
IEEE
14 years 11 months ago
2008
IEEE
We present a general technique for modeling remote electronic voting protocols in the applied pi-calculus and for automatically verifying their security. In the first part of this...
GRC
2008
IEEE
14 years 11 months ago
2008
IEEE
ENTCS
2008
14 years 10 months ago
2008
We present a graphical semantics for the pi-calculus, that is easier to visualize and better suited to expressing causality and temporal properties than conventional relational se...
ENTCS
2000
14 years 9 months ago
2000
TABLEAUX
2009
Springer
15 years 4 months ago
2009
Springer
We define a notion of formula schema handling arithmetic parameters, indexed propositional variables (e.g. Pi) and iterated conjunctions/disjunctions (e.g. Vn i=1 Pi, where n is a...