山东省优秀中青年科学家科研奖励基金(J13LN274)
- 作品数：2 被引量：8H指数：1
- 相关作者：王凤英刘通张森更多>>
- 相关机构：山东理工大学更多>>
- 发文基金：山东省科技发展计划项目山东省优秀中青年科学家科研奖励基金山东省自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 数据起源请求协议的安全性分析与验证被引量：1
- 2013年
- 数据起源记录的信息有可能揭露用户的隐私,因此对起源的安全保护特别重要.介绍了数据起源和可审计起源系统,从机密性和认证性两个方面对基于起源的审计结构中的数据请求协议进行了分析,改进了协议在起源记录过程中消息传输方式.介绍了BAN逻辑方法,应用BAN逻辑对协议进行了形式化的分析与验证,证明协议满足机密性和认证性要求.
- 张森王凤英
- 关键词：数据起源BAN逻辑
- 基于OPM的安全起源模型被引量：7
- 2013年
- 为了确保数据起源的安全,研究了开放起源模型,并在该模型上进行安全起源的扩展,建立了满足机密性和完整性的安全起源模型。在机密性中,改进了Diffie-Hellman协议用来安全协商会话密钥,从而用它来加密敏感信息;在完整性中,用三元组集合描述起源于关系,并对其签名,改进了基于签名的校验和使其适用于有向无环图中。最后以伪代码的形式给出了验证完整性的算法。开放式的安全起源模型的建立确保了数据起源的可信性。
- 刘通王凤英
- 关键词：完整性校验和机密性
