@inproceedings{Pah02a,
	author = "C. Pahl",
	title = "{Analysing Security Properties using Refinement}",
	booktitle = "{Proc. International Workshop on Refinement of
			Critical Systems RCS'02}",
	year = 2002,
	note = ""
	}