Trusted declassification:: high-level policy for a security-typed language Export

@inproceedings{citeulike:1133886, address = {New York, NY, USA}, author = {Hicks, Boniface and King, Dave and Mcdaniel, Patrick and Hicks, Michael}, booktitle = {PLAS '06: Proceedings of the 2006 workshop on Programming languages and analysis for security}, citeulike-article-id = {1133886}, citeulike-linkout-0 = {http://portal.acm.org/citation.cfm?id=1134757}, citeulike-linkout-1 = {http://dx.doi.org/10.1145/1134744.1134757}, doi = {10.1145/1134744.1134757}, isbn = {1595933743}, keywords = {declassification, information\_flow}, pages = {65--74}, posted-at = {2007-03-01 16:18:33}, priority = {3}, publisher = {ACM Press}, title = {Trusted declassification:: high-level policy for a security-typed language}, url = {http://dx.doi.org/10.1145/1134744.1134757}, year = {2006} }

TY - CONF ID - citeulike:1133886 L3 - citeulike-article-id:1133886 SN - 1595933743 AD - New York, NY, USA EP - 74 TI - Trusted declassification:: high-level policy for a security-typed language PB - ACM Press T2 - PLAS '06: Proceedings of the 2006 workshop on Programming languages and analysis for security SP - 65 KW - declassification KW - information_flow AU - Hicks, Boniface AU - King, Dave AU - Mcdaniel, Patrick AU - Hicks, Michael PY - 2006/// UR - http://dx.doi.org/10.1145/1134744.1134757 ER -