华中科技大学学报（自然科学版）Issue(11)：128-132,5.DOI:10.13245/j.hust.141124
一种面向分布式系统的行为分析和检测方法
Behavior analysis and detection method for distributed systems
摘要
Abstract
A method for behavior analysis and detection was proposed based on process algebra .Con-trol flow graphs of a distributed system were generated by static binary code analysis ,and were trans-formed into process expressions .The process expressions were rewritten by eliminating the non deter-minism ,adding concurrency operation and reduction combine .The concurrency operators in process expressions were eliminated by concurrent laws .Finally ,the behavior detection model for distributed systems was constructed and behavior detection methods were given .Experiments demonstrate that this method reduces the complexity of behavior analysis and detection ,moreover ,this method has high precision in analyzing control flow .关键词
分布式系统/入侵检测/并发通信/进程代数/系统调用Key words
distributed systems/intrusion detection/concurrent communication/process algebra/system call分类
信息技术与安全科学引用本文复制引用
王涛,马川,申利民..一种面向分布式系统的行为分析和检测方法[J].华中科技大学学报（自然科学版）,2014,(11):128-132,5.基金项目
国家自然科学基金资助项目（61272125）；高等学校博士学科点专项科研基金资助项目（20121333110014）；秦皇岛市科技计划资助项目（201401A053）． （）
