@inproceedings{Biel-etal-11-NSS,
	author = {N. Bielova and D. Devriese and F. Massacci
and F. Piessens},
	title = {Reactive non-interference for a Browser model},
	booktitle = {Proceedings of the 5th International Conference on Network and System Security (NSS 2011)},
	year = {2011},
	pages = {97-104},
	publisher = {IEEE Press},
}