Advertisement

IT Security for Measuring Instruments: Confidential Checking of Software Functionality

  • Daniel PetersEmail author
  • Artem Yurchenko
  • Wilson Melo
  • Katsuhiro Shirono
  • Takashi Usuda
  • Jean-Pierre Seifert
  • Florian Thiel
Conference paper
  • 86 Downloads
Part of the Advances in Intelligent Systems and Computing book series (AISC, volume 1129)

Abstract

Legally supervised measuring instruments, like supermarket scales or utility meters for the supply of electricity, to name just a few, need to be checked in most countries. In this regard, smart meters are a fitting example for distributed systems that need to fulfill many IT security requirements. It is of utterly importance to make sure that the functionality of these measuring devices is preserved, with the goal to enhance trust in the market, protect the consumer of fraud, and preserve privacy. Normally, legally controlled measuring devices are checked before commissioning by so-called Notified Bodies, and afterwards cyclically by market surveillance officers. The hardware is scrutinized by manually testing the sensors. This paper looks more closely at the software testing aspect and highlights how current methods can be enhanced to check correct software functionality. We describe alternatives that will pave the way to a more secure and trustworthy market, which additionally, grants more flexibility to patch software bugs without the need for recertification, as long as the core functionality of the device remains the same. In our framework the functionality checking can be done automatically, while preserving confidentiality on all ends. Based on this framework, it is no problem to allow remote displays, e.g., smartphones, or, a completely distributed measuring instrument, e.g., with many sensors in different locations connected over the Internet. Our approach is of general nature, but perhaps most interesting for smart meter infrastructures.

Keywords

Smart meters Metrology cloud Software integrity checking Homomorphic encryption Functional encryption Probabilistically checkable proofs Legal metrology Blockchain technology 

References

  1. 1.
    Esche, M., Thiel, F.: Software risk assessment for measuring instruments in legal metrology. In: FedCSIS, vol. 5, pp. 1113–1123 (2015)Google Scholar
  2. 2.
    Peters, D., Peter, M., Seifert, J.P., Thiel, F.: A secure system architecture for measuring instruments in legal metrology. Computers 4(2), 61–86 (2015)CrossRefGoogle Scholar
  3. 3.
    Armknecht, F., Boyd, C., Carr, C., Gjøsteen, K., Jäschke, A., Reuter, C.A., Strand, M.: A guide to fully homomorphic encryption. IACR Cryptology (2015)Google Scholar
  4. 4.
    Goldwasser, S., Kalai, Y.T., Popa, R.A., Vaikuntanathan, V., Zeldovich, N.: How to run turing machines on encrypted data. In: Canetti, R., Garay, J.A. (eds.) Advances in Cryptology - CRYPTO 2013, pp. 536–553. Springer, Heidelberg (2013)CrossRefGoogle Scholar
  5. 5.
    Boneh, D., Sahai, A., Waters, B.: Functional encryption: definitions and challenges. In: Ishai, Y. (ed.) Theory of Cryptography, pp. 253–273. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  6. 6.
    Iovino, V., Żebrowski, K.: Mergeable functional encryption. In: Okamoto, T., Yu, Y., Au, M.H., Li, Y. (eds.) Provable Security, pp. 434–451. Springer, Cham (2017)CrossRefGoogle Scholar
  7. 7.
    Goldwasser, S., Gordon, S.D., Goyal, V., Jain, A., Katz, J., Liu, F.H., Sahai, A., Shi, E., Zhou, H.S.: Multi-input functional encryption. In: Nguyen, P.Q., Oswald, E. (eds.) Advances in Cryptology - EUROCRYPT 2014, pp. 578–602. Springer, Heidelberg (2014)CrossRefGoogle Scholar
  8. 8.
    Nakamoto, S.: Bitcoin: a peer-to-peer electronic cash system (2008). https://bitcoin.org/bitcoin.pdf
  9. 9.
    Christidis, K., Devetsikiotis, M.: Blockchains and smart contracts for the internet of things. IEEE Access 4, 2292–2303 (2016) CrossRefGoogle Scholar
  10. 10.
    Zheng, Z., Xie, S., Dai, H.N., Wang, H.: Blockchain challenges and opportunities: a survey. Int. J. Web Grid Serv. 1–24 (2017)Google Scholar
  11. 11.
    Sousa, J., Bessani, A., Vukolić, M.: A Byzantine fault-tolerant ordering service for the hyperledger fabric blockchain platform. In: 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) (2018)Google Scholar
  12. 12.
    Vukolić, M.: Rethinking permissioned blockchains. In: Proceedings of the ACM Workshop on Blockchain, Cryptocurrencies and Contracts - BCC 2017 pp. 3–7 (2017)Google Scholar
  13. 13.
    Li, F., Luo, B.: Preserving data integrity for smart grid data aggregation. In: 2012 IEEE Third International Conference on Smart Grid Communications (SmartGridComm), pp. 366–371 (2012)Google Scholar
  14. 14.
    Traverso, G., Demirel, D., Buchmann, J.: Homomorphic Signature Schemes: A Survey, 1st edn. Springer, Heidelberg (2016)CrossRefGoogle Scholar
  15. 15.
    Thiel, F., Esche, M., Grasso Toro, F., Oppermann, A., Wetzlich, J., Peters, D.: The European metrology cloud. In: International Congress of Metrology (2017)Google Scholar
  16. 16.
    Melo Jr., W.S., Bessani, A., Neves, N., Santin, A.O., Carmo, L.F.R.C.: Using blockchains to implement distributed measuring systems. IEEE Trans. Instr. Meas. 1–12 (2019)Google Scholar
  17. 17.
    Paillier, P.: Public-key cryptosystems based on composite degree residuosity classes. In: Stern, J. (ed.) Advances in Cryptology - EUROCRYPT 1999, pp. 223–238. Springer, Heidelberg (1999)Google Scholar

Copyright information

© Springer Nature Switzerland AG 2020

Authors and Affiliations

  • Daniel Peters
    • 1
    Email author
  • Artem Yurchenko
    • 1
  • Wilson Melo
    • 2
  • Katsuhiro Shirono
    • 3
  • Takashi Usuda
    • 3
  • Jean-Pierre Seifert
    • 4
  • Florian Thiel
    • 1
  1. 1.Physikalisch-Technische Bundesanstalt (PTB)BerlinGermany
  2. 2.National Institute of Metrology (INMETRO), Quality and TechnologyRio de JaneiroBrazil
  3. 3.National Institute of Advanced Industrial Science and Technology (AIST)TsukubaJapan
  4. 4.Security in TelecommunicationsTechnical University BerlinBerlinGermany

Personalised recommendations