A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Chiara Braghin, Natasha Sharygina, Katerina Barone-Adesi. "A model checking-based approach for security policy verification of mobile systems." Formal Aspects of Computing 23.5 (2010) 627-648