密钥授权机制与新型密码原语的应用研究

准确定义密码原语的语义，建立合理的形式化安全模型，是设计安全实用的密码方案的前提和基础。随着新应用的出现，使得预期的密码原语设计与分析的复杂程度有上升的趋势。但是，目前还没有系统的方法来对密码原语的语义进行精确刻画，也没有系统的手段来为密码原语建立形式化安全模型。本项目的核心研究目标就是从密钥授权机制的角度出发，提出一套密码原语的设计与分析理论，以期解决这两个问题。围绕这个核心目标，本项目将开展以下工作：首先进行密钥授权语义模型的研究；其次进行密码原语安全属性简约模型的研究；最后澄清一些重要密码原语的语义，完善其形式化安全模型，并试图解决一些密码原语中的重大缺陷。