947 search results - page 28 / 190 » Provable Implementations of Security Protocols |
102
click to vote
ASIASIM
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. SSL is one of the most popular protocols used on the Internet for secure communications. However SSL protocol has several problems. First, SSL protocol brings considerabl...
BPM
2003
Springer
15 years 5 months ago
2003
Springer
We present a general methodology for integrating arbitrary security requirements in the development of business processes in a both elegant and rigorous way. We show how trust rela...
ESORICS
2006
Springer
15 years 3 months ago
2006
Springer
We study the problem of Secure Multi-party Computation (SMC) in a model where individual processes contain a tamper-proof security module, and introduce the TrustedPals framework, ...
107
click to vote
EUROCRYPT
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. This work presents a new privacy primitive called “Traceable Signatures”, together with an efficient provably secure implementation. To this end, we develop the unde...
77
Voted
WWW
2002
ACM
16 years 13 days ago
2002
ACM
This paper presents a new protocol for certified email. The protocol aims to combine security, scalability, easy implementation, and viable deployment. The protocol relies on a li...