Information Flow Security for Boxed Ambients

Cite this paper

@article{Crafa2002InformationFS, title={Information Flow Security for Boxed Ambients}, author={Silvia Crafa and Michele Bugliesi and Giuseppe Castagna}, journal={Electr. Notes Theor. Comput. Sci.}, year={2002}, volume={66}, pages={76-97} }