山东理工大学学报（自然科学版）Issue(6)：52-56,5.
数据起源请求协议的安全性分析与验证
Security analysis and verification to data provenance request protocol
摘要
Abstract
T he 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 au-ditable 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 mes-sage 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 .关键词
数据起源/数据请求协议/BAN逻辑Key words
data provenance/data request protocol/BAN logic分类
信息技术与安全科学引用本文复制引用
张森,王凤英..数据起源请求协议的安全性分析与验证[J].山东理工大学学报（自然科学版）,2013,(6):52-56,5.基金项目
山东省科技发展计划项目（2013GGX10116）；山东省优秀中青年科学家科研奖励基金项目 （）
