基于行为时序逻辑系统性质研究

• 作者: 李均涛
• 来源期刊: 信息安全与技术
• 学科: 工学
• 关键词: 行为时序逻辑 活性 安全性 安全行为
• 年，卷（期）: 2014,（12）
• 所属期刊栏目: 理论探讨
• 页码范围: 17-19
• 页数: 3页
• 分类号: TP301.2
• 字数: 2529字
• 语种: 中文

摘要

文章研究行为时序逻辑（TLA）中行为（Action）的性质及行为之间的关系，提出“行为活性”和“行为安全性”概念，从行为的视角重新给出系统活性和安全性的定义，使得安全性和活性定义更加直观和容易理解，并证明了新老定义的等价性。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李均涛	贵州财经大学信息学院	14	24	4.0	4.0