一种安全转移系统模型的构造及其运用  

Safety transition system and its application

作　　者：万良[1,2] 肖源[1] 

机构地区：[1]中国人民大学信息学院数据工程与知识工程重点实验室,北京100872 [2]贵州大学计算机科学与信息学院,贵阳550025

出　　处：《计算机应用研究》2014年第2期558-562,共5页Application Research of Computers

基　　金：国家自然科学基金资助项目(61163001);中国人民大学科学研究基金(中央高校基本科研业务费专项资金资助)项目成果(+12 XNLF06);贵州自然科学基金项目(J[2011]2328)

摘　　要：为提高安全性,一般利用密码技术,但系统运行过程的安全尚显不足,为此基于行为时序逻辑TLA提出一种安全转移系统模型。通过设置安全属性,构造安全行为,使得系统在运行过程中的每次转移都满足安全属性,从而提高过程的安全性。为此,定义初始安全态、安全转移条件、安全状态、安全行为、安全运迹和安全转移系统,并证明在安全转移系统中状态处处安全。安全转移系统中强调的是系统转移过程的安全性,从而增强了系统运行的安全。通过实例的运用表明面向过程安全的建模为提高系统的安全性是有意义的。The ranges of state variable value of transition system are large, and the state space of system transition, but the transitions of the system are often unpredictable. This paper defined the concepts ： initial safety states, safety transition condi- tion, safety state, safety action, safety run and safety transition system, and proved the all states in safety transition system were safe. Then it used it to remold the network transition system, and changed it a safety transition system.

关 键 词：形式化方法 行为时序逻辑 安全性 安全行为 安全转移系统 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]