TIIS (한국인터넷정보학회)
Current Result Document : 4 / 4
| 한글제목(Korean Title) |
A Process Algebra-Based Detection Model for Multithreaded Programs in Communication System |
| 영문제목(English Title) |
A Process Algebra-Based Detection Model for Multithreaded Programs in Communication System |
| 저자(Author) |
Tao Wang
Limin Shen
Chuan Ma
|
| 원문수록처(Citation) |
VOL 08 NO. 03 PP. 0965 ~ 0983 (2014. 03) |
한글내용
(Korean Abstract) |
|
영문내용
(English 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.
|
| 키워드(Keyword) |
intrusion detection
concurrent behavior
static analysis
process algebra
system call
|
| 파일첨부 |
PDF 다운로드
|
