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