电子商务的安全和原子:模型、协议和验证
DOI:
作者:
作者单位:

作者简介:

通讯作者:

中图分类号:

基金项目:

This project is supported by the National NaturalScience Foundation of China under Grant No.69773040(国家自然科学基金)


Security and Atomicity in Electronic Commerce:Model,Protocoland Verification
Author:
Affiliation:

Fund Project:

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

    电子商务的流行与接受主要取决于下述属性:安全、原子、隐私与匿名.对于需要安全、原子和隐私等3个属性的物理商品的电子交易还没有合适的电子商务协议.基于此,提出了一个称为ELC的电子商务模型,ELC模型模拟了国际贸易中的电子信用证.然后提出了一个安全、原子的电子商务协议.最后,在有一个入侵者的情况下,通过使用BAN风格的逻辑证明所期望的属性分析了协议的强度和正确性

    Abstract:

    Popularization and acceptance of electronic commerce mainly depend on the following properties:security,atomicity,privacy and anonymity.There are no electronic commerce protocols appropriate forelectron-ic transactions ofphysicalgoods in which three properties are needed:security,atomicity and privacy.An elec-tronic commerce modelis suggested in this paper.The modelis named ELCwhich simulates L/Cin internationaltrade.Then a secure and atomic electronic commerce protocolis proposed.Finally the protocolis analyzed foritsstrength and correctness by proving the desired properties using BAN style logic in the presence of an intruder.

    参考文献
    相似文献
    引证文献
引用本文

吴志刚,方滨兴,胡铭曾,孙鹏.电子商务的安全和原子:模型、协议和验证.软件学报,2001,12(3):329-333

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:1999-06-19
  • 最后修改日期:2000-03-15
  • 录用日期:
  • 在线发布日期:
  • 出版日期:
您是第位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号