La necesidad de mejorar la seguridad en sistemas de identificación de personas ha
llevado a usar nuevas tecnologías y métodos. La biometría es una tecnología y un
conjunto de métodos que analiza las características corporales o de comportamiento
de las…

Protecting sensitive information has become an important facet of software development.
One aspect of software security relies on information flow control (IFC), a technique for discovering information leaks in software. Despite the large body of work on language-based IFC, there…

TACO es una herramienta para realizar verificación formal de programas, que permite detectar bugs en los mismos. Esta traduce un programa escrito en lenguaje Java y su especificación en JML a la notación DynAlloy, para luego analizar la especificación obtenida…

Descripción completa.

La información es un recurso muy importante en la empresa, el DBA es el responsable de la Base de Datos que se maneja en ella, el objetivo de esta investigación es realizar la Administración de la Base de Datos Oracle…

Se estudia el concepto de 'framework' y 'librería', con un ejemplo de desarrollo y aplicación de un framework de ejemplo. Se presentan algunos frameworks/librerías de uso común en Java, como el Java Collections Framework, JDBC, Hibernate, Apache Commons, etc.

Introducción al lenguaje Java orientado a programadores con algo de experiencia en C++-

En este trabajo se presenta una técnica para verificar modularmente atomicidad de programas bytecode Java multi-thread. Los programas deben contar con una especificación referente a los bloqueos y al acceso a los recursos compartidos para realizar la verificación modular. Se…

La aparición de nuevas tecnologías ha permitido el desarrollo de diferentes técnicas utilizadas para
cometer fraude en telecomunicaciones. En este trabajo se realiza una revisión de las principales
tecnologías IP utilizadas en servicios de telefonía y los tipos de fraude…

Descripción completa.