WTLS握手协议的形式化验证  

Formal verification of WTLS handshake protocol

作　　者：刘璟[1] 祝世雄[1] 周明天[2] 

机构地区：[1]现代通信国家重点实验室 [2]电子科技大学计算机科学与工程学院

出　　处：《信息安全与通信保密》2005年第7期291-295,共5页Information Security and Communications Privacy

摘　　要：目前还未见到公开发表的对WTLS握手协议进行形式化分析的研究成果。本文首次使用密码协议分析工具集AVISPA,从机密性和鉴别两个方面,对WTLS握手协议进行了建模和验证。所得到的验证结果表明WTLS握手协议是安全的。

关 键 词：握手协议 WTLS 形式化验证 AVISPA 密码协议分析 形式化分析 研究成果 工具集 机密性 

分 类 号：TP393.04[自动化与计算机技术—计算机应用技术]