@INPROCEEDINGS{cgUCL-98,
 	TITLE={{Specifying Security in a Composite System}},
	BOOKTITLE={Information Security Workshop (ISW'1997)},
	PUBLISHER={Springer-Verlag},
	SERIES={Lecture Note in Computer Science},
	MONTH={1},
	YEAR={1998},
}