Especificación formal de desarrollo de un sistema de firma digital

Abstract

En el presente trabajo se muestra una propuesta de construcción de un software de Firma Digital valiéndose de métodos formales de especificación y desarrollo. Se utiliza para la construcción de la propuesta el Lenguaje de Especificación RAISE (RSL), que es un lenguaje modular y formal, con una fuerte base matemática, suficiente como para soportar la definición precisa de requerimientos de software y un verdadero desarrollo de definiciones propias para implementaciones ejecutables. Se comienza por establecer una introducción a la tecnología de Firma Digital, y el estado actual de su utilización en la región, y aspectos legales que se desprenden de ella. La propuesta continúa por introducir las herramientas matemáticas relacionadas con la Firma Digital, mencionando conceptos de criptografía y criptoanálisis. El trabajo concluye con una propuesta basada en los requerimientos legales y específicos a Firma Digital, definiendo una arquitectura de construcción formal en lenguaje RAISE. Con este trabajo se pretende que el lector tenga una idea del estado actual del arte con respecto a la tecnología de Firma Digital y comprenda la importancia que ésta posee en la protección de documentación electrónica.