数据起源请求协议的安全性分析与验证  

Security analysis and verification to data provenance request protocol

作　　者：张森[1] 王凤英[1] 

机构地区：[1]山东理工大学计算机科学与技术学院,山东淄博255091

出　　处：《山东理工大学学报（自然科学版）》2013年第6期52-56,共5页Journal of Shandong University of Technology:Natural Science Edition

基　　金：山东省科技发展计划项目(2013GGX10116);山东省优秀中青年科学家科研奖励基金项目(J13LN274)

摘　　要：数据起源记录的信息有可能揭露用户的隐私,因此对起源的安全保护特别重要.介绍了数据起源和可审计起源系统,从机密性和认证性两个方面对基于起源的审计结构中的数据请求协议进行了分析,改进了协议在起源记录过程中消息传输方式.介绍了BAN逻辑方法,应用BAN逻辑对协议进行了形式化的分析与验证,证明协议满足机密性和认证性要求.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 .

关 键 词：数据起源 数据请求协议 BAN逻辑 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]