信息流安全特性的语义模型研究
以通信顺序进程为语法基础,结合信息安全模型对安全特性的约束,介绍并分析了几种针对信息流安全特性的语义描述,并提出了信息流安全的单向特性,对其进行了相关安全特性的证明,以期对正确标识合法信息流问题进行探讨,用于正确区分存在的不合法信息流,作为解决隐通道问题的理论依据,从理论分析的角度,尝试解决信息安全的根本性问题.
信息流、安全、特性、语义模型、隐通道
29
TP309(计算技术、计算机技术)
2008-09-01(万方平台首次上网日期,不代表论文的发表时间)
共4页
3286-3288,3292