@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} }