A fuzzing scheme for microkernel operating system based on relationship between system calls

Pengju Liu; Baojiang Cui; Chunyang Han; Zhuorao Yang

doi:10.1117/12.2683164

26 June 2023 A fuzzing scheme for microkernel operating system based on relationship between system calls

Pengju Liu, Baojiang Cui, Chunyang Han, Zhuorao Yang

Proceedings Volume 12714, International Conference on Computer Network Security and Software Engineering (CNSSE 2023); 1271412 (2023) https://doi.org/10.1117/12.2683164
Event: Third International Conference on Computer Network Security and Software Engineering (CNSSE 2023), 2023, Sanya, China

Abstract

Compared with the macrokernel, the microkernel operating system has higher kernel stability and security because the microkernel only includes the key parts of the operating system such as memory management. But once there is a bug with the microkernel, it will affect the entire operating system. In order to improve the security and stability of the microkernel operating system, this paper proposes a fuzzing scheme for the microkernel based on the relationship between system calls. The scheme deeply analyzes the correlation between system calls in the microkernel based on static analysis. Then the generation process of subsequent test cases is guided by the correlation. Finally, this paper conducts experimental analysis on the scheme to verify the correctness and effectiveness of the scheme.

Citation Download Citation

Pengju Liu, Baojiang Cui, Chunyang Han, and Zhuorao Yang "A fuzzing scheme for microkernel operating system based on relationship between system calls", Proc. SPIE 12714, International Conference on Computer Network Security and Software Engineering (CNSSE 2023), 1271412 (26 June 2023); https://doi.org/10.1117/12.2683164

ACCESS THE FULL ARTICLE

INSTITUTIONAL
Select your institution to access the SPIE Digital Library.

SELECT YOUR INSTITUTION

PERSONAL
Sign in with your SPIE account to access your personal subscriptions or to use specific features such as save to my library, sign up for alerts, save searches, etc.

PERSONAL SIGN IN

No SPIE Account? Create one

PURCHASE THIS CONTENT

SUBSCRIBE TO DIGITAL LIBRARY

50 downloads per 1-year subscription

Members: $195

Non-members: $335 ADD TO CART

25 downloads per 1 - year subscription

Members: $145

Non-members: $250 ADD TO CART

PURCHASE SINGLE ARTICLE

Includes PDF, HTML & Video, when available

Members: $17.00

Non-members: $21.00 ADD TO CART

PROCEEDINGS
7 PAGES

DOWNLOAD PAPER SAVE TO MY LIBRARY

GET CITATION

RIGHTS & PERMISSIONS

Get copyright permission Get copyright permission on Copyright Marketplace

KEYWORDS

Operating systems

Binary data

Associative arrays

Telecommunications

Computing systems

Databases

Interfaces

Show All Keywords

Keywords/Phrases

Search In:

Publication Years