Get started
Work

Key Establishment Protocols and Timed-Release Encryption Schemes

Year: 2007
Type: dissertation
Abstract: This thesis is divided into two distinct parts. The first part\nof the thesis explores security issues in key establishment\nprotocols, including both key distribution protocols and key\nagreement protocols, and in both the general and the\npassword-based setting. The second part of the thesis explores\nsecurity issues of Timed-Release encryption schemes, especially\nthose with a Pre-Open capability.\n\nIn the first part, we initially present a formal description of\nkey establishment protocols, and summarise the security\nproperties that may be required of such a protocol. Secondly,\nwe examine existing security models for key establishment\nprotocols. We show that none of these security models fully\ncapture the desired security properties. Thirdly, we examine\nsome existing protocols and demonstrate certain\nvulnerabilities. Some of these vulnerabilities have not\npreviously been detected because of the lack of a formal\nsecurity analysis, while others have been missed because the\nadopted security models fail to address such security\nvulnerabilities. Fourthly, we describe a novel security model\nfor general key establishment protocols, and we further adapt\nit for the password setting. Finally, we propose key\nestablishment protocols which are proved secure in our novel\nsecurity model.\n\nIn the second part we start by examining an existing security\nmodel for Timed-Release Encryption schemes with a Pre-open\nCapability (TRE-PC), and we demonstrate several limitations of\nthis model. We then propose a new security model for such\npublic-key encryption schemes, and establish relationships\nbetween the proposed security notions. We also propose a\ngeneral construction for TRE-PC schemes and an instantiation of\ncertain primitives.\n
Author: Qiang Tang
Language: English
Open Access status: green
OpenAlex ID: W2184797021
Cites: 228
Cited by: 3
Related to: 10