摘要
电子商务的普及与接受主要取决于下述属性的解决 :安全、原子、隐私与匿名 .形式化描述和分析是描述电子商务协议并验证它们的属性的有效方法 .面向物理商品交易的电子商务协议需要具备 3个属性 :安全、原子和隐私 .介绍了一个安全、可靠的电子商务协议 BEARCAT及其形式化描述 ,并在有入侵者的情况下 ,通过用 BAN类型的逻辑证明所期望的属性的方式对协议的强度和正确性作了形式化分析 .
Popularization and acceptance of electronic commerce mainly depends on solution of the following properties: security, atomicity, privacy and anonymity. Formal description and analysis are an efficient way to describe electronic commerce protocols and verify their properties. In electronic commerce protocols for transactions of physical goods, three properties are needed: security, atomicity, and privacy. In this paper, a secure, atomic electronic commerce protocol named BEARCAT and its formal description are introduced. The protocol is formally analyzed for its strength and correctness by means of proving its desired properties using BAN style logic in the presence of an intruder.
出处
《计算机研究与发展》
EI
CSCD
北大核心
2000年第7期869-873,共5页
Journal of Computer Research and Development
