797 search results - page 1 / 160 » Observing Success in the Pi-Calculus |
ICALP
1998
Springer
15 years 1 months ago
1998
Springer
ICALP
1998
Springer
15 years 1 months ago
1998
Springer
APLAS
2007
ACM
15 years 1 months ago
2007
ACM
Abstract. We propose an extension of the Applied Pi
IFIP
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. We formally study two privacy-type properties in online auction protocols, bidding-price-secrecy and receipt-freeness. These properties are formalised as observational eq...
105
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...