@inproceedings{conf/discex/ArcherLP03,
title = {Modeling Security-Enhanced Linux Policy Specifications for Analysis.},
author = {Myla Archer and Elizabeth I. Leonard and Matteo Pradella},
booktitle = {DISCEX (2)},
crossref = {conf/discex/2003},
pages = {164-169},
publisher = {IEEE Computer Society},
url = {http://dblp.uni-trier.de/db/conf/discex/discex2003.html#ArcherLP03},
year = {2003},
description = {dblp},
ee = {http://doi.ieeecomputersociety.org/10.1109/DISCEX.2003.1194959}, isbn = {0-7695-1897-4}, date = {2006-07-12},
keywords = {dblp }
}