1106 search results - page 106 / 222 » Automated Design of Security Protocols |
154
click to vote
IACR
2011
14 years 6 months ago
2011
We put forward a framework for the modular design and analysis of multi-party protocols. Our framework is called “GNUC” (with the recursive meaning “GNUC’s Not UC”), alr...
198
click to vote
PODC
2003
ACM
15 years 12 months ago
2003
ACM
Applications such as e-commerce payment protocols, electronic contract signing, and certified e-mail delivery require that fair exchange be assured. A fair-exchange protocol allo...
151
click to vote
SPW
2004
Springer
16 years 2 days ago
2004
Springer
abstract February 6, 2004 Security protocols typically employ an authentication phase followed by a protected data exchange. In some cases, such TLS, these two phases are tightly ...
195
click to vote
ACNS
2003
Springer
15 years 10 months ago
2003
Springer
Secure and reliable group communication is an increasingly active research area by growing popularity in group-oriented and collaborative application. One of the important challeng...
196
click to vote
ASIACRYPT
2001
Springer
15 years 10 months ago
2001
Springer
Dynamic group Diffie-Hellman protocols for Authenticated Key Exchange (AKE) are designed to work in a scenario in which the group membership is not known in advance but where parti...