科研之友
微信
新浪微博
Facebook
分享链接
摘要
网络技术是一把双刃剑，它给人们提供快捷通信的同时，也给信息的安全造成了严重的威胁。信息的安全性在早期主要是依赖好的加解密算法来实现的，但是，伴随着网络开放性的增加和应用多样性的加强，还需要其他方式才能解决好这个问题。安全协议借助于密码算法和协议逻辑，达到在网络环境中提供各种安全服务的目的，已经成为构建网络安全的基石。安全协议形式化分析是指采用各种形式化的语言或者模型，为安全协议的实体和环境建立模型，按照规定的假设和分析、验证方法证明协议的安全性。安全协议的形式化分析已经发展了近三十年，但这个领域仍然远未成熟。串空间理论的出现将安全协议形式化分析推向了一个新的高度。串空间中引入了反映因果关系的偏...
- 单位
