Identification of Covert Channels inside Linux Kernel Based on Source Code.
Identification of Covert Channels inside Linux Kernel Based on Source Code