| 一种安全转移系统模型的构造及其运用 |
| |
| 引用本文： | 万 良,肖 源.一种安全转移系统模型的构造及其运用[J].计算机应用研究,2014,31(2):558-562. |
| |
| 作者姓名： | 万 良 肖 源 |
| |
| 作者单位： | 1. 中国人民大学 信息学院 数据工程与知识工程重点实验室, 北京 100872; 2. 贵州大学 计算机科学与信息学院, 贵阳 550025 |
| |
| 基金项目： | 国家自然科学基金资助项目（61163001）; 中国人民大学科学研究基金（中央高校基本科研业务费专项资金资助）项目成果（+12 XNLF06）; 贵州自然科学基金项目（J[2011] 2328） |
| |
| 摘 要： | 为提高安全性, 一般利用密码技术, 但系统运行过程的安全尚显不足, 为此基于行为时序逻辑TLA提出一种安全转移系统模型。通过设置安全属性, 构造安全行为, 使得系统在运行过程中的每次转移都满足安全属性, 从而提高过程的安全性。为此, 定义初始安全态、安全转移条件、安全状态、安全行为、安全运迹和安全转移系统, 并证明在安全转移系统中状态处处安全。安全转移系统中强调的是系统转移过程的安全性, 从而增强了系统运行的安全。通过实例的运用表明面向过程安全的建模为提高系统的安全性是有意义的。
|
| 关 键 词： | 形式化方法 行为时序逻辑 安全性 安全行为 安全转移系统 |
Safety transition system and its application |
| |
| WAN Liang,XIAO Yuan.Safety transition system and its application[J].Application Research of Computers,2014,31(2):558-562. |
| |
| Authors: | WAN Liang XIAO Yuan |
| |
| Affiliation: | 1. School of Information, Key Laboratory of Data Engineering & Knowledge Engineering, Renmin University of China, Beijing 100872, China; 2. College of Computer Science & Information, Guizhou University, Guiyang 550025, China |
| |
| Abstract: | 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 condition, 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. |
| |
| Keywords: | formal methods TLA(temporal logic of actions) safety safety action safety transition systems |
|
| 点击此处可从《计算机应用研究》浏览原始摘要信息 |
|
点击此处可从《计算机应用研究》下载全文 |
|
