Using Information Flow Methods to Secure Cyber-Physical Systems

Abstract : The problems involved in securing cyber-physical systems are well known to the critical infrastructure protection community. However, the diversity of cyber-physical systems means that the methods used to analyze system security must often be reinvented. The issues of securing the physical assets of a system, the electronics that control the system and the interfaces between the cyber and physical components of the system require a number of security tools. Of particular interest is preventing an attacker from exploiting nondeducibility-secure information flows to hide an attack or the source of an attack. This potentially enables the attacker to interrupt system availability.This chapter presents an algorithm that formalizes the steps taken to design and test the security of a cyber-physical system. The algorithm leverages information flow security techniques to secure physical assets, cyber assets and the boundaries between security domains.
Type de document :
Communication dans un congrès
Mason Rice; Sujeet Shenoi. 9th International Conference on Critical Infrastructure Protection (ICCIP), Mar 2015, Arlington, VA, United States. IFIP Advances in Information and Communication Technology, AICT-466, pp.185-205, 2015, Critical Infrastructure Protection IX. 〈10.1007/978-3-319-26567-4_12〉
Liste complète des métadonnées

Littérature citée [27 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01431002
Contributeur : Hal Ifip <>
Soumis le : mardi 10 janvier 2017 - 14:55:57
Dernière modification le : mercredi 11 janvier 2017 - 16:02:41
Document(s) archivé(s) le : mardi 11 avril 2017 - 15:15:04

Fichier

978-3-319-26567-4_12_Chapter.p...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Gerry Howser. Using Information Flow Methods to Secure Cyber-Physical Systems. Mason Rice; Sujeet Shenoi. 9th International Conference on Critical Infrastructure Protection (ICCIP), Mar 2015, Arlington, VA, United States. IFIP Advances in Information and Communication Technology, AICT-466, pp.185-205, 2015, Critical Infrastructure Protection IX. 〈10.1007/978-3-319-26567-4_12〉. 〈hal-01431002〉

Partager

Métriques

Consultations de la notice

85

Téléchargements de fichiers

31