基于安全进程代数的信息流模型  

Information Flow Models Based on Security Process Algebra

作　　者：尹青[1] 周伟[1] 郭金庚[1] 

机构地区：[1]信息工程大学信息工程学院,河南郑州450002

出　　处：《信息工程大学学报》2004年第3期5-9,共5页Journal of Information Engineering University

基　　金：国家863计划信息安全技术主题"网络安全及防御技术"资助项目(863-104-06-1)

摘　　要：文章在安全进程代数理论框架内讨论信息流安全模型。基于进程代数语义理论,研究了无干扰性质及不可演绎性质的构造、关系及可复合性。A process algebraic approach to the modelling of information flow security is explained. In this paper, the derivation of process algebraic expressions for no-interference and non-deducibility property, and the composibility of those expressions are discussed.

关 键 词：安全进程代数 信息流安全 无干扰 不可演绎 

分 类 号：O15[理学—数学]