基于进程代数的并发行为检测模型

• 作者: 王涛 申利民 马川
• 来源期刊: 四川大学学报（工程科学版）
• 学科: 工学
• 关键词: 入侵检测 并发行为 静态分析 进程代数 系统调用
• 年，卷（期）: 2014,（1）
• 所属期刊栏目: 第七届中国可信计算与信息安全学术会议(CTCIS 2013)推
• 页码范围: 35-40
• 页数: 6页
• 分类号: TP393
• 字数: 4686字
• 语种: 中文

摘要

针对并发行为难以描述和检测的问题,引入进程代数对系统调用序列进行分析,提出一种描述和检测并发行为的模型.首先通过静态分析二进制码得到系统的控制流程图,并对流程图进行分析生成进程表达式;接着针对并发行为的互斥和同步关系重写表达式,向表达式中添加并发操作;然后通过扩展进程代数的性质和运算法则构造出动作、算子和进程3个基本元素,进而建立了模型;最后给出并发行为检测的方法并对模型的时空效率进行了分析和验证.理论分析和实验表明,所提出的方法具有线性的时间和空间复杂度.

作者信息

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