INDUCTIVE LEARNING OF THE OPERATIONAL LOGIC OF A PROGRAM FROM ITS MANY CORRECT EXECUTIONS AND APPLYING IT TO RUNTIME VERIFICATION OF THE PROGRAM EXECUTION

Q: How can I download an article?

To download an article from SID, first log in to the site, search for the article title, and click on the 'Download Article' option.

Q: How can I download an ISI article?

To download an ISI article on SID, enter the keyword or article title in the search bar, view the relevant results, click on the desired article, and select the 'Download Article' option.

Q: How can I access the SID database?

To access the SID database, visit SID.ir, create an account, and log in to access scientific resources.

Q: Is downloading articles from SID free?

Some articles on SID are available for free, while others require payment. Details are specified on the article's page.

JALILI SAIED; BOLAND GHAMAT AZAR H.

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

Journal Paper

Paper Information

Journal: MODARES TECHNICAL AND ENGINEERING Year:2007 | Volume:- | Issue:26 (SPECIAL ISSUE ON ELECTRICAL ENGINEERING) Page(s): 11-30

Download Full-Text

Persian Verion

View:

742

Download:

Cites:

Information Journal Paper

Title

INDUCTIVE LEARNING OF THE OPERATIONAL LOGIC OF A PROGRAM FROM ITS MANY CORRECT EXECUTIONS AND APPLYING IT TO RUNTIME VERIFICATION OF THE PROGRAM EXECUTION

Author(s)

JALILI SAIED | BOLAND GHAMAT AZAR H. | Issue Writer Certificate

Keywords

PROGRAM RUNTIME LOGICQ4

SYSTEM CALLQ4

DEVIATION OF PROGRAM EXECUTIONQ4

PROGRAM MISUSEQ4

Abstract

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.

Cites

No record.

References

No record.

Cite

APA: Copy

JALILI, SAIED, & BOLAND GHAMAT AZAR, H.. (2007). INDUCTIVE LEARNING OF THE OPERATIONAL LOGIC OF A PROGRAM FROM ITS MANY CORRECT EXECUTIONS AND APPLYING IT TO RUNTIME VERIFICATION OF THE PROGRAM EXECUTION. MODARES TECHNICAL AND ENGINEERING, -(26 (SPECIAL ISSUE ON ELECTRICAL ENGINEERING)), 11-30. SID. https://sid.ir/paper/25048/en

Vancouver: Copy

JALILI SAIED, 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. MODARES TECHNICAL AND ENGINEERING[Internet]. 2007;-(26 (SPECIAL ISSUE ON ELECTRICAL ENGINEERING)):11-30. Available from: https://sid.ir/paper/25048/en

IEEE: Copy

SAIED JALILI, and H. BOLAND GHAMAT AZAR, “INDUCTIVE LEARNING OF THE OPERATIONAL LOGIC OF A PROGRAM FROM ITS MANY CORRECT EXECUTIONS AND APPLYING IT TO RUNTIME VERIFICATION OF THE PROGRAM EXECUTION,” MODARES TECHNICAL AND ENGINEERING, vol. -, no. 26 (SPECIAL ISSUE ON ELECTRICAL ENGINEERING), pp. 11–30, 2007, [Online]. Available: https://sid.ir/paper/25048/en

Related Journal Papers