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

Chinese

您当前的位置：

首页 >

文章列表页 >

更新时间：2026-09-04

- 基于层次时间自动机的动态行为取证建模方法
- The Methods of Forensic Model for Dynamic Behavior Based on Hierarchical Timed Automata
- 微电子学与计算机 2012年29卷第11期页码：18-21
- 作者机构：
  
  1. 南京邮电大学机构计算机学院,江苏,南京,210003
  2. 江苏省无线传感网高技术研究重点实验室机构,江苏,南京,210003
  3. 宽带无线通信与传感网技术教育部重点实验室机构,江苏,南京,210003
- 作者简介：
- 基金信息：
  
  南京邮电大学引进人才计划(NY208007)江苏省高校自然科学研究计划项目(09KJD520007)江苏高校优势学科建设工程项目(yx002001)
- DOI：
  中图分类号：
- 纸质出版：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.

浏览量

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

基于多尺度融合与小目标增强的航拍车辆检测算法

基于改进RT-DETR的航拍小目标检测算法

注意力机制与改进密集卷积引导的信息隐藏模型

面向处理器分支预测单元的Spectre攻击轻量化防御方法

低功耗设计的双链电源关断策略的实现与验证