期刊文章详细信息
信息流安全特性的语义模型研究
Research on semantic models of security property for information flow
文献类型：期刊文章
机构地区：[1]北京理工大学国有资产管理处,北京100081
年 份：2008
卷 号：29
期 号：13
起止页码：3286-3288
语 种：中文
收录情况：AJ、BDHX、BDHX2004、CSA、CSA-PROQEUST、CSCD、CSCD_E2011_2012、IC、INSPEC、JST、RCCSE、ZGKJHX、核心刊
摘 要：以通信顺序进程为语法基础,结合信息安全模型对安全特性的约束,介绍并分析了几种针对信息流安全特性的语义描述,并提出了信息流安全的单向特性,对其进行了相关安全特性的证明,以期对正确标识合法信息流问题进行探讨,用于正确区分存在的不合法信息流,作为解决隐通道问题的理论依据,从理论分析的角度,尝试解决信息安全的根本性问题。
关 键 词：信息流 安全 特性 语义模型 隐通道
分 类 号：TP309]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
