Critical Infrastructures Security Modeling, Enforcement and Runtime Checking - Réseaux, Mobiles, Embarqués, Sans fil, Satellites Accéder directement au contenu
Communication Dans Un Congrès Année : 2008

Critical Infrastructures Security Modeling, Enforcement and Runtime Checking

Résumé

This paper identifies the most relevant security requirements for critical infrastructures (CIs), and according to these requirements, proposes an access control framework. The latter supports the CI security policy modeling and enforcement. Then, it proposes a runtime model checker for the interactions between the organizations forming the CIs, to verify their compliance with previously signed contracts. In this respect, not only our security framework handles secure local and remote accesses, but also audits and verifies the different interactions. In particular, remote accesses are controlled, every deviation from the signed contracts triggers an alarm and notifies the concerned parties, and audits can be used as evidence for sanctioning the party responsible for the deviation.
Fichier non déposé

Dates et versions

hal-00311680 , version 1 (20-08-2008)

Identifiants

  • HAL Id : hal-00311680 , version 1

Citer

Anas Abou El Kalam, Yves Deswarte. Critical Infrastructures Security Modeling, Enforcement and Runtime Checking. 3rd International Workshop on Critical Information Infrastructures Security, Oct 2008, Rome, Italy. pp.31, 48. ⟨hal-00311680⟩
56 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More