Consistency analysis and flow secure enforcement of SELinux policies
B. S. Radhika, Nitesh Kumar, R. K. Shyamasundar, Parjanya Vyas
Topics & Concepts
Computer scienceConsistency (knowledge bases)EnforcementStatic analysisImplementationSecurity policyComputer securityInformation flowFlow (mathematics)Mandatory access controlTaint checkingDistributed computingAccess controlProgramming languageRole-based access controlArtificial intelligenceSoftwareLawPhilosophyPolitical scienceGeometryLinguisticsMathematicsSecurity and Verification in ComputingAdvanced Malware Detection TechniquesAccess Control and Trust