A Blockchain Based Data Management System for Energy Trade

  • Mengjie ChenEmail author
  • Yuexuan Li
  • Zhuocheng Xu
  • Xin Huang
  • Wei Wang
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 11373)


A new type of energy trade called the distributed energy resource has emerged in recent years, which can bring several benefits to people. However, trust issue also appeared among governments, users and energy companies. To solve the problem, smart contract and Ethereum are used to develop a system for distributed energy trade. A smart contract is a computer protocol intended to digitally facilitate, verify, or enforce the negotiation or performance of a contract. Ethereum is one of the decentralized platforms that run smart contracts. With the usage of smart contract and Ethereum, the system is reliable and it avoids the risk of using centralized energy management system. Therefore, the purpose of this project is to develop a blockchain based data management IoT system for energy chain transaction by Ethereum and test the smart contract by communicating sequential process (CSP) which is a formal language for describing patterns of interaction in concurrent systems.


Blockchain Smart contract Energy auction CSP Ethereum 


  1. 1.
    Shi, W., Jang, I., Yoo, H.S.: A sealed-bid electronic marketplace bidding auction protocol by using ring signature. In: 2009 Fourth International Conference on Computer Sciences and Convergence Information Technology, pp. 1005–1009. IEEE, Seoul (2009)Google Scholar
  2. 2.
    Cao, G., Chen, J.: Practical electronic auction scheme based on untrusted third-party. In: Fifth International Conference on Computational and Information Sciences (ICCIS), pp. 493–496. CPS, Hubei (2013)Google Scholar
  3. 3.
    Underwood, S.: Blockchain beyond bitcoin. Commun. ACM 59, 15–17 (2016)CrossRefGoogle Scholar
  4. 4.
    Gatteschi, V., Lamberti, F., Demartini, C., Pranteda, C., Santamaría, V.: To blockchain or not to blockchain: that is the question. IT Prof. 20, 62–74 (2018)CrossRefGoogle Scholar
  5. 5.
    Hoare, C.A.R.: Communicating sequential processes. Commun. ACM 21, 666–677 (1978)CrossRefGoogle Scholar
  6. 6.
    Buterin, V.: A next-generation smart contract and decentralized application platform. White Paper (2014)Google Scholar
  7. 7.
    Lowe, Gavin: Breaking and fixing the Needham-Schroeder Public-Key Protocol using FDR. In: Margaria, Tiziana, Steffen, Bernhard (eds.) TACAS 1996. LNCS, vol. 1055, pp. 147–166. Springer, Heidelberg (1996). Scholar

Copyright information

© Springer Nature Switzerland AG 2018

Authors and Affiliations

  • Mengjie Chen
    • 1
    Email author
  • Yuexuan Li
    • 1
  • Zhuocheng Xu
    • 1
  • Xin Huang
    • 1
  • Wei Wang
    • 1
  1. 1.Department of Computer Science and Software EngineeringXi’an Jiaotong-Liverpool UniversitySuzhouPeople’s Republic of China

Personalised recommendations