A Process Algebra-Based Detection Model for Multithreaded Programs in Communication System
Tao Wang, Limin Shen, Chuan Ma · KSII Transactions on Internet and Information Systems · 2014
Concurrent behaviors of multithreaded programs cannot be described effectively by automata-based models.Thus, concurrent program intrusion attempts cannot be detected.To address this problem, we proposed the process algebra-based detection model for multithreaded programs (PADMP).We generate process expressions by static binary code analysis.We then add concurrency operators to process expressions and propose a model construction algorithm based on process algebra.We also present a definition of process equivalence and behavior detection rules.Experiments demonstrate that the proposed method can accurately detect errors in multithreaded programs and has linear space-time complexity.The proposed method provides effective support for concurrent behavior modeling and detection.