Abstract-The evolution toward emerging active distribution networks (ADNs) can be realized via a real-time state estimation (RTSE) application facilitated by the use of phasor measurement units (PMUs). A critical challenge in deploying PMU-based RTSE applications at large scale is the lack of a scalable and flexible communication infrastructure for the timely (i.e., sub-second) delivery of the high volume of synchronized and continuous synchrophasor measurements. We address this challenge by introducing a communication platform called C-DAX based on the information-centric networking (ICN) concept. With a topicbased publish-subscribe engine that decouples data producers and consumers in time and space, C-DAX enables efficient synchrophasor measurement delivery, as well as flexible and scalable (re)configuration of PMU data communication for seamless full observability of power conditions in complex and dynamic scenarios. Based on the derived set of requirements for supporting PMU-based RTSE in ADNs, we design the ICN-based C-DAX communication platform, together with a joint optimized physical network resource provisioning strategy, in order to enable the agile PMU data communications in near real-time. In this paper, C-DAX is validated via a field trial implementation deployed over a sample feeder in a real-distribution network; it is also evaluated through simulation-based experiments using a large set of real medium voltage grid topologies currently operating live in The Netherlands. This is the first work that applies emerging communication paradigms, such as ICN, to smart grids while

The C-DAX project aims at providing a secure overlay network, as an overlay over an IP network, that provides an information-centric network (ICN) tailored to the needs and the capabilities of smart grids. This paper addresses how end-to-end security can be enforced in information-centric networks by proposing a protocol based on the concept of identity-based encryption, a type of public-key cryptography.

Abstract-Inspired by the proliferation of content-centric applications in the Internet, Information-Centric Networking (ICN) has emerged as a promising networking paradigm. Focusing on the delivery of content instead of the pairwise communication between end-hosts, ICN inherently supports locationindependent content/information distribution, through the means of in-network caching and multicast; as well as mobile computing. However, so far the vast majority of ICN research efforts have mostly focused on the design of sound and scalable architectures and protocols for the current Internet application landscape. In this paper, we revisit ICN in the context of a radically different application environment of smart grids and in particular, the case of smart charging of electric vehicles. Based on a thorough description of the currently forming application environment in the Netherlands, we highlight the inefficiencies resulting from a host-centric model. We then show how ICN can address these limitations and ultimately support quality and security in such application environment. Besides qualitative benefits, our preliminary analysis also demonstrates that ICN can substantially reduce communication and security complexity, thus fostering the development and widespread adoption of the smart charging application.

No abstract

No abstract

This paper presents techniques developed to check program equivalences in the context of cryptographic software development, where specifications are typically reference implementations. The techniques allow for the integration of interactive proof techniques (required given the difficulty and generality of the results sought) in a verification infrastructure that is capable of discharging many verification conditions automatically. To this end, the difficult results in the verification process (to be proved interactively) are isolated as a set of lemmas. The fundamental notion of natural invariant is used to link the specification level and the interactive proof construction process.

Abstract-The limited scalability, reliability, and security of today's utility communication infrastructures are main obstacles for the deployment of smart grid applications. The C-DAX project aims at providing a cyber-secure publish/subscribe middleware tailored to the needs of smart grids. C-DAX provides end-to-end security, and scalable and resilient communication among participants in a smart grid. This work presents the C-DAX security architecture, and proposes different key distribution mechanisms. Security properties are defined for control plane and data plane communication, and their underlying mechanisms are explained. The presented work is partially implemented in the C-DAX prototype and will be deployed in a field trial.

We consider the functional and security requirements for the information exchanges in the infrastructure for EV charging being trialled in the Netherlands, which includes support for congestion management using the smart charging protocol OSCP. We note that current solutions do not provide true end-to-end security, even if all communication links are secured (for instance with TLS), as some data is forwarded between multiple parties. We argue that securing the data itself rather than just securing the communication links is the best way to address security needs and provide end-to-end security. Moreover, because of the number of parties involved and the fact that the precise roles of these parties are still evolving, we argue that more datacentric communication solutions, using pub/sub (publish/subscribe) middleware, may be better suited than using point-to-point communication links between all parties, given the flexibility and scalability provided by pub/sub middleware.