A model checking-based approach for security policy verification of mobile systems

Chiara Braghin, Natasha Sharygina, Katerina Barone-Adesi
2010 Formal Aspects of Computing  
doi:10.1007/s00165-010-0159-y fatcat:cglrqubkavdbhffi4rb5u5ywni