%0 Journal Article
%T Security and Atomicity in Electronic Commerce<br>电子商务的安全和原子：模型、协议和验证
%A 吴志刚
%A 方滨兴
%A 胡铭曾
%A 孙鹏
%J 软件学报
%D 2001
%I 
%X 电子商务的流行与接受主要取决于下述属性：安全、原子、隐私与匿名．对于需要安全、原子和隐私等3个属性的物理商品的电子交易还没有合适的电子商务协议．基于此，提出了一个称为ELC的电子商务模型，ELC模型模拟了国际贸易中的电子信用证．然后提出了一个安全、原子的电子商务协议．最后，在有一个入侵者的情况下，通过使用BAN风格的逻辑证明所期望的属性分析了协议的强度和正确性
%K electronic commerce
%K security
%K atomicity
%K privacy
%K verification<br>电子商务
%K 安全
%K 原子
%K 隐私
%K 验证
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=BD7C686BB1B72E87&yid=14E7EF987E4155E6&vid=59906B3B2830C2C5&iid=38B194292C032A66&sid=C6EC7357BCACD3A4&eid=CF6CB42CFF3D4C4E&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=5