Herramienta de generación de procesadores de lenguajes para código móvil seguro

Abstract

En este trabajo se presentan las líneas del grupo de investigación del Departamento de Computación de la UNRC constituido por los autores. Los aspectos fundamentales son la creación de modelos y herramientas de última generación para la generación de procesadores de lenguajes incluyendo la generación de Código Móvil Seguro. Se presenta el trabajo ya realizado que ha permitido construir un prototipo de ambiente de generación de procesadores de lenguajes basado en un modelo que soporta una integración más fuerte que las usadas, de las gramáticas de atributos y los esquemas de traducción, los trabajos realizados sobre evaluación concurrente de atributos y si inserción en el prototipo. Se analiza la nueva técnica para obtener Código Móvil Seguro (CMS) basado en la generación conjunta del código y de una prueba de seguridad –Proof Carrying Code PCC- y el proyecto de integrar en el ambiente un módulo que genere PCC basado en tipos dependientes. Es de destacar que el gran desarrollo de las redes de computadoras y de las actividades que se soportan sobre ellas y la aparición de lenguajes y herramientas, como Java, que soportan la migración de código entre distintas plataformas, ha puesto al CMS en un lugar relevante de tecnología informática.