@inproceedings { conf/ifm/Braghin,
	title = {Automated Verification of Security Policies in Mobile Code.},
	booktitle = {Integrated Formal Methods (IFM)},
	volume = {4591},
	year = {2007},
	pages = {37-53},
	publisher = {Springer},
	organization = {Springer},
	type = {inproceedings},
	ISBN = {978-3-540-73209-9},
	author = { Braghin, Chiara  and   Sharygina, Natasha  and   Barone-Adesi, Katerina}
	editor = {Jim Davies and Jeremy Gibbons},
}