Privacy Preserving and Collusion Resistant Energy Sharing

11/01/2017 ∙ by Yuan Hong, et al. ∙ Illinois Institute of Technology 0

Energy has been increasingly generated or collected by different entities on the power grid (e.g., universities, hospitals and householdes) via solar panels, wind turbines or local generators in the past decade. With local energy, such electricity consumers can be considered as "microgrids" which can simulataneously generate and consume energy. Some microgrids may have excessive energy that can be shared to other power consumers on the grid. To this end, all the entities have to share their local private information (e.g., their local demand, local supply and power quality data) to each other or a third-party to find and implement the optimal energy sharing solution. However, such process is constrained by privacy concerns raised by the microgrids. In this paper, we propose a privacy preserving scheme for all the microgrids which can securely implement their energy sharing against both semi-honest and colluding adversaries. The proposed approach includes two secure communication protocols that can ensure quantified privacy leakage and handle collusions.

READ FULL TEXT VIEW PDF
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.

1 Introduction

Energy has been increasingly generated or collected by different entities on the power grid (e.g., universities, hospitals and householdes) via solar panels, wind turbines or local generators in the past decade. With local energy, such electricity consumers can be considered as “microgrids” which can simulataneously generate and consume energy [20, 1]. More recently, the research on cooperation among entities on the power grid (e.g., microgrids) has attracted great interests in both industry and academia [20]. For instance, microgrids can share their local energy to improve the efficiency and resilience of power supply [6].

Specifically, microgrids can transmit their excessive energy to the microgrids close to them. In the cooperation, all the participating microgrids jointly seek an energy transmission assignment that minimizes the global energy loss during transmission. However, to this end, all the microgrids should disclose their local information (e.g., local supply, local demand, and power quality for transmission) to each other or a third party. Then, the data recipient (which is a microgrid or a third party) formulates an optimization problem by denoting the amount of energy transmitted from to as and determining the objective function as well as the constraints.

Disclosing such local information to each other or a third party would compromise the corresponding microgrid’s local information. To tackle the privacy concerns, the proposed approach in [6] efficiently transforms the shares of the optimization problem to a privacy-complaint format and enables any party to solve the problem. However, the algorithms in [6] pursue high efficiency but cannot quantify the privacy leakage in the protocol. In this paper, we extend the transformation and optimal solution reconstruction to two secure communication protocols in which privacy leakage can be quantified and bounded. In the meanwhile, we give formal security/privacy analysis for the protocols and identify that our proposed secure communication protocols can prevent additional information leakage against the potential collusion among microgrids while executing the protocols. Finally, we present some experimental results to demonstrate the effectiveness and efficiency of our approach.

2 Related Work

In smart grid infrastructure, privacy concerns were recently raised in the fine-grained smart meter readings, which is frequently reported to the utility [21, 7, 3]. To prevent information leakage in smart metering, three different categories of privacy preserving schemes were proposed in the past few years. The first category of techniques built cryptographic protocols to directly aggregate or analyze such meter readings without sharing the raw data. For instance, Rottondi et al. [19] proposed a privacy preserving infrastructure based on cryptographic primitives to enable utilities and data consumers to collect and aggregate metering data. The second category of techniques obfuscate the meter readings to prevent adversaries from learning the status of the appliances at different times. For instance, Hong et al. [7] defined a privacy notion to quantitatively bound the information leakage in smart meter readings, and proposed streaming algorithms for converting the readings with guaranteed output utility. Finally, the third category of techniques utilize renewable energy sources like batteries to hide the actual load of different households, which can be found in [17], [22], etc.

Furthermore, energy sharing problem among microgrids [20, 24] has been recently studied – locally generated energy can be shared among homes due to the mismatch between generation harvesting and consumption time in microgrids. Zhu et al. [24] developed an energy sharing approach to determine which homes should share energy, and when to minimize system-wide efficiency loss. Zhu et al. [25] also proposed a secure energy routing approach to renewable energy sharing against security attacks such as spoofed routing signaling and fabricated routing messages. Also, some game theoretical models [20, 16, 2] were proposed to mitigate the risks of self-interested behaviors in the energy sharing/exchange. So far, Hong et al. [6] is the only work that resolves the privacy issues in energy sharing/exchange. The proposed scheme can provide some ad-hoc privacy guarantee based on matrix multiplication. Instead, we extend the approach in [6] to ensure provable security.

3 Preliminaries

