A Model Checking-based Approach for Security Policy Verification of Mobile Systems
Additional information
Authors
Braghin C.,
Sharygina N.,
Barone-Adesi K.
Type
Journal Article
Year
2010
Language
English
Journal
Formal Aspects of Computing Journal
Pages (or article number)
627- 648
