安全管理网

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

文档作者: 谷千军        文档来源: 北京理工大学
点 击 数:
更新时间: 2018年09月22日
下载地址: 点击这里
文件大小: 267.40 KB
文档格式:       
下载点数: 1 点(VIP免费)
内容预览
如需编辑使用,请下载
注:预览效果可能会出现部分文字乱码(如口口口)、内容显示不全等问题,下载是正常的。
文件大小:267.40 KB      文件格式:
下载点数:1 点(VIP会员免费)

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

收藏本页到会员中心
网友评论 more
创想安科网站简介会员服务广告服务业务合作提交需求会员中心在线投稿版权声明友情链接联系我们