论文部分内容阅读
目前还未见到公开发表的对WTLS握手协议进行形式化分析的研究成果。本文首次使用密码协议分析工具集AVISPA,从机密性和鉴别两个方面,对WTLS握手协议进行了建模和验证。所得到的验证结果表明WTLS握手协议是安全的。
WTLS握手协议的形式化验证
【摘 要】
：
目前还未见到公开发表的对WTLS握手协议进行形式化分析的研究成果。本文首次使用密码协议分析工具集AVISPA,从机密性和鉴别两个方面,对WTLS握手协议进行了建模和验证。所得到的验证结果表明WTLS握手协议是安全的。
【机 构】
：
现代通信国家重点实验室,现代通信国家重点实验室,电子科技大学计算机科学与工程学院
【出 处】
：
信息安全与通信保密
【发表日期】
：
2005年07期
其他文献
本文描述了无线局城网中的认证和密钥管理协议,CCMP认证加密协议。IEEE 802.11依赖于IEEE 802.1x 来支持认证和密钥管理服务,更进一步的,四次握手协议用来建立分组传输的数据加密密钥。IEEE 802.11i也定义了认证者更新一个组暂时密钥(GTK)给请求者的组密钥握手,这样请求者可以接收广播消息。
CRL与OCSP是证书状态查询的两种重要机制。本文比较了CRL和OCSP协议,在对OCSP协议进行分析的基础上,针对OCSP系统面临的主要问题,给出了一种改进型OCSP系统的设计与实现,并对实现中使用的关键技术进行了详细地论述。
一、6-7月病害发生情况预6-7月份我省雷雨、台风较多,水温、气候持续升高,天气闷热,养殖品种注意防止泛塘,做好预防台风措施.预测养殖鱼类出血病、烂鳃病、细菌性肠炎病、溃
2009年以来,经过3年多的探索和实践,通过对应用系统、数据库资源和基础硬件平台的整合,成都市初步完成了“一张图”管资源、防灾害、促廉政的信息化建设目标.rn三大应用平台
在工业现场的机器视觉检测系统中,智能相机通信数据量庞大,因此其对通信接口的可靠性和实时性提出了较高的要求,针对此问题设计并实现了一种基于Mdobus/TCP协议的智能相机通
一、6-7月份水产养殖病害预近几个月来水温持续偏低,6-7月份,养殖水温依然较往年同期偏低,疾病的高危期限偏长,预计今年水产养殖疾病危害的第一个高峰期将在6月初到6月中出现
根据猪肌生成抑制素基因设计1对引物,PCR扩增出猪肌生成抑制素功能区编码基因片段,将该片段克隆至pGEM-T载体中.重组克隆质粒经序列分析,克隆序列与目的基因序列完全一致.重
本文构建了一种基于身份加密的OCSP方案-T-OCSP, 其中所使用的加密方案是BONEH- FRANKLIN IBE方案的改进版本。由于该改进方案对时间信息敏感,所以T-OCSP方案本身便其有处理时间同步信息的能力。
开展了以黄河淤泥砂为原料生产多孔砖的研究 ,分析了黄河淤泥砂的性能 ,介绍了黄河淤泥砂烧结多孔砖的研制和生产过程 ,对生产中的主要技术进行了探讨。指出利用黄河淤泥砂生
针对基于主元分析(Principal Component Analysis,PCA)的统计过程性能监测法,尽管不依赖于精确的数学模型,然而却限制了其在故障诊断方面的能力问题,在故障重构技术的基础上,