In this section, we briefly summarize the problem formulation, transformation and solution reconstruction in [6]. Note that the formulations of three optimization problems in [6] are similar, which can be securely transformed and solved using the same secure communication problem. Thus, we only focus on the basic formulation.

3.1 Problem Formulation

Given microgrids , the demand and supply of at time is denoted as and , respectively. Then, given as the amount of energy transmitted from to , the optimization (LP) problem to minimize the overall energy delivery loss in the sharing is formulated as follows.

(1)

where represents the energy loss rate for transmission between and , which is determined by the distance between them on the power transmission network and the power quality data, such as voltage and current. , and are privately held by microgrid . The general form of Equation 1 can be derived as below:

(2)

where represents ’s variables , which is privately held by

. Matrices/vectors

, , and are ’s private inputs in the LP problem.

3.2 Transformation

The above LP problem is heterogeneously partitioned into shares – global constraints are co-held by all the parties (vertically partitioned [10, 12, 5]) while each constraint belongs to only one party (horizontally partitioned [8, 13, 11]). To ensure privacy protection in solving and realizing the above problem, a transformation-based approach [6] was proposed:

(3)

where each party locally post-multiplies its shares (i.e., , and ) in the LP problem by an random nonnegative monomial matrix [10] which is privately generated by itself, and variables in the new problem correspond to . Then, can be disclosed to other parties.

Note that the righthand side values are also transformed to random numbers in [6], and we still keep such transformation. Thus, we will focus on the security/privacy improvement on the transformation in Equation 3.

3.3 Reconstruction

In [6], after solving the transformed problem to obtain the optimal solution , the solver (any party or an external party, e.g., the cloud) distributes the solution shares to the corresponding parties. Then, the optimal solution of the original problem can be locally reconstructed as: [6, 9, 10]. The solver and other parties cannot learn the details of , , since is unknown to them.

4 Extended Transformation

With the transformation in [6], each party’s share of problem cannot be learnt by other untrusted parties, even if the transformed shares are disclosed to them. However, the information leakage in the communication protocol cannot be quantified. We now extend it to a more secured transformation based on Homomorphic cryptosystem (e.g., Paillier [18]).111Homomorphic cryptosystem is a semantically-secure public key encryption with an additional property to generate the ciphertext of an arithemetic operation between two plaintexts by other operations between their individual ciphertexts. For instance, two encryptions and , there exists operations *, such that where * is either addition or mutiplication (in some abelian group).

4.1 Overview

The basic idea of the extended transformation is described as follows. For any party ’s shares in the LP problem , and , we let all the parties jointly transform such shares (via Homomorphic Encryption) in sequence – while transforming ’s shares, party locally generates a new random nonnegative monomial matrix , and post-multiplies it to each of the three transformed shares (by the previous party). In case that holds, post-multiplies its own shares by its own matrix . Similarly, all the parties jointly reconstruct every share of the optimal solution by pre-multiplying their matrices in a reverse order (also via Homomorphic Encryption).

4.2 Extended Secure Transformation

Without loss of generality, we let an external party (e.g., the cloud) solve the transformed problem. In the extended secure transformation protocol, generates the public/private key pair , and distributes the public key to . Since the transformation for and are identical [6], we can take as an example to illustrate our secure transformation protocol in Algorithm 1.

1:  for  do
2:      randomly generates
3:      encrypts with to generate , and sends to the next party in Line 4
4:     for  do
5:          randomly generates
6:          updates with (Line 7-9: denotes the entry at row and column in , and denotes the entry at row and column in )
7:         for each row of and each column of  do
8:             computes
9:         end for
10:          sends the updated to the next party
11:     end for
12:     the last party sends to the solver
13:      decrypts to obtain:
14:  end for
Algorithm 1 Extended Secure Transformation

After decrypting all the ciphertexts, solver can forumate a new LP problem with the transformed shares:

(4)

Then, can solve the new LP problem and distribute the solution share to , which securely reconstructs its solution share in the original problem with all the other parties.

4.3 Secure Reconstruction

Following the proof in [6, 10], the optimal solution in the original problem can be reconstructed as below:

(5)

As a result, all the parties should jointly reconstruct each solution share. Then, we present the secure communication protocol for the optimal solution reconstruction in Algorithm 2.

1:  for  do
2:      generates a public/private key pair and sends the public key to all the other parties
3:      encrypts with to generate , and sends to the next party in Line 4
4:     for  do
5:          updates with (Line 6-8: denotes the th entry in )
6:         for each row of  do
7:             computes
8:         end for
9:          sends the updated to the next party
10:     end for
11:     the last party sends to
12:      decrypts to obtain:
13:      reconstructs its share in the original optimal solution (pre-multiplying by )
14:  end for
Algorithm 2 Secure Reconstruction

