Formal analysis of security models for mobile devices, virtualization platforms and domain name systems

En esta tesis investigamos la seguridad de aplicaciones de seguridad criticas, es decir aplicaciones en las cuales una falla podria producir consecuencias inaceptables. Consideramos tres areas: dispositivos moviles, plataformas de virtualizacion y sistemas de nombres de dominio. La plataforma Java M...

全面介紹

書目詳細資料

主要作者:	Luna, Carlos (author)
格式:	doctoralThesis
語言:	英语
出版:	2014
主題:	Modelos formales Prioridades de seguridad Asistente de pruebas Coq JME-MIDP Virtualización DNSSEC
在線閱讀:	http://hdl.handle.net/20.500.12008/2909
標簽:	添加標簽 沒有標簽, 成為第一個標記此記錄!