115 search results - page 12 / 23 » The Attributed Pi Calculus |
154
Voted
CSFW
2008
IEEE
15 years 4 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...
93
Voted
GRC
2008
IEEE
15 years 3 months ago
2008
IEEE
135
Voted
ENTCS
2008
15 years 2 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
15 years 2 months ago
2000
129
Voted
TABLEAUX
2009
Springer
15 years 9 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...