Finally, in the optimal energy sharing, each party can locally route the energy amount to the recipient (note that if holds).

4.4 Privacy Preservation and Collusion Resistance

Privacy. We now analyze the privacy leakage of the two protocols. For both extended secure transformation and secure reconstruction, there is no privacy leakage while executing the protocol under the definition of secure multiparty computation [23, 4] (all the messages received by all the parties can be simulated in polynomial time by repeating the protocols). Therefore, private inputs (e.g., demand, supply, and power quality of each party) can be protected.

On the other hand, the information leakage in the outputs can be quantified:

  • The solver only learns the transformed optimization problem (the obfuscated shares of each party and the corresponding optimal solution).

  • Each party only knows its share in the optimal solution, e.g., how much energy transmitted from itself to the energy recipient in the global optimal sharing.

Handling Collusions. The two protocols can also effectively handle potential collusions while solving the problem. None of those parties knows the actual overall transformation (aka. a combination of transformations), since each of is privately generated as a random nonnegative monomial matrix by (for transforming ’s shares). As a consequence, the solution reconstruction cannot be completed if any party is absent (missing ). Therefore, any number of microgrids (less than ) cannot collude with each other to infer private information from other honest microgrids while executing the protocol. The collusion resistant feature provided by the two protocols is equivalent to a trusted-third party.

5 Experiments

We have evaluated the performance of our revised secure transformation protocol and secure reconstruction protocol using two different key length (512-bit and 1024-bit) and varying number of parties (from 20 to 500). The computational costs of two protocols are plotted in Figure 1. To significantly improve the security/privacy (provable), the protocols take longer time compare to [6], and such computational costs are still tolerable with an polynomial increasing trend as the number of parties increase.

Figure 1: Computational Costs

In addition, we present the communication overheads of the two protocols per party in Table 1. As the number of parties increase, the average bandwidth consumption (size of the transmitted messages) of the extended secure communication protocol and secure reconstruction protocol also grow polynomially. Therefore, the two protocols can be implemented in most of the current networking environment.

Number of Parties ExtSecTransform SecReconstruction
20 0.00904 MB 0.0004 MB
40 0.0761 MB 0.0019 MB
60 0.261 MB 0.0045 MB
80 0.624 MB 0.0078 MB
100 1.23 MB 0.014 MB
200 9.96 MB 0.051 MB
300 33.5 MB 0.112 MB
400 79.6 MB 0.119 MB
500 155.6 MB 0.312 MB
Table 1: Communication Overheads

6 Conclusion and Future work

In this paper, we have extended the secure transformation and solution reconstruction in [6] to ensure provable security for securely solving the energy sharing optimization problem and implementing the optimal solution on the power transmission network. Novel secure communication protocols were proposed for all the parties to jointly transform their individual shares of the optimization problem, and jointly reconstruct their own shares in the optimal solution of the original problem. In the meanwhile, collusions can be handled with the secure communication protocols. In case that some parties disclose information to each other so as to learn other parties’ private information, they cannot learn the actual transformation and reconstruction as long as at least one party is not colluding with them.

In the future, we will investigate other privacy preserving cooperative models among entities with local energy (viz. microgrids) on the power grid. For instance, global and local load balancing can be manipulated and further optimized via the cooperation among microgrids (e.g., scheduling [14, 15]). We intend to propose a privacy preserving cooperative model for them to jointly improving the global and local performance of the power generation, supply, storage and consumption.

Acknowledgments

This work is partially supported by the National Science Foundation under Grants No. CNS-1618221/1745894.

