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

【Abstract】 On the basis of communicating sequential processes(CSP),combined with the limitations of security property which infor-mation security models give,several semantic descriptions of the security property of information flow are introduced and analyzed,a new only direction property is given,and it is demonstrated according to security property of information flow,in order to do more re-searches on identifying legal information flow,and further more to distinguish exist illegal information flow,as a theory foundation of resolving covert channel problems,from this point of view,attempts to resolve the radical problem of information security.更多还原