视频
   
  

信息流安全特性的语义模型研究

文档作者: 谷千军        文档来源: 北京理工大学
更新时间: 2018年09月22日
下载地址: 点击这里
文件大小: 267.40 KB
下载点数: 1 点(VIP免费)
/
文件大小:267.40 KB
下载点数:1 点(VIP会员免费)

:以通信顺序进程为语法基础,结合信息安全模型对安全特性的约束,介绍并分析了几种针对信息流安全特性的语义描述,并提出了信息流安全的单向特性,对其进行了相关安全特性的证明,以期对正确标识合法信息流问题进行探讨,用于正确区分存在的不舍法信息流,作为解决隐通道问题的理论依据,从理论分析的角度,尝试解决信息安全的根本性问题。

网友评论 more
 |  网站简介 |  会员服务 |  广告服务 |  业务合作 | 提交需求 |  会员中心 | 在线投稿 | 版权声明 | 友情链接 | 联系我们 
©  安全管理网   
运营单位:北京创想安科科技有限公司
联系电话:   E-mail:safehoo@163.com