1056 search results - page 3 / 212 » A Probabilistic Applied Pi-Calculus |
FSTTCS
2009
Springer
14 years 4 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...
CSFW
2008
IEEE
13 years 7 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...
IFIP
2010
Springer
13 years 13 days 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...
SOFSEM
2010
Springer
14 years 2 months ago
2010
Springer
APLAS
2009
ACM
14 years 3 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...