Formal Analysis of Security Models for Mobile Devices, Virtualization Platforms, and Domain Name Systems.

Gustavo Betarte Carlos Luna

Published in: CLEI Electron. J. (2015)

Keyphrases

formal analysis
mobile devices
complex systems
ban logic
formal methods
cloud computing
operating system
mobile platforms
information systems
knowledge based systems
building blocks
mobile phone
data center
expert systems
mobile commerce
desktop computers
computing devices