ACM Transactions on Computer Systems (TOCS)
Binding telecooperation---a formal model for electronic commerce
Computer Networks: The International Journal of Computer and Telecommunications Networking
Automata, Languages, and Machines
Automata, Languages, and Machines
The temporal logic of programs
SFCS '77 Proceedings of the 18th Annual Symposium on Foundations of Computer Science
On a formal framework for security properties
Computer Standards & Interfaces
Formalization of smart metering requirements
Proceedings of the International Workshop on Security and Dependability for Resource Constrained Embedded Systems
Hi-index | 0.00 |
The extended use of clean electricity in the future requires an intelligent distribution network, the so called Smart Grid. A main component of this grid are Smart Meters, which are capable of providing services like the remote readout of the actual power consumption or the remote control of loads. Modern Smart Meters are Embedded Systems, running software on a microcontroller platform. Due to adding new features or fixing errors, it is necessary to remotely update the software of Smart Meters in the field. Since Security plays a major role for critical infrastructure components like Smart Meters, a Secure Software Download mechanism is strongly needed. The German SYM2 specification for Smart Meters proposes variants for the Secure Software Download of the legally relevant modules as well as for the non-legally relevant modules. Both variants will be formally investigated and compared in regard to provided security properties using the Fraunhofer Secure Modeling Framework (SeMF). The real world system is mapped to a system model comprising all necessary actions, requirements and assumptions. It serves as a basis for the formal method reasoning. Security issues are pointed out and analysed towards possibilities for secure solutions.