Information flow query and verification for security policy of security-enhanced linux

Keyphrases

• Information Flow 100%
• Security Policy 100%
• Security Enhanced Linux 100%
• Colored Petri Nets 50%
• Administrators 33%
• Security Goals 33%
• Access Control 16%
• Unexpected Information 16%
• Query Language 16%
• Policy Goals 16%
• Control Decision 16%
• Information Flow Model 16%
• Kernel Security 16%
• Security Rules 16%

Computer Science

• Security Policy 100%
• Enhanced Security 100%
• Colored Petri Net 50%
• Query Language 16%
• Policy Administrator 16%
• Information Flow Model 16%
• Access Control Decision 16%