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

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 fuer...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Daniele, Marcelo
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2006
Materias:
Ciencias Informáticas
firma electrónica
Formal Languages
RAISE
criptografía
RSL
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/22125
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-22125
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
firma electrónica
Formal Languages
RAISE
criptografía
RSL
spellingShingle Ciencias Informáticas
firma electrónica
Formal Languages
RAISE
criptografía
RSL
Daniele, Marcelo
Especificación formal de desarrollo de un sistema de firma digital
topic_facet Ciencias Informáticas
firma electrónica
Formal Languages
RAISE
criptografía
RSL
description 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.
format Objeto de conferencia
Objeto de conferencia
author Daniele, Marcelo
author_facet Daniele, Marcelo
author_sort Daniele, Marcelo
title Especificación formal de desarrollo de un sistema de firma digital
title_short Especificación formal de desarrollo de un sistema de firma digital
title_full Especificación formal de desarrollo de un sistema de firma digital
title_fullStr Especificación formal de desarrollo de un sistema de firma digital
title_full_unstemmed Especificación formal de desarrollo de un sistema de firma digital
title_sort especificación formal de desarrollo de un sistema de firma digital
publishDate 2006
url http://sedici.unlp.edu.ar/handle/10915/22125
work_keys_str_mv AT danielemarcelo especificacionformaldedesarrollodeunsistemadefirmadigital
bdutipo_str Repositorios
_version_ 1764820465578147840

Ejemplares similares