3504 search results - page 79 / 701 » Secure protocol composition |
139
click to vote
ESORICS
1994
Springer
15 years 6 months ago
1994
Springer
This paper presents a calculus of channel security properties which allows to analyze and compare protocols for establishing secure in an insecure open network at a high level of a...
CCS
2008
ACM
15 years 4 months ago
2008
ACM
We describe reference implementations for selected configurations of the user authentication protocol defined by the Information Card
134
click to vote
ISLPED
2003
ACM
15 years 7 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...
142
click to vote
IJNSEC
2008
15 years 2 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 ...
113
click to vote
ASIACRYPT
2005
Springer
15 years 8 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 ...