节点文献
Kailar逻辑缺陷的进一步讨论
On the Limitation of Kailar Logic
【摘要】 责任性是电子商务安全性的基本要求之一,它要求交易各方对自己的行为负责。Kailar逻辑是专门针对电子商务责任性进行分析的逻辑。然而Kailar逻辑也存在不足。该文讨论了Kailar逻辑的一种缺陷——发生重放攻击时,Kailar逻辑不能正确分析各方的责任性,并分析了出现这种缺陷的原因,提出了改进方案。
【Abstract】 Accountability,as one of basic security properties of electronic commerce,re quires all participators must hold accountable for their behaviors.Kailar logic is used to analyse all participators’accountability of electronic commerce exc lusively.The paper points out that Kailar logic has another limitation:it can ’t rightly analyse accountability when the replay attack happens,then the pape r analyses the reason and give s the scheme of improving Kailar logic.
【关键词】 责任性;
电子商务;
协议;
协议分析;
【Key words】 Accountability; Electronic Commerce; Protocol; Protocol Analysis;
【Key words】 Accountability; Electronic Commerce; Protocol; Protocol Analysis;
【基金】 广西跨世纪人才专项基金项目;广西科学基金项目(编号:0141046)
- 【文献出处】 计算机工程与应用 ,Computer Engineering and Applications , 编辑部邮箱 ,2003年17期
- 【分类号】TP399
- 【被引频次】2
- 【下载频次】72