• 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 30, 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]
T. Wang, L. Shen, C. 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]
Tao Wang, Limin Shen, and Chuan Ma. 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.

[BibTeX Style]
@article{tiis:20481, title="A Process Algebra-Based Detection Model for Multithreaded Programs in Communication System", author="Tao Wang and Limin Shen and Chuan Ma and ", journal="KSII Transactions on Internet and Information Systems", DOI={10.3837/tiis.2014.03.014}, volume={8}, number={3}, year="2014", month={March}, pages={965-983}}