A Model Checking-based Approach for Security Policy Verification of Mobile Systems
Informazioni aggiuntive
Autori
Braghin C.,
Sharygina N.,
Barone-Adesi K.
Tipo
Articolo pubblicato in rivista scientifica
Anno
2010
Lingua
Inglese
Periodico
Formal Aspects of Computing Journal
Pagine (o numero dell’articolo)
627- 648
