1056 search results - page 3 / 212 » A Probabilistic Applied Pi-Calculus |
150
Voted
FSTTCS
2009
Springer
16 years 28 days ago
2009
Springer
We present a symbolic framework for refinement and composition of security protocols. ework uses the notion of ideal functionalities. These are abstract systems which are secure b...
197
Voted
CSFW
2008
IEEE
15 years 8 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...
170
Voted
IFIP
2010
Springer
15 years 1 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...
146
Voted
SOFSEM
2010
Springer
16 years 3 months ago
2010
Springer
152
Voted
APLAS
2009
ACM
16 years 27 days ago
2009
ACM
We define a higher-order process calculus with algebraic operations such as encryption and decryption, and develop a bisimulation proof method for behavioral equivalence in this c...