@INPROCEEDINGS{cgUCL-CCKLP07,
 	AUTHOR={Canetti, Ran and Cheung, Ling and Kaynar, Dilsun and Lynch, Nancy and Pereira, Olivier},
	TITLE={{Compositional Security for Task-PIOAs}},
	BOOKTITLE={Proceedings of the 20th IEEE Computer Security Foundations Symposium},
	PUBLISHER={IEEE Computer Society Press},
	EDITOR={A. Sabelfeld},
	PAGES={125-139},
	MONTH={7},
	YEAR={2007},
}