1. 南京邮电大学 机构 计算机学院,江苏,南京,210003
2. 江苏省无线传感网高技术研究重点实验室 机构,江苏,南京,210003
3. 宽带无线通信与传感网技术教育部重点实验室 机构,江苏,南京,210003
Published:2012
移动端阅览
金仙力, 孙国梓, 杨庚. 基于层次时间自动机的动态行为取证建模方法[J]. 微电子学与计算机, 2012, 29(11): 18-21.
JIN Xian-li, SUN Guo-zi, YANG Geng. The Methods of Forensic Model for Dynamic Behavior Based on Hierarchical Timed Automata[J]. 2012, 29(11): 18-21.
金仙力, 孙国梓, 杨庚. 基于层次时间自动机的动态行为取证建模方法[J]. 微电子学与计算机, 2012, 29(11): 18-21. DOI:
JIN Xian-li, SUN Guo-zi, YANG Geng. The Methods of Forensic Model for Dynamic Behavior Based on Hierarchical Timed Automata[J]. 2012, 29(11): 18-21. DOI:
提出一种新的动态行为取证层次化模型.首先介绍层次时间自动机的概念
接着详细阐述动态行为的层次时间自动机形式化模型及其组合模型
然后分析组合模型中可能存在的非法行为.
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.
0
Views
9
下载量
CSCD
Publicity Resources
Related Articles
Related Author
Related Institution