An extension to Bellare and Rogaway (1993) model: resetting compromised long-term keys
(2006) An extension to Bellare and Rogaway (1993) model: resetting compromised long-term keys. In Batten, L. and Safavi-Naini, R., Eds. Proceedings 11th Australasian Conference. on. Information Security and Privacy - ACISP 2006 4058/2006, pages pp. 371-382, Melbourne, Australia.
Full text available as: |
Abstract
A security proof in the Bellare–Rogaway model and the random oracle model is provided for a protocol closely based on one originally proposed by Boyd (1996), which enjoys some remarkable efficiency properties. The model is extended so that it can detect a known weakness of the protocol that cannot be captured in the original model. An alternative protocol, provably secure in the extended model and the random oracle model, offering the same efficiency features as the original protocol is proposed. Moreover, our alternative protocol provides key confirmation and forward secrecy. It also allows session keys to be renewed in subsequent sessions without the server’s further involvement even in the event that the long-term key or the earlier session key have been compromised.
| Item Type: | Conference Paper |
|---|---|
| Status: | Published |
| Keywords: | Key Agreement Protocols, Bellare--Rogaway Model, Provable Security |
| Subjects: | 280000 Information, Computing and Communication Sciences > 280300 Computer Software > 280302 Software Engineering 280000 Information, Computing and Communication Sciences |
| ID Code: | 4421 |
| Deposited By: | CHOO, KIM-KWANG RAYMOND |
| Deposited On: | 08 June 2006 |
| Alternative Locations: | http://dx.doi.org/10.1007/11780656_31 |
| Copyright Owner: | Copyright 2006 Springer |
| Copyright Statement: | This is the author-version of the work. Conference proceedings published, by Springer Verlag, will be available via SpringerLink. http://www.springer.de/comp/lncs/ Lecture Notes in Computer Science |