CASANET: diseño y análisis de protocolos de seguridad

Universidad de Málaga (España)

• Autor: Isaac Agudo Ruiz
• Fecha: Junio de 2003
• Formato: PDF (11 páginas)
• Ponencia presentada en el Segundo Congreso de Comercio Electrónico CSE '03, celebrado en junio de 2003 en Barcelona, España.
• Resumen: El objetivo de CASENET es desarrollar e implementar un marco de trabajo y unas herramientas para la especificación, diseñoo y análisis sistemático de las transacciones que se realizan en las aplicaciones de comercio y gobierno electrónico. Con todo esto se pretende, no sólo producir protocolos de comunicación seguros, sino fundamentarlos en un formalismo que respalde y garantize la seguridad de dichos protocolos. Como punto final se contempla también la generación de código haciendo uso de estas herramientas.
  Las metodologías y herramientas desarrolladas permitirán al diseñador de una aplicación de comercio o gobierno electrónico generar una especificación formal del protocolo con las propiedades de seguridad pertinentes; también se podrán usar para analizar protocolos ya existentes. Después de un análisis exitoso, estas herramientas y metodologías serán útiles para transformar esa especificación formal en el código final, generar baterías de pruebas para testear el código con respecto a los requerimientos iniciales y servicios de auditoría en tiempo real para comprobar que los participantes del protocolo se comportan de acuerdo a la descripción del protocolo.
  Actas editadas por la Fundación DINTEL.

CASANET: diseño y análisis de protocolos de seguridad  


Para mayor información, contacte vía e-mail con el autor: isaacATlcc.uma.es.

IMPORTANTE: CriptoRed no se hace responsable del contenido de este documento, siendo dicha responsabilidad exclusivamente del o los autores y, en su caso, del tutor del trabajo.