基于CTL的电子商务安全协议形式化分析  

作　　者：李忠慧[1] 

机构地区：[1]盐城师范学院信息科学与技术学院

出　　处：《科技信息》2009年第28期251-251,254,共2页Science & Technology Information

摘　　要：本文建立了基于CTL的电子商务协议模型,该模型形式化地描述了电子商务协议的身份认证、机密性、完整性、非否认性、拒绝服务性和存取访问。本文对Lu-Smolka提出的Lu-Smolka协议研究实例加以阐述,发现了两个攻击,该形式化方法也可用于电子商务的其他安全协议分析。

关 键 词：电子商务安全协议 形式化方法 CTL 

分 类 号：TP309[自动化与计算机技术—计算机系统结构] TP393.08[自动化与计算机技术—计算机科学与技术]