1. Inicio
  2. Atrás
Título: Especificación formal de desarrollo de un sistema de firma digital
Autores: Daniele, Marcelo
Fecha: 2012-10-09
2006-10
2006-10
Publicador: Unversidad Nacional de La Plata
Fuente:

Tipo: Objeto de conferencia
Objeto de conferencia
Tema: RAISE
RSL
Formal Languages
Ciencias Informáticas
firma electrónica
criptografía
Descripción: 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.
III Workshop de Ingeniería de Software y Bases de Datos (WISBD)
Idioma: Español