论文部分内容阅读
针对WTLS握手协议中的特殊密码原语,用等值理论定义了椭圆曲线DH密钥交换原语,用可信机构颁发数字证书的方式定义了数字证书原语。并在密码原语定义的基础上建立了WTLS握手协议的形式化模型,最后用Pro Verif工具分析了协议的秘密性和认证性。结果表明WTLS握手协议满足其安全性说明。
基于应用Pi演算的WTLS握手协议建模与分析
【摘 要】
：
针对WTLS握手协议中的特殊密码原语,用等值理论定义了椭圆曲线DH密钥交换原语,用可信机构颁发数字证书的方式定义了数字证书原语。并在密码原语定义的基础上建立了WTLS握手协
【机 构】
：
西安通信学院信息安全系,西安通信学院12队
【出 处】
：
西安邮电大学学报
【发表日期】
：
2015年2期
其他文献
将AODV单径路由修改为多径路由能提高随建即连网络（Ad Hoc）的容错性和稳定性。在洪泛广播时,节点首次收到路径请求才会转发数据,重复收到则不转发,避免出现路由环路。在数据转
针对Apriori算法需要多次扫描数据库的缺陷,提出一种基于垂直事务关系的改进算法XApriori。该方法对原始事务数据库扫描后,采用项集事务垂直对应关系的位集合数据存储结构,并
青海省拥有得天独厚的能源优势,在新能源和可再生能源的开发利用方面走在全国同行前列.本文对青海省新能源和可再生能源的开发利用现状进行了分析,为进一步开发利用提供依据.
为了快速准确地检测人群活动的变化,给出一种基于RGB动态纹理的人群视频图像序列检测算法。该方法首先提取视频序列图像RGB三个通道的动态纹理特征并级联起来,然后用滑窗法量
1稀土不稀．矿产资源遍布世界 目前世界上已探明的稀土工业储量为1亿吨（以REO计．下同）左右，我国为5200万吨．位居首位．占世界的50％以上．是稀土资源最丰富的国家。
本文浅述了以发光二极管(LED)为光源的新型半导体电光源的特点,以及其在太阳能光伏发电中的应用优势和应用中应注意的问题,该电光源与太阳能光伏发电系统的结合是极具发展潜