Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

Maîtrise des Correctifs de Sécurité pour les Systèmes Navals

Item request has been placed! ×
Item request cannot be made. ×
loading   Processing Request
  • Additional Information
    • Contributors:
      Process for Adaptative Software Systems (PASS); Télécom Bretagne-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4); Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA); Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes); Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes); Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA); Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS); Département informatique (INFO); Université européenne de Bretagne - European University of Brittany (UEB)-Télécom Bretagne-Institut Mines-Télécom Paris (IMT); Département Image et Traitement Information (ITI); Lab-STICC_TB_CID_SFIIS; Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Lab-STICC); Université européenne de Bretagne - European University of Brittany (UEB)-École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques (IBNM); Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom Paris (IMT)-Centre National de la Recherche Scientifique (CNRS)-Université européenne de Bretagne - European University of Brittany (UEB)-École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques (IBNM); Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom Paris (IMT)-Centre National de la Recherche Scientifique (CNRS)
    • Publication Information:
      HAL CCSD
    • Publication Date:
      2016
    • Collection:
      Université de Rennes 1: Publications scientifiques (HAL)
    • Subject Terms:
    • Abstract:
      National audience ; Un navire est un système complexe, opéré dans le but d'accomplir un ensemble de missions. Les composants d'un tel système peuvent être affectés de vulnérabilités dont l'exploitation peut avoir des conséquences sur les missions en cours. Il est donc nécessaire d'appliquer des correctifs réduisant le risque lié à ces vulnérabilités. Mais il est important de s'assurer que ces correctifs n'ont pas eux-mêmes d'impact négatif sur les missions du navire. Nous proposons, dans cet article, l'architecture d'un processus de gestion des correctifs appliqué au contexte des systèmes navals. Nous extrayons de ce processus les problématiques principales qu'il pose : la modélisation d'un système complexe, et le calcul des impacts liés aux correctifs et vulnérabilités. Nous évoquons ensuite l'intérêt de la fédération de modèles pour représenter le système naval, puis nous proposons une mesure de l'impact des correctifs et vulnérabilités sur la sûreté de fonctionnement du système, basée sur l'utilisation d'automates temporisés.
    • Online Access:
      https://hal.science/hal-01431543
      https://hal.science/hal-01431543v1/document
      https://hal.science/hal-01431543v1/file/CIEL2016_SULTAN_DAGNAT_FONTAINE.pdf
    • Rights:
      info:eu-repo/semantics/OpenAccess
    • Accession Number:
      edsbas.6BE9C2EC