Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Gustavo Betarte

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

CLEI Electronic Journal

English