论文部分内容阅读
本文建立了基于CTL的电子商务协议模型，该模型形式化地描述了电子商务协议的身份认证、杌密性、完整性、非否认性、拒绝服务性和存取访问。本文对Lu—Smolka提出的Lu—Smolka协议研究实例加以阐述，发现了两个攻击，该形式化方法也可用于电子商务的其他安全协议分析。
基于CTL的电子商务安全协议形式化分析
【摘 要】
：
本文建立了基于CTL的电子商务协议模型，该模型形式化地描述了电子商务协议的身份认证、杌密性、完整性、非否认性、拒绝服务性和存取访问。本文对Lu—Smolka提出的Lu—Smolka
【机 构】
：
盐城师范学院信息科学与技术学院
【出 处】
：
科技信息
【发表日期】
：
2009年28期
其他文献
江苏省目前已有830万农民参加社保，争取在2010年基本建立起与全面建设小康社会相适应的农村社保制度。江苏省劳动保障部门介绍，截至2004年底，全省已有13个省辖市、100个县(市、
干部培训班，本来是对干部进行理论和知识培训的地方．可是时下有些干部不是把心思用在学习上，而是利用党校、干校培训期间“认一认人，串一串门，养一养神”，把培训当成是“拉关系”、
6月15日，四川省老促会召开第四届理事大会，实现成功换届。会议审议通过了第三届常务理事会工作报告和财务报告；审议通过了《四川省老区建设促进会章程》；会议选举产生了四川省老
在农村不少地方，新出现的农民经纪人协会(也有叫联合社的)，由于适应市场经济的需求，提高了农民抵御市场风险的能力而受到农民的欢迎。这种由农民按照自愿原则组织起来的协会(联
我国和西方金融创新环境比较袁蓉丽七十年代以来，世界金融领域进行了一场影响深远的结构性变革。这场变革被称为“金融创新”。这股创新浪潮起源于美国，随即漫延到其他西方国家