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...
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | doctoralThesis |
| Lingua: | inglese |
| Pubblicazione: |
2014
|
| Soggetti: | |
| Accesso online: | http://hdl.handle.net/20.500.12008/2909 |
| Tags: |
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Documenti analoghi: Formal analysis of security models for mobile devices, virtualization platforms and domain name systems
- A formal specification of the MIDP 2.0 security model
- Hacia una especificación formal del modelo de seguridad de MIDP 3.0
- Hacia una especificación formal de un microcontrolador usado en marcapasos
- Autorización de Acceso en MIDP 3.0
- Formally verified countermeasures against cache based attacks in virtualization platforms
- A formal analysis of the mimblewimble cryptocurrency protocol with a security approach