• KSII Transactions on Internet and Information Systems
    Monthly Online Journal (eISSN: 1976-7277)

A Process Algebra-Based Detection Model for Multithreaded Programs in Communication System

Vol. 8, No.3, March 31, 2014
10.3837/tiis.2014.03.014, Download Paper (Free):

Abstract

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.


Statistics

Show / Hide Statistics

Statistics (Cumulative Counts from December 1st, 2015)
Multiple requests among the same browser session are counted as one view.
If you mouse over a chart, the values of data points will be shown.


Cite this article

[IEEE Style]
Tao Wang, Limin Shen and Chuan Ma, "A Process Algebra-Based Detection Model for Multithreaded Programs in Communication System," KSII Transactions on Internet and Information Systems, vol. 8, no. 3, pp. 965-983, 2014. DOI: 10.3837/tiis.2014.03.014

[ACM Style]
Wang, T., Shen, L., and Ma, C. 2014. A Process Algebra-Based Detection Model for Multithreaded Programs in Communication System. KSII Transactions on Internet and Information Systems, 8, 3, (2014), 965-983. DOI: 10.3837/tiis.2014.03.014