CommercialRelevance of Separation Kernel Protection Profile for Avionics Systems Debated Issued by the U.S. National Security Agency (NSA) in 2007, the Separation Kernel Protection Profile (SKPP) continues to be a cybersecurity guidepost for some in the avionics industry, while other avionics cyber…