10.13682/j.issn.2095-6533.2015.02.006
基于应用Pi演算的WTLS握手协议建模与分析
针对WTLS握手协议中的特殊密码原语,用等值理论定义了椭圆曲线DH密钥交换原语,用可信机构颁发数字证书的方式定义了数字证书原语.并在密码原语定义的基础上建立了WTLS握手协议的形式化模型,最后用Pro Verif工具分析了协议的秘密性和认证性.结果表明WTLS握手协议满足其安全性说明.
应用Pi演算、密码原语、WTLS握手协议、Pro Verif、秘密性、认证性
20
TP309(计算技术、计算机技术)
国家自然科学基金资助项目61305083
2015-06-10(万方平台首次上网日期,不代表论文的发表时间)
共6页
26-31