论文部分内容阅读
近年来,电子商务协议的设计逐渐成为热点. Kailar提出了一种用于分析电子商务协议中可追究性的形式化分析方法,简称Kailar逻辑.指出这一逻辑的缺陷;在发生重放攻击时不能正确分析各方面的责任,在验证协议是否满足公平性原则时,具有一定的局限性.针对上述缺陷提出改进措施.
Kailar逻辑的缺陷及改进
【摘 要】
：
近年来,电子商务协议的设计逐渐成为热点. Kailar提出了一种用于分析电子商务协议中可追究性的形式化分析方法,简称Kailar逻辑.指出这一逻辑的缺陷;在发生重放攻击时不能正确
【机 构】
：
华中科技大学,华中科技大学
【出 处】
：
计算机工程与设计
【发表日期】
：
2004年6期
其他文献
摘 要 从临床护理工作的实际需要出发，以病人为中心，组建临床护理应急小组，以保证医院范围各护理单元护理工作正常有序开展。护理应急小组的成立，有效地提高了护理质量，也为深层次探究新型护理模式提供了可资借鉴的经验。 关键词 护理应急 小组 作用 我院护理部以病人为中心，设立了临床护理应急小组，以保证全院范围各护理单元护理工作正常有序的开展。今年以来，在病人急剧增多的情况下，为保证优质的护理服务
Web Services已成为网络应用发展的主流,SOAP协议是Web Services的核心协议.Axis本身是基于Java语言开发的项目,它给出了一个很好的SOAP实现平台,基于它开发Web Services应用
<正>背景脑高灌注综合征是一种脑血管成形术后相对少见但是可能非常严重的并发症,临床表现为同侧不典型偏头痛、癫痫、局灶性神经功能缺损、认知障碍等,若诊疗不及时,可能出
会议
城域以太网作为城域网的主流技术已经取得了长足的发展。城域以太网论坛（MEF）推出了新的城域以太网的标准——Cartier Ethemet，推动了城域以太网的发展。在分析现有各种城域以太
机动车辆管理是邮政企业的一项十分重要的工作.依托邮政综合计算机网, 利用Web技术和Oracle数据库实现了邮政机动车辆网络管理系统, 提高了服务质量和经济效益. 介绍了系统功