基于层次时间自动机的动态行为取证建模方法

• 作者: 孙国梓 杨庚 金仙力
• 来源期刊: 微电子学与计算机
• 关键词: 层次时间自动机 取证模型 动态行为 形式化方法
• 年，卷（期）: 2012,（11）
• 页码范围: 18-21
• 分类号: TP309
• 语种: 中文

摘要

提出一种新的动态行为取证层次化模型.首先介绍层次时间自动机的概念,接着详细阐述动态行为的层次时间自动机形式化模型及其组合模型,然后分析组合模型中可能存在的非法行为.