Automatic Permission Check Analysis for Linux Kernel | IEEE Journals & Magazine | IEEE Xplore