应用Pi演算相关论文
针对IKEv2协议在系统开销和发起方身份保护方面的不足,提出了一种改进协议的方案。新的协议采用基于超椭圆曲线的W eil对技术进行......
Openflow是目前使用最为广泛的SDN通信协议,由于其协议规范还在不断完善,因此存在一定的安全隐患,对Openflow协议及其相关应用的安......
针对WTLS握手协议中的特殊密码原语,用等值理论定义了椭圆曲线DH密钥交换原语,用可信机构颁发数字证书的方式定义了数字证书原语。......
安全协议是网络通信和安全应用的基础，是安全基础设施的重要组成部分。安全协议的设计和分析是协议工程领域主要的研究内容，在设计、......
形式化方法是分析与验证安全协议属性的强有力的工具。在对一阶定理证明器ProVerif深入研究的基础上,对简化的Needham-Schroeder认......
