8 search results - page 1 / 2 » Analysing Unlinkability and Anonymity Using the Applied Pi C... |
CSFW
2010
IEEE
15 years 1 months ago
2010
IEEE
—An attacker that can identify messages as coming from the same source, can use this information to build up a picture of targets’ behaviour, and so, threaten their privacy. In...
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...
120
click to vote
FORTE
2009
14 years 7 months ago
2009
We propose an epistemic logic for the applied pi calculus, which is a variant of the pi calculus with extensions for modeling cryptographic protocols. In such a calculus, the secur...
CANS
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Anonymous credentials are widely used to certify properties of a credential owner or to support the owner to demand valuable services, while hiding the user’s identity ...
CCS
2011
ACM
13 years 9 months ago
2011
ACM
We consider security properties of cryptographic protocols that can be modeled using the notion of trace equivalence. The notion of equivalence is crucial when specifying privacy-...