4 research outputs found
A Few Remarks About Formal Development of Secure Systems
Formal methods provide remarkable tools allowing for high levels of
confidence in the correctness of developments. Their use is therefore
encouraged, when not required, for the development of systems in which safety
or security is mandatory. But effectively specifying a secure system or
deriving a secure implementation can be tricky. We propose a review of some
classical `gotchas' and other possible sources of concerns with the objective
to improve the confidence in formal developments, or at least to better assess
the actual confidence level.Comment: 10 page
Seguridad y privacidad en la plataforma Android
Conforme crece el uso y la adopción de los dispositivos móviles, se espera que brinden funcionalidades cada vez más complejas. En consecuencia, la demanda de nuevas aplicaciones aumenta considerablemente. Android es una nueva plataforma licenciada como software libre que será clave para cubrir esta demanda, proveyendo un sistema operativo, middleware y las herramientas necesarias para el desarrollo de aplicaciones por medio del lenguaje Java. En este proyecto analizaremos la seguridad en la plataforma Android y determinaremos si esta permite salvaguardar la privacidad de los usuarios. En base a este análisis, propondremos soluciones a los problemas identificados, colaborando con el refinamiento de la plataforma.Eje: Arquitectura, Redes y Sistemas OperativosRed de Universidades con Carreras en Informática (RedUNCI
Seguridad y privacidad en la plataforma Android
Conforme crece el uso y la adopción de los dispositivos móviles, se espera que brinden funcionalidades cada vez más complejas. En consecuencia, la demanda de nuevas aplicaciones aumenta considerablemente. Android es una nueva plataforma licenciada como software libre que será clave para cubrir esta demanda, proveyendo un sistema operativo, middleware y las herramientas necesarias para el desarrollo de aplicaciones por medio del lenguaje Java. En este proyecto analizaremos la seguridad en la plataforma Android y determinaremos si esta permite salvaguardar la privacidad de los usuarios. En base a este análisis, propondremos soluciones a los problemas identificados, colaborando con el refinamiento de la plataforma.Eje: Arquitectura, Redes y Sistemas OperativosRed de Universidades con Carreras en Informática (RedUNCI