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

来源 :科技信息 | 被引量 : 0次 | 上传用户:exiayouhun
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文建立了基于CTL的电子商务协议模型,该模型形式化地描述了电子商务协议的身份认证、杌密性、完整性、非否认性、拒绝服务性和存取访问。本文对Lu—Smolka提出的Lu—Smolka协议研究实例加以阐述,发现了两个攻击,该形式化方法也可用于电子商务的其他安全协议分析。
其他文献
江苏省目前已有830万农民参加社保,争取在2010年基本建立起与全面建设小康社会相适应的农村社保制度。江苏省劳动保障部门介绍,截至2004年底,全省已有13个省辖市、100个县(市、
干部培训班,本来是对干部进行理论和知识培训的地方.可是时下有些干部不是把心思用在学习上,而是利用党校、干校培训期间“认一认人,串一串门,养一养神”,把培训当成是“拉关系”、
6月15日,四川省老促会召开第四届理事大会,实现成功换届。会议审议通过了第三届常务理事会工作报告和财务报告;审议通过了《四川省老区建设促进会章程》;会议选举产生了四川省老
在农村不少地方,新出现的农民经纪人协会(也有叫联合社的),由于适应市场经济的需求,提高了农民抵御市场风险的能力而受到农民的欢迎。这种由农民按照自愿原则组织起来的协会(联
我国和西方金融创新环境比较袁蓉丽七十年代以来,世界金融领域进行了一场影响深远的结构性变革。这场变革被称为“金融创新”。这股创新浪潮起源于美国,随即漫延到其他西方国家
图书馆标准化管理是事业发展的要求,时代的需要,必须不断改进和强化。
期刊
9月20日下午,冷水江市老区建设促进会召开常务理事会议,市老促会正副会长、秘书长及其他常务理事20多人参加会议。会议认真学习贯彻湖南省委、省政府近日下发的《关于加强老区