Volume 6, Issue 1 (2006)                   MJEE 2006, 6(1): 11-30 | Back to browse issues page

XML Persian Abstract Print


Download citation:
BibTeX | RIS | EndNote | Medlars | ProCite | Reference Manager | RefWorks
Send citation to:

JALILI S, BOLAND GHAMAT AZAR H. INDUCTIVE LEARNING OF THE OPERATIONAL LOGIC OF A PROGRAM FROM ITS MANY CORRECT EXECUTIONS AND APPLYING IT TO RUNTIME VERIFICATION OF THE PROGRAM EXECUTION. MJEE 2006; 6 (1) :11-30
URL: http://mjee.modares.ac.ir/article-17-3172-en.html
1- TARBIAT MODARRES UNIVERSITY
Abstract:   (3599 Views)
To be sure, that a program behaves correctly at runtime; the behavior of the program should be verified. Where the program source code is available, it is possible to extract the operational logic (i.e., behavior) of the program. But in this paper, programs are considered as black boxes, so no information is available about the operational logic of programs. However, some efforts are spent to learn inductively the operational logic of programs by executing them successfully (i.e., correctly) for many (i.e., > 1000) times and logging their system calls implicitly. Therefore, in the first phase, few mechanisms are developed to discover inductively the loops and branching points of a program using its log system calls. Then, the operational logic of the program is constructed in system call level abstraction by applying a novel method. In the second phase, any deviation of the program execution (in system call level abstraction) from its operational logic (in system call level abstraction) is detected, just like white box approaches. Two major applications for the proposed approach are suggested: (1) to make critical programs somehow, detect their misuses (i.e., buffer overflow attack) by themselves, and (2) to protect programs against their runtime faults. The effectiveness of the proposed approach is demonstrated by some experiments.
Full-Text [PDF 2446 kb]   (2186 Downloads)    

Received: 2004/03/1 | Accepted: 2006/03/2 | Published: 2007/03/2

Add your comments about this article : Your username or Email:
CAPTCHA

Rights and permissions
Creative Commons License This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.