A model checking-based approach for security policy...

Formal Aspects of Computing 2011 / 09 Vol. 23; Iss. 5

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

Chiara Braghin, Natasha Sharygina, Katerina Barone-Adesi
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
23
Language:
english
Pages:
22
DOI:
10.1007/s00165-010-0159-y
Date:
September, 2011
File:
PDF, 532 KB
english, 2011
Conversion to is in progress
Conversion to is failed