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...
Tallennettuna:
| Päätekijä: | |
|---|---|
| Aineistotyyppi: | doctoralThesis |
| Kieli: | englanti |
| Julkaistu: |
2014
|
| Aiheet: | |
| Linkit: | http://hdl.handle.net/20.500.12008/2909 |
| Tagit: |
Ei tageja, Lisää ensimmäinen tagi!
|