291 search results - page 20 / 59 » Key Agreement Protocols and Their Security Analysis |
ASIAN
2006
Springer
14 years 11 days ago
2006
Springer
We present formal proof rules for inductive reasoning about the way that data transmitted on the network remains secret from a malicious attacker. Extending a compositional protoco...
COMCOM
2000
13 years 8 months ago
2000
Secure communication over the Internet becomes an essential requirement for any value-added Internet application. The use of cryptography for secure communication brings out the r...
EUROCRYPT
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. In the bounded-storage model (BSM) for information-theoretically secure encryption and key-agreement one uses a random string R whose length t is greater than the assumed...
ACISP
2008
Springer
13 years 10 months ago
2008
Springer
We consider one-round key exchange protocols secure in the standard model. The security analysis uses the powerful security model of Canetti and Krawczyk and a natural extension of...
WIMOB
2007
IEEE
14 years 2 months ago
2007
IEEE
—In this paper we investigate the issues in designing key management architecture for secure multicasting in remote software distribution to advance vehicles. We consider the Veh...