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

• 来源期刊: 计算机应用研究
• 关键词: 形式化方法 行为时序逻辑 安全性 安全行为 安全转移系统
• 年，卷（期）: 2014,（2）
• 所属期刊栏目: 信息安全技术
• 页码范围: 558-562
• 页数: 5页
• 分类号: TP393
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2014.02.057

摘要

为提高安全性，一般利用密码技术，但系统运行过程的安全尚显不足，为此基于行为时序逻辑TLA提出一种安全转移系统模型。通过设置安全属性，构造安全行为，使得系统在运行过程中的每次转移都满足安全属性，从而提高过程的安全性。为此，定义初始安全态、安全转移条件、安全状态、安全行为、安全运迹和安全转移系统，并证明在安全转移系统中状态处处安全。安全转移系统中强调的是系统转移过程的安全性，从而增强了系统运行的安全。通过实例的运用表明面向过程安全的建模为提高系统的安全性是有意义的。