Diffie-相关论文
开端协议（Open-ended Protoc01）的分析是安全协议领域中一个待解决的重要问题，而IKE则是一个有代表性的具有“开端”结构的安全协议。......
如何验证安全协议的安全性是一项非常重要的工作。提出了一种基于有色Petri网的安全协议形式化描述与安全性仿真验证方法。给出协......
