An Implementation of a High Assurance Smart Meter Using Protected Module Architectures

Abstract : Due to ongoing changes in the power grid towards decentralised and highly volatile energy production, smart electricity meters are required to provide fine-grained measurement and timely remote access to consumption and production data. This enables flexible tariffing and dynamic load optimisation. As the power grid forms part of the critical infrastructure of our society, increasing the resilience of the grid’s software components against failures and attacks is vitally important.In this paper we explore the use of Protected Module Architectures (PMAs) to securely implement and deploy software for smart electricity meters. Outlining security challenges and an architectural solution in the light of security features provided by PMAs, we evaluate a proof-of-concept implementation of a security-focused smart metering scenario. Our implementation is based on Sancus, an embedded PMA for low-power microcontrollers. The evaluation of our prototype provides strong indication for the feasibility of implementing a PMA-based high assurance smart meter with a very small software Trusted Computing Base, which would be suitable for security certification and formal verification.
Type de document :
Communication dans un congrès
Sara Foresti; Javier Lopez. 10th IFIP International Conference on Information Security Theory and Practice (WISTP), Sep 2016, Heraklion, Greece. Springer International Publishing, Lecture Notes in Computer Science, LNCS-9895, pp.53-69, 2016, Information Security Theory and Practice. 〈10.1007/978-3-319-45931-8_4〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01639618
Contributeur : Hal Ifip <>
Soumis le : lundi 20 novembre 2017 - 14:54:17
Dernière modification le : lundi 20 novembre 2017 - 14:56:05
Document(s) archivé(s) le : mercredi 21 février 2018 - 16:06:19

Fichier

 Accès restreint
Fichier visible le : 2019-01-01

Connectez-vous pour demander l'accès au fichier

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Jan Mühlberg, Sara Cleemput, Mustafa Mustafa, Jo Bulck, Bart Preneel, et al.. An Implementation of a High Assurance Smart Meter Using Protected Module Architectures. Sara Foresti; Javier Lopez. 10th IFIP International Conference on Information Security Theory and Practice (WISTP), Sep 2016, Heraklion, Greece. Springer International Publishing, Lecture Notes in Computer Science, LNCS-9895, pp.53-69, 2016, Information Security Theory and Practice. 〈10.1007/978-3-319-45931-8_4〉. 〈hal-01639618〉

Partager

Métriques

Consultations de la notice

62