Verificación estática de confidencialidad en un sistema de múltiples niveles de seguridad basado en Java bytecode
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...
| Autores principales: | , , , |
|---|---|
| Formato: | Objeto de conferencia |
| Lenguaje: | Español |
| Publicado: |
2009
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/19805 |
| Aporte de: |
| id |
I19-R120-10915-19805 |
|---|---|
| record_format |
dspace |
| institution |
Universidad Nacional de La Plata |
| institution_str |
I-19 |
| repository_str |
R-120 |
| collection |
SEDICI (UNLP) |
| language |
Español |
| topic |
Ciencias Informáticas nueva tecnología Software Seguridad informática Confidencialidad Sistemas de tipos Lenguaje Ensamblador Java bytecode |
| spellingShingle |
Ciencias Informáticas nueva tecnología Software Seguridad informática Confidencialidad Sistemas de tipos Lenguaje Ensamblador Java bytecode Medel, Ricardo Martínez Spessot, Cesar Ignacio Vázquez, Juan C. Giagante, Ignacio Verificación estática de confidencialidad en un sistema de múltiples niveles de seguridad basado en Java bytecode |
| topic_facet |
Ciencias Informáticas nueva tecnología Software Seguridad informática Confidencialidad Sistemas de tipos Lenguaje Ensamblador Java bytecode |
| description |
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. |
| format |
Objeto de conferencia Objeto de conferencia |
| author |
Medel, Ricardo Martínez Spessot, Cesar Ignacio Vázquez, Juan C. Giagante, Ignacio |
| author_facet |
Medel, Ricardo Martínez Spessot, Cesar Ignacio Vázquez, Juan C. Giagante, Ignacio |
| author_sort |
Medel, Ricardo |
| title |
Verificación estática de confidencialidad en un sistema de múltiples niveles de seguridad basado en Java bytecode |
| title_short |
Verificación estática de confidencialidad en un sistema de múltiples niveles de seguridad basado en Java bytecode |
| title_full |
Verificación estática de confidencialidad en un sistema de múltiples niveles de seguridad basado en Java bytecode |
| title_fullStr |
Verificación estática de confidencialidad en un sistema de múltiples niveles de seguridad basado en Java bytecode |
| title_full_unstemmed |
Verificación estática de confidencialidad en un sistema de múltiples niveles de seguridad basado en Java bytecode |
| title_sort |
verificación estática de confidencialidad en un sistema de múltiples niveles de seguridad basado en java bytecode |
| publishDate |
2009 |
| url |
http://sedici.unlp.edu.ar/handle/10915/19805 |
| work_keys_str_mv |
AT medelricardo verificacionestaticadeconfidencialidadenunsistemademultiplesnivelesdeseguridadbasadoenjavabytecode AT martinezspessotcesarignacio verificacionestaticadeconfidencialidadenunsistemademultiplesnivelesdeseguridadbasadoenjavabytecode AT vazquezjuanc verificacionestaticadeconfidencialidadenunsistemademultiplesnivelesdeseguridadbasadoenjavabytecode AT giaganteignacio verificacionestaticadeconfidencialidadenunsistemademultiplesnivelesdeseguridadbasadoenjavabytecode |
| bdutipo_str |
Repositorios |
| _version_ |
1764820464721461251 |