Automatic Permission Check Analysis for Linux Kernel
Sign Up to like & getrecommendations! Published in 2023 at "IEEE Transactions on Dependable and Secure Computing"
DOI: 10.1109/tdsc.2022.3165368
Abstract: Permission checks play an essential role in operating system security by providing access control to privileged functionalities. However, it is challenging for kernel developers to scalably verify the soundness of existing checks due to the… read more here.
Keywords: permission; linux kernel; permission checks; permission check ... See more keywords