• Citer

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

par Mühlberg, Jan Tobias ;Cleemput, Sara;Mustafa, Mustafa A.;Van Bulck, Jo;Preneel, Bart;Piessens, Frank
Référence 10th IFIP WG 11.2 International Conference, WISTP 2016(September 26–27, 2016: Heraklion, Crete, Greece), Information Security Theory and Practice, Lecture notes in computer science (9895), page (53–69)
Publication Publié, 2016

Publication dans des actes

• Détails
• Contenu

Résumé :

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.