未找到相关数据
一个安全、原子的电子商务协议及其形式化验证
被引：29
作者：
吴志刚
方滨兴
孙鹏
李亚萍
机构：
[1] 哈尔滨工业大学计算机科学与工程系!哈尔滨,哈尔滨工业大学计算机科学与工程系!哈尔滨,哈尔滨工业大学计算机科学与工程系!哈尔滨,哈尔滨工业大学计算机科学与工程系!哈尔滨
来源：
关键词：
电子商务;
原子;
安全;
隐私;
D O I：
暂无
中图分类号：
TP393 [计算机网络];
学科分类号：
081206 [计算机网络与安全];
摘要：
电子商务的普及与接受主要取决于下述属性的解决 :安全、原子、隐私与匿名 .形式化描述和分析是描述电子商务协议并验证它们的属性的有效方法 .面向物理商品交易的电子商务协议需要具备 3个属性 :安全、原子和隐私 .介绍了一个安全、可靠的电子商务协议 BEARCAT及其形式化描述 ,并在有入侵者的情况下 ,通过用 BAN类型的逻辑证明所期望的属性的方式对协议的强度和正确性作了形式化分析 .
引用
收藏
页码：869 / 873
页数：5
相关论文