115 search results - page 6 / 23 » The Attributed Pi Calculus |
ACNS
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Untraceability and unreuseability are essential security properties for electronic cash protocols. Many protocols have been proposed to meet these two properties. However...
APLAS
2006
ACM
14 years 2 months ago
2006
ACM
We define and study a distributed cryptographic implementation for an asynchronous pi calculus. At the source level, we adapt simple type systems designed for establishing formal ...
APLAS
2007
ACM
14 years 15 days ago
2007
ACM
Abstract. We propose an extension of the Applied Pi
ESOP
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. The concurrent constraint pi-calculus (cc-pi-calculus) has been introduced as a model for concluding Service Level Agreements. The cc-pi calculus combines the synchronous...
CANS
2009
Springer
14 years 3 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 ...