科技信息

2009, No.312(28) 251+254

[打印本页] [关闭]
本期目录(Current Issue) | 过刊浏览(Past Issue) | 高级检索(Advanced Search)

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

李忠慧;

摘要(Abstract):

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

关键词(KeyWords): 电子商务安全协议;形式化方法;CTL

Abstract:

Keywords:

基金项目(Foundation):

作者(Author): 李忠慧;

Email:

DOI:

扩展功能
本文信息
服务与反馈
本文关键词相关文章
本文作者相关文章
中国知网
分享