@inproceedings{conf/sacmat/IrwinYW08, title = {Enforcing security properties in task-based systems.}, author = {Keith Irwin and Ting Yu and William H. Winsborough}, booktitle = {SACMAT}, crossref = {conf/sacmat/2008}, editor = {Indrakshi Ray and Ninghui Li}, pages = {41-50}, publisher = {ACM}, url = {http://dblp.uni-trier.de/db/conf/sacmat/sacmat2008.html#IrwinYW08}, year = {2008}, biburl = {http://www.bibsonomy.org/bibtex/293172db76216c12ed72203a9d795a6f6/dblp}, description = {dblp}, date = {2008-06-16}, ee = {http://doi.acm.org/10.1145/1377836.1377843}, isbn = {978-1-60558-129-3}, keywords = {dblp } }