论文部分内容阅读
串空间中理想及其推论大大简化了安全协议的分析，但现有的定理只适用于基于对称密钥的安全协议，不适用于基于非对称密钥的安全协议，因此使用原始串空间理论对基于非对称密钥的协议安全性分析会非常繁琐。为了使理想的概念也可同时应用于基于非对称密钥安全协议的分析过程，提出并证明了可同时应用于基于对称密钥和非对称密钥安全协议的数据机密性和机密数据起源性定理。首先，对原始的串空间理论进行了扩展，定义了子串和一组正则串机密数据子串，对数据机密性定理进行了重新定义，在数据机密性定理的定义中，考虑到对非对称密钥安全协议的分析，加