Myla Archer, Elizabeth I. Leonard, Matteo Pradella. Modeling Security-Enhanced Linux Policy Specifications for Analysis. In 3rd DARPA Information Survivability Conference and Exposition (DISCEX-III 2003), 22-24 April 2003, Washington, DC, USA. pages 164-169, IEEE Computer Society, 2003. [doi]
Abstract is missing.