一种面向分布式系统的行为分析和检测方法

• 作者: 王涛 申利民 马川
• 来源期刊: 华中科技大学学报（自然科学版）
• 学科: 工学
• 关键词: 分布式系统 入侵检测 并发通信 进程代数 系统调用
• 年，卷（期）: 2014,（11）
• 页码范围: 128-132
• 页数: 5页
• 分类号: TP393
• 语种: 中文
• DOI: 10.13245/j.hust.141124

摘要

提出了一种基于进程代数的行为分析与检测方法。通过静态分析二进制码获得系统的控制流程图，并将其转换为进程表达式；通过消除表达式不确定性、添加并发操作以及约简归并等方式对表达式进行重写；根据并发规则消除进程表达式中的并发算子，建立分布式系统的行为检测模型，并给出行为检测的方法。理论分析和实验表明：所提出的方法降低了行为分析和检测的复杂度，在控制流分析方面具有较好的精确性。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王涛	燕山大学信息科学与工程学院	50	146	7.0	8.0
3	申利民	燕山大学信息科学与工程学院	95	583	12.0	17.0
6	马川	燕山大学信息科学与工程学院	12	42	5.0	6.0