| 基于项重写的安全电子交易形式化模型 |
| |
| 引用本文： | 陈晨, 刘楠, 陈卫红, 祝跃飞. 基于项重写的安全电子交易形式化模型[J]. 北京工业大学学报, 2010, 36(5): 664-668. |
| |
| 作者姓名： | 陈晨 刘楠 陈卫红 祝跃飞 |
| |
| 作者单位： | 1.信息工程大学 信息工程学院, 郑州 450002 |
| |
| 基金项目： | 国家"八六三"计划资助项目 |
| |
| 摘 要： | 构建一个安全电子交易的形式化模型,为实现对相关安全协议的自动化分析提供了理论基础和技术手段.该模型基于项重写理论进行构建,通过符号化和规则化的方式刻画电子交易的3个主要过程,不但体现交易双方能互相检验身份的安全机制,并且通过项重写系统终止性和会聚性的性质证明该模型具有完整性和一致性等特点,在安全性分析方面验证该模型满足认证性和发送非否认性.
|
| 关 键 词： | 电子交易 形式化 项重写 |
| 收稿时间： | 2009-12-10 |
A Formal Model of Secure Electronic Transaction Based on Term Rewriting |
| |
| CHEN Chen, LIU Nan, CHEN Wei-hong, ZHU Yue-fei. A Formal Model of Secure Electronic Transaction Based on Term Rewriting[J]. Journal of Beijing University of Technology, 2010, 36(5): 664-668. |
| |
| Authors: | CHEN Chen LIU Nan CHEN Wei-hong ZHU Yue-fei |
| |
| Affiliation: | 1.Institute of Information Engineering, Information Engineering University, Zhengzhou 450002, China |
| |
| Abstract: | A secure electronic transaction formal model was given,which showed the theoretic basis and technical method of analyzing correlative security protocols automatically.The model was based on term rewriting,which described the three main process of electric transaction by symbols and rules,and satisfied the bidirectional authentication of the security mechanism.It showed some properties of the new model,proved the integrity and consistency by termination and confluece of rewriting system,and validated the aut... |
| |
| Keywords: | electronic transaction formalism term rewriting |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《北京工业大学学报》浏览原始摘要信息 |
|
点击此处可从《北京工业大学学报》下载全文 |
|
