Publications

Export 1 results:
Author Title [ Type(Desc)] Year
Filters: First Letter Of Title is M  [Clear All Filters]
Journal Article
A Model Checking-based Approach for Security Policy Veri?cation of Mobile Systems, Braghin, C., Sharygina Natasha, and Barone Adesi Katerina , Formal Aspects of Computing Journal, (2010)