TitleAnalyzing Security-Enhanced Linux Policy Specifications
Publication TypeReport
Year of Publication2003
Series TitleNRL Memorandum Report
Document NumberMR-8659