@article { BSB10,
	title = {A Model Checking-based Approach for Security Policy Verification of Mobile Systems},
	journal = {Formal Aspects of Computing Journal},
	year = {2010},
	note = {to appear},
	publisher = {Springer},
	author = {Braghin, C. and Natasha Sharygina and Katerina Barone Adesi}
}
