1. Inicio
  2. Atrás
Título: Verificación estática de confidencialidad en un sistema de múltiples niveles de seguridad basado en Java bytecode
Autores: Medel, Ricardo
Martínez Spessot, Cesar Ignacio
Vázquez, Juan C.
Giagante, Ignacio
Fecha: 2012-08-16
2009-05
2009
Publicador: Unversidad Nacional de La Plata
Fuente:

Tipo: Objeto de conferencia
Objeto de conferencia
Tema: Seguridad informática
Confidencialidad
Sistemas de tipos
Lenguaje Ensamblador
Java bytecode
Software
Ciencias Informáticas
nueva tecnología
Descripción: Debido al incremento en la cantidad e importancia de la información manejada por sistemas informáticos, también se incrementa la importancia de controlar la difusión de información privada de los usuarios. Los mecanismos de control del acceso y las técnicas criptográficas aseguran que la información sólo es accedida por entidades autorizadas, pero resultan insuficientes puesto que una vez que la información es accedida no existe control sobre su distribución. Extender el sistema de tipos de un lenguaje de programación agregando niveles de seguridad permite analizar estáticamente, antes de su ejecución, cómo un programa accede y utiliza la información confidencial. El creciente uso de código móvil –software obtenido de la red y ejecutado localmente, generalmente en Java bytecode– resalta la importancia de aplicar estos análisis de confidencialidad a lenguajes de bajo nivel. En este proyecto desarrollaremos un sistema de tipos para Java bytecode extendido con información de seguridad e implementaremos un chequeador de tipos que verifique la confidencialidad de la información local accedida por código móvil. También estudiaremos la desclasificación controlada de información, a fin de incluir en nuestro análisis a programas que inevitablemente revelan información confidencial, por ejemplo, al responder negativamente ante una contraseña inválida.
Eje: Nuevas Tecnologías en desarrollo de Sistemas de Software
Idioma: Español