MOSES

  • strict warning: Declaration of views_plugin_style_default::options() should be compatible with views_object::options() in /var/www/ines/sites/all/modules/contribute/views/plugins/views_plugin_style_default.inc on line 24.
  • strict warning: Declaration of views_handler_field_user_name::init() should be compatible with views_handler_field_user::init(&$view, $data) in /var/www/ines/sites/all/modules/contribute/views/modules/user/views_handler_field_user_name.inc on line 61.
  • strict warning: Declaration of views_handler_argument_many_to_one::init() should be compatible with views_handler_argument::init(&$view, $options) in /var/www/ines/sites/all/modules/contribute/views/handlers/views_handler_argument_many_to_one.inc on line 169.
Título proyecto: 
Plataforma Integral de desarrollo seguro con modelos (MOdel based SEcure Software development)
Resumen del Proyecto: 

Objetivos principales:
El principal objetivo de MOSES es desarrollar una plataforma integral de desarrollo de software seguro que de respuesta a las necesidades de las empresas productoras de software en cuanto a la mejora de la seguridad y confianza del producto.
MOSES desarrollará técnicas y herramientas innovadoras basadas en la utilización de modelos formales (Model Driven Architecture MDA) en dos aspectos fundamentales del desarrollo de software seguro: a) la especificación de requisitos de seguridad, y b) la detección y eliminación de las posibles vulnerabilidades.
Así mismo, MOSES contempla el diseño de un programa de certificación de software seguro, para certificar que el software ha sido creado con la tecnología MOSES y por tanto contempla requisitos de seguridad y está libre de vulnerabilidades específicas.

Temas desarrollados de la Agenda Estratégica de INES: 

1. Pilar Software
- Gestión de la complejidad (ingeniería de requisitos): Mejorar la ingeniería de requisitos de seguridad a través de su representación en modelos formales.
- Métodos y herramientas para la productividad: Plataforma integral de desarrollo de software seguro que aumenta la calidad del software mejorando el propio proceso de ingeniería del mismo.

3. Fundamentos Clave
Calidad y confiabilidad:
- Calidad de producto software: Software más seguro, cumpliendo los requisitos de seguridad y exento de vulnerabilidades.
- Calidad de procesos: Utilización de modelos formales para la especificación de requisitos de seguridad y para la detección y eliminación de vulnerabilidades.

Coordinador: 
Open Sistemas
Lista de participantes Miembros de INES: 
Otros participantes no Miembros de INES: 
IBM Rational
Narval
Grupo Betoret
Open Sistemas
Instrumento: 
Avanza
Tipo: 
b2 - Singular
Sello INES: 
Incubado
Resultado: 
CE - Estimado
Contacto
Persona de contacto: 
Erkuden Rios
E-mail: 
erkuden.rios@esi.es