| 数据起源请求协议的安全性分析与验证 |
| |
| 引用本文： | 张森,王凤英. 数据起源请求协议的安全性分析与验证[J]. 山东理工大学学报：自然科学版, 2013, 0(6): 52-56 |
| |
| 作者姓名： | 张森 王凤英 |
| |
| 作者单位： | 山东理工大学计算机科学与技术学院,山东淄博255091 |
| |
| 基金项目： | 山东省科技发展计划项目（2013GGX10116）;山东省优秀中青年科学家科研奖励基金项目（J13LN274） |
| |
| 摘 要： | 数据起源记录的信息有可能揭露用户的隐私，因此对起源的安全保护特别重要。介绍了数据起源和可审计起源系统，从机密性和认证性两个方面对基于起源的审计结构中的数据请求协议进行了分析，改进了协议在起源记录过程中消息传输方式。介绍了BA N逻辑方法，应用BA N逻辑对协议进行了形式化的分析与验证，证明协议满足机密性和认证性要求。
|
| 关 键 词： | 数据起源 数据请求协议 BAN逻辑 |
Security analysis and verification to data provenance request protocol |
| |
| Affiliation: | ZHANG Sen, WANG-Feng ying (School of Computer Science and Technology, Shandong University of Technology, Zibo 255091, China) |
| |
| Abstract: | The information of the data recorded by provenance may reveal the privacy of the user , so it is important to protect the provenance .In this paper ,we introduced data provenance and auditable provenance system ,analyzed the data request protocol of the provenance based on auditing architecture from the two aspects of confidentiality and authentication ,and we improved the message transmission method during the data record process .We introduced BAN logic ,used it to analyze and verify the protocol formally and proved that the protocol satisfied confidentialitied and authentication requirements . |
| |
| Keywords: | data provenance data request protocol BAN logic |
| 本文献已被 维普 等数据库收录！ |
