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

Autores
Daniele, Marcelo
Año de publicación
2006
Idioma
español castellano
Tipo de recurso
documento de conferencia
Estado
versión publicada
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)
Red de Universidades con Carreras en Informática (RedUNCI)
Materia
Ciencias Informáticas
firma electrónica
Formal Languages
RAISE
criptografía
RSL
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/22125
Acceder
id SEDICI_116072ded083186c988d8585b1e84c21
oai_identifier_str oai:sedici.unlp.edu.ar:10915/22125
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling Especificación formal de desarrollo de un sistema de firma digitalDaniele, MarceloCiencias Informáticasfirma electrónicaFormal LanguagesRAISEcriptografíaRSLEn 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)Red de Universidades con Carreras en Informática (RedUNCI)2006-10info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdfhttp://sedici.unlp.edu.ar/handle/10915/22125spainfo:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/2.5/ar/Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-17T09:38:18Zoai:sedici.unlp.edu.ar:10915/22125Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-17 09:38:18.781SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv Especificación formal de desarrollo de un sistema de firma digital
title Especificación formal de desarrollo de un sistema de firma digital
spellingShingle Especificación formal de desarrollo de un sistema de firma digital
Daniele, Marcelo
Ciencias Informáticas
firma electrónica
Formal Languages
RAISE
criptografía
RSL
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
dc.creator.none.fl_str_mv Daniele, Marcelo
author Daniele, Marcelo
author_facet Daniele, Marcelo
author_role author
dc.subject.none.fl_str_mv Ciencias Informáticas
firma electrónica
Formal Languages
RAISE
criptografía
RSL
topic Ciencias Informáticas
firma electrónica
Formal Languages
RAISE
criptografía
RSL
dc.description.none.fl_txt_mv 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)
Red de Universidades con Carreras en Informática (RedUNCI)
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.
publishDate 2006
dc.date.none.fl_str_mv 2006-10
dc.type.none.fl_str_mv info:eu-repo/semantics/conferenceObject
info:eu-repo/semantics/publishedVersion
Objeto de conferencia
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
format conferenceObject
status_str publishedVersion
dc.identifier.none.fl_str_mv http://sedici.unlp.edu.ar/handle/10915/22125
url http://sedici.unlp.edu.ar/handle/10915/22125
dc.language.none.fl_str_mv spa
language spa
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:SEDICI (UNLP)
instname:Universidad Nacional de La Plata
instacron:UNLP
reponame_str SEDICI (UNLP)
collection SEDICI (UNLP)
instname_str Universidad Nacional de La Plata
instacron_str UNLP
institution UNLP
repository.name.fl_str_mv SEDICI (UNLP) - Universidad Nacional de La Plata
repository.mail.fl_str_mv alira@sedici.unlp.edu.ar
_version_ 1843532046718205952
score 13.001348

Publicaciones similares