逻辑化分析方法论文

IKE的分析及其基于CPK的改进
论文摘要在众多的安全协议中,IPSec是因特网的基础协议,IPSec是IPv6中负责数据通信安全的部分,而IKE又是IPSec协议簇的重要内容,负责密钥的协商和管理。因此对IK...