@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 = {Chiara Braghin and  Natasha Sharygina and  Katerina Barone-Adesi}
}