References

  • [1] P. Arboleya, C. Gonzalez-Moran, M. Coto, M. C. Falvo, L. Martirano, D. Sbordone, I. Bertini, and B. D. Pietra. Efficient energy management in smart micro-grids: ZERO grid impact buildings. IEEE Trans. Smart Grid, 6(2):1055–1063, 2015.
  • [2] R. Duan and G. Deconinck. Multi-agent coordination in market environment for future electricity infrastructure based on microgrids. In SMC, pages 3959–3964, 2009.
  • [3] S. Goel and Y. Hong. Security challenges in smart grid implementation. SpringerBriefs in Cybersecurity, pages 1–39, 2015.
  • [4] O. Goldreich, S. Micali, and A. Wigderson. How to play any mental game - a completeness theorem for protocols with honest majority. In

    Proceedings of the 19th ACM Symposium on the Theory of Computing

    , pages 218–229, New York, NY, 1987. ACM.
  • [5] Y. Hong. Privacy-preserving Collaborative Optimization. PhD thesis, Rutgers University, Newark, NJ, 2013.
  • [6] Y. Hong, S. Goel, and W. M. Liu. An efficient and privacy-preserving scheme for p2p energy exchange among smart microgrids. International Journal of Energy Research, 40(3):313–331, 2016.
  • [7] Y. Hong, W. M. Liu, and L. Wang. Privacy preserving smart meter streaming against information leakage of appliance status. IEEE Trans. Information Forensics and Security, 12(9):2227–2241, 2017.
  • [8] Y. Hong and J. Vaidya.

    An inference-proof approach to privacy-preserving horizontally partitioned linear programs.

    Optimization Letters, 8(1):267–277, 2014.
  • [9] Y. Hong, J. Vaidya, and H. Lu. Efficient distributed linear programming with limited disclosure. In DBSec, pages 170–185, 2011.
  • [10] Y. Hong, J. Vaidya, and H. Lu. Secure and efficient distributed linear programming. Journal of Computer Security, 20(5):583–634, 2012.
  • [11] Y. Hong, J. Vaidya, H. Lu, P. Karras, and S. Goel. Collaborative search log sanitization: Toward differential privacy and boosted utility. IEEE Trans. Dependable Sec. Comput., 12(5):504–518, 2015.
  • [12] Y. Hong, J. Vaidya, H. Lu, and L. Wang. Collaboratively solving the traveling salesman problem with limited disclosure. In DBSec, pages 179–194, 2014.
  • [13] Y. Hong, J. Vaidya, and S. Wang. A survey of privacy-aware supply chain collaboration: From theory to applications. Journal of Information Systems, 28(1):243–268, 2014.
  • [14] Y. Hong, S. Wang, and Z. Huang. Efficient energy consumption scheduling: Towards effective load leveling. Energies, 10(1), 2017.
  • [15] F. Liu, S. Wang, Y. Hong, and X. Yue. On the robust and stable flowshop scheduling under stochastic and dynamic disruptions. IEEE Transactions on Engineering Management, PP(99):1–15, 2017.
  • [16] I. Maity and S. Rao. Simulation and pricing mechanism analysis of a solar-powered electrical microgrid. IEEE Systems Journal, 4(3):275–284, 2010.
  • [17] S. E. McLaughlin, P. McDaniel, and W. Aiello. Protecting consumer privacy from electric load monitoring. In ACM Conference on Computer and Communications Security, pages 87–98, 2011.
  • [18] P. Paillier. Public key cryptosystems based on composite degree residuosity classes. In Advances in Cryptology - Eurocrypt ’99 Proceedings, LNCS 1592, pages 223–238, 1999.
  • [19] C. Rottondi, G. Verticale, and A. Capone. Privacy-preserving smart metering with multiple data consumers. Computer Networks, 57(7):1699–1713, 2013.
  • [20] W. Saad, Z. Han, H. V. Poor, and T. Basar. Game-theoretic methods for the smart grid: An overview of microgrid systems, demand-side management, and smart grid communications. IEEE Signal Process. Mag., 29(5):86–105, 2012.
  • [21] L. Sankar, S. R. Rajagopalan, S. Mohajer, and H. V. Poor. Smart meter privacy: A theoretical framework. IEEE Trans. Smart Grid, 4(2):837–846, 2013.
  • [22] W. Yang, N. Li, Y. Qi, W. H. Qardaji, S. E. McLaughlin, and P. McDaniel. Minimizing private data disclosures in the smart grid. In ACM Conference on Computer and Communications Security, pages 415–427, 2012.
  • [23] A. C. Yao. How to generate and exchange secrets. In Proceedings of the 27th IEEE Symposium on Foundations of Computer Science, pages 162–167, Los Alamitos, CA, USA, 1986. IEEE, IEEE Computer Society.
  • [24] T. Zhu, Z. Huang, A. Sharma, J. Su, D. E. Irwin, A. K. Mishra, D. S. Menasché, and P. J. Shenoy. Sharing renewable energy in smart microgrids. In ACM/IEEE 4th International Conference on Cyber-Physical Systems, pages 219–228, 2013.
  • [25] T. Zhu, S. Xiao, Y. Ping, D. Towsley, and W. Gong. A secure energy routing mechanism for sharing renewable energy in smart microgrid. In SmartGridComm, pages 143–148, 2011.