Systematic Policy Analysis for High-Assurance Services in SELinux

Authors:
Gail-Joon Ahn;Wenjuan Xu;Xinwen Zhang
Affiliations:
-;-;-
Venue:
POLICY '08 Proceedings of the 2008 IEEE Workshop on Policies for Distributed Systems and Networks
Year:
2008

Citing 0
Cited 4

Towards System Integrity Protection with Graph-Based Policy Analysis

Proceedings of the 23rd Annual IFIP WG 11.3 Working Conference on Data and Applications Security XXIII
Improving application security with data flow assertions

Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles
A learning-based approach for SELinux policy optimization with type mining

Proceedings of the Sixth Annual Workshop on Cyber Security and Information Intelligence Research
Knowledge-Based Policy Conflict Analysis in Mobile Social Networks

Wireless Personal Communications: An International Journal

Quantified Score

Hi-index	0.00

Visualization

Abstract

Policy comparison is useful for a variety of applications, including policy validation and policy-aware service selection. While policy comparison is somewhat natural for policy languages based on description logics, it becomes rather difficult for rule-based ...