3115 search results - page 46 / 623 » Synthesizing Secure Protocols |
CCS
2008
ACM
13 years 11 months ago
2008
ACM
We describe reference implementations for selected configurations of the user authentication protocol defined by the Information Card
ISLPED
2003
ACM
14 years 2 months ago
2003
ACM
Security is critical to a wide range of wireless data applications and services. While several security mechanisms and protocols have been developed in the context of the wired In...
IJNSEC
2008
13 years 9 months ago
2008
The ASW protocol is one of the prominent optimistic fair exchange protocols that is used for contract signing between two participants, the originator and the responder, with the ...
ASIACRYPT
2005
Springer
14 years 2 months ago
2005
Springer
The security of key agreement protocols has traditionally been notoriously hard to establish. In this paper we present a modular approach to the construction of proofs of security ...
ICALP
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. We describe a cryptographically sound formal logic for proving protocol security properties without explicitly reasoning about probability, asymptotic complexity, or the ...