Lantian Zheng, Andrew C. Myers. Dynamic Security Labels and Noninterference (Extended Abstract). In Theodosis Dimitrakos, Fabio Martinelli, editors, Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), an event of the 18th IFIP World Computer Congress, August 22-27, 2004, Toulouse, France. pages 27-40, Springer, 2004. [doi]
@inproceedings{ZhengM04, title = {Dynamic Security Labels and Noninterference (Extended Abstract)}, author = {Lantian Zheng and Andrew C. Myers}, year = {2004}, doi = {10.1007/0-387-24098-5_3}, url = {http://dx.doi.org/10.1007/0-387-24098-5_3}, tags = {C++, security}, researchr = {https://researchr.org/publication/ZhengM04}, cites = {0}, citedby = {0}, pages = {27-40}, booktitle = {Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), an event of the 18th IFIP World Computer Congress, August 22-27, 2004, Toulouse, France}, editor = {Theodosis Dimitrakos and Fabio Martinelli}, publisher = {Springer}, isbn = {0-387-24050-0}, }