797 search results - page 1 / 160 » Observing Success in the Pi-Calculus |
ICALP
1998
Springer
14 years 22 days ago
1998
Springer
ICALP
1998
Springer
14 years 22 days ago
1998
Springer
APLAS
2007
ACM
14 years 16 days ago
2007
ACM
Abstract. We propose an extension of the Applied Pi
IFIP
2010
Springer
13 years 3 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...
CSFW
2008
IEEE
13 years 10 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...