Formal Analysis of Security Models for Mobile Devices, Virtualization Platforms, and Domain Name Systems
In this work we investigate the security of security-critical applications, i.e. applications in which a failure may produce consequences that are unacceptable. We consider three areas: mobile devices, virtualization platforms, and domain name systems. The Java Micro Edition platform defines the Mo...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Centro Latinoamericano de Estudios en Informática
2015-12-01
|
| Series: | CLEI Electronic Journal |
| Subjects: | |
| Online Access: | http://www.clei.org/cleiej-beta/index.php/cleiej/article/view/405 |