摘要
提出一种新的动态行为取证层次化模型.首先介绍层次时间自动机的概念,接着详细阐述动态行为的层次时间自动机形式化模型及其组合模型,然后分析组合模型中可能存在的非法行为.
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.
出处
《微电子学与计算机》
CSCD
北大核心
2012年第11期18-21,共4页
Microelectronics & Computer
基金
江苏省高校自然科学研究计划项目(09KJD520007)
江苏高校优势学科建设工程项目(yx002001)
南京邮电大学引进人才计划(NY208007)
关键词
层次时间自动机
取证模型
动态行为
形式化方法
hierarchical timed automata forensic model dynamic behavior formal method
