1059 search results - page 81 / 212 » Modeling Security Protocols as Games |
ASIACRYPT
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. At Eurocrypt 2005, Waters presented an identity based encryption (IBE) protocol which is secure in the full model without random oracle. In this paper, we extend Waters&#...
FMCO
2003
Springer
14 years 3 months ago
2003
Springer
Web services security specifications are typically expressed as a mixture of XML schemas, example messages, and narrative explanations. We propose a new specification language fo...
CTRSA
2006
Springer
14 years 1 months ago
2006
Springer
Vaudenay recently proposed a message authentication protocol which is interactive and based on short authenticated strings (SAS). We study here SASbased non-interactive message aut...
AMAST
2000
Springer
14 years 2 months ago
2000
Springer
The primary objective of this paper is to present the deÿnition of a new dynamic, linear and modal logic for security protocols. The logic is compact, expressive and formal. It a...
ARGMAS
2005
Springer
14 years 3 months ago
2005
Springer
One form of argument-based negotiation is when agents argue about why an offer was rejected. If an agent can state a reason for a rejection of an offer, the negotiation process m...