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

Return to Article Details Formal Analysis of Security Models for Mobile Devices, Virtualization Platforms, and Domain Name Systems Download Download PDF