基于层次时间自动机的动态行为取证建模方法
The Methods of Forensic Model for Dynamic Behavior Based on Hierarchical Timed Automata
-
摘要: 提出一种新的动态行为取证层次化模型.首先介绍层次时间自动机的概念,接着详细阐述动态行为的层次时间自动机形式化模型及其组合模型,然后分析组合模型中可能存在的非法行为.Abstract: This paper proposes a new hierarchical forensic model for dynamic behavior.Firstly, it introduces the concept of hierarchical timed automata.Then, the formal model and its composition model for dynamic behavior are detailed.It also analyses the illegal behaviors in the composed model.
下载:
