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: | Gustavo Betarte, Carlos Luna |
---|---|
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 |
Similar Items
-
A Formal Verification Framework for Security Issues of Blockchain Smart Contracts
by: Tianyu Sun, et al.
Published: (2020-02-01) -
A Formal System of Axiomatic Set Theory in Coq
by: Tianyu Sun, et al.
Published: (2020-01-01) -
NanoBase: um mecanismo de gerenciamento de arquivos para a plataforma JME CLDC/MIDP
by: Leonardo Eloy, et al.
Published: (2009-05-01) -
Formalization Techniques for Asymptotic Reasoning in Classical Analysis
by: Reynald Affeldt, et al.
Published: (2018-10-01) -
Formalizing Abstract Computability: Turing Categories in Coq
by: Vinogradova, Polina
Published: (2017)