论文部分内容阅读
在Strand空间中引入理想的概念,可以简化安全协议的证明过程.此外,在Strand空间中引入安全密钥的定义,可以作为对协议密钥设计要求的描述.相关文献只给出了理想结构的大致轮廓,论文引入新的符号以给出理想结构的内部细节.在此基础上,借助理想的概念重新描述了安全密钥的设计要求.针对具有密钥分发功能的安全协议的秘密属性,相关文献借助理想概念给出的证明过程缺乏直观性.论文证明:协议实现其秘密属性的结论等价于协议对于密钥的使用符合安全密钥的设计要求的结论.这不仅为利用理想概念证明协议秘密属性的抽象过程提供了直观