3115 search results - page 26 / 623 » Synthesizing Secure Protocols |
CCS
2010
ACM
13 years 9 months ago
2010
ACM
WISA
2010
Springer
13 years 6 months ago
2010
Springer
CSFW
1998
IEEE
14 years 1 months ago
1998
IEEE
In security protocol analysis, it is important to learn general principles that limit the abilities of an attacker, and that can be applied repeatedly to a variety of protocols. W...
CRYPTO
2001
Springer
14 years 1 months ago
2001
Springer
In this paper we show that any two-party functionality can be securely computed in a constant number of rounds, where security is obtained against malicious adversaries that may ar...
INDOCRYPT
2004
Springer
14 years 2 months ago
2004
Springer
A definition of secure multi-party key exchange in the Canetti-Krawczyk proof model is proposed, followed by a proof of the security of the Joux tripartite key agreement protocol...