周典萃
- 作品数：4 被引量：113H指数：3
- 供职机构：中国科学院软件研究所更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术经济管理电子电信更多>>
- Kailar逻辑的缺陷被引量：58
- 1999年
- 近年来 ,电子商务协议的设计逐渐成为热点 .可追究性是指电子商务协议迫使个人或组织对自己在电子交易中的行为负责的能力 .缺乏可追究性 ,电子交易容易引起争议 .因此 ,Rajashekar Kailar提出了一种用于分析电子商务协议中可追究性的形式化分析方法 ,简称 Kailar逻辑 .该文指出这一逻辑的缺陷 :(1)不能分析协议的公平性 ;(2 )对协议语句的解释及初始化假设是非形式化的 ,存在局限性 ;(3)无法处理密文 .
- 周典萃卿斯汉周展飞
- 关键词：可追究性电子商务KAILAR逻辑INTERNET网
- 电子商务协议的公平性被引量：18
- 2000年
- 本文指出在分析电子商务协议公平性的过程中 ,不仅要考虑参与协议的主体被动攻击的情况 ,同时还要考虑参与协议的主体进行主动攻击的情况 .在此基础上 ,本文对Kailar逻辑进行了改进 ,使之能够分析协议的可追究性和公平性 .
- 周展飞周典萃王贵林卿斯汉
- 关键词：电子商务协议
- 电子商务协议的形式化分析方法
- 近年来,电子商务协议的设计逐渐成为热点.可追究性和公平性是电子商务协议应遵循的两个重要原则.Rajashekar Kailar提出了一种用于分析电子商务协议可追究性的形式化分析方法[5].它是目前电子商务协议的主要形式...
- 周典萃
- 关键词：可追究性电子商务形式化方法
- 一种分析电子商务协议的新工具被引量：75
- 2001年
- 提出了一种新的形式化分析方法 ,可用于分析电子商务协议 .与 Kailar逻辑相比 ,它有 3个优点 :(1)能够有效地分析协议的公平性 ,在进行公平性分析时充分考虑了通信信道的可靠性 ;(2 )初始化拥有集合只依赖于环境 ,不需要人为地引入初始化假设 ;(3)增加了密文理解规则 ,能够有效地分析包含有签过名的加密公式的消息 .
- 周典萃卿斯汉周展飞
- 关键词：可追究性逻辑分析网上交易电子商务协议
