Error message

Strict warning: Only variables should be passed by reference in theme_biblio_tabular() (line 285 of /var/opt/www/usiinf_verify/docs/sites/all/modules/biblio/includes/biblio_theme.inc).

A Model Checking-based Approach for Security Policy Veri?cation of Mobile Systems

TitleA Model Checking-based Approach for Security Policy Veri?cation of Mobile Systems
Publication TypeJournal Article
Year of Publication2010
AuthorsBraghin, C., Sharygina Natasha, and Barone Adesi Katerina
JournalFormal Aspects of Computing Journal
Full Text