您的位置： 专家智库 > >

张森

作品数：1 被引量：1H指数：1
供职机构：山东理工大学计算机科学与技术学院更多>>
发文基金：山东省科技发展计划项目山东省优秀中青年科学家科研奖励基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇数据起源
  • 1篇数据请求
  • 1篇请求
  • 1篇BAN逻辑

机构

  • 1篇山东理工大学

作者

  • 1篇王凤英
  • 1篇张森

传媒

  • 1篇山东理工大学...

年份

  • 1篇2013
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
数据起源请求协议的安全性分析与验证被引量：1
2013年
数据起源记录的信息有可能揭露用户的隐私,因此对起源的安全保护特别重要.介绍了数据起源和可审计起源系统,从机密性和认证性两个方面对基于起源的审计结构中的数据请求协议进行了分析,改进了协议在起源记录过程中消息传输方式.介绍了BAN逻辑方法,应用BAN逻辑对协议进行了形式化的分析与验证,证明协议满足机密性和认证性要求.
张森王凤英
关键词：数据起源BAN逻辑
全选 清除 导出
共1页<1>
聚类工具0