搜索结果: 1-1 共查到“数据安全与计算机安全 IKE”相关记录1条 . 查询时间(0.055 秒)
基于Authentication Test方法的高效安全IKE形式化设计研究
协议设计 形式化方法 Authentication tests 密钥交换 Strand space模型
2007/12/27
基于Authentication Test方法，围绕高效安全Internet密钥交换(ESIKE)协议的安全目标，提出一种具体地构建唯一满足两个通信实体变换边的形式化协议设计方法，设计出了高效安全的IKE协议；并且基于Strand Space模型和Authentication Test方法，形式化分析ESIKE协议，证明了其所具有的安全特性.该ESIKE协议克服了原有Internet密钥交换(IK...