@inproceedings{garg-fp06:nical,
	author = {Deepak Garg and Frank Pfenning},
	title = "Non-interference in Constructive Authorization Logic",
	booktitle = "Proceedings of the 19th IEEE Computer Security Foundations Workshop (CSFW 19)",
	year = "2006",
	location = "Venice, Italy"
	}