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]
@inproceedings{ArcherLP03, title = {Modeling Security-Enhanced Linux Policy Specifications for Analysis}, author = {Myla Archer and Elizabeth I. Leonard and Matteo Pradella}, year = {2003}, doi = {10.1109/DISCEX.2003.1194959}, url = {http://doi.ieeecomputersociety.org/10.1109/DISCEX.2003.1194959}, tags = {modeling, analysis, security}, researchr = {https://researchr.org/publication/ArcherLP03}, cites = {0}, citedby = {0}, pages = {164-169}, booktitle = {3rd DARPA Information Survivability Conference and Exposition (DISCEX-III 2003), 22-24 April 2003, Washington, DC, USA}, publisher = {IEEE Computer Society}, isbn = {0-7695-1897-4}, }