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

Keyphrases

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

Computer Science

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