Automatic Vulnerability Identification and Security Installation with Type Checking for Source Code

  • Shun HinatsuEmail author
  • Koichi Shimizu
  • Takeshi Ueda
  • Benoît Boyer
  • David Mentré
Conference paper
Part of the Advances in Intelligent Systems and Computing book series (AISC, volume 1036)


Cyber security has been an important issue for control systems, however, there may be a shortage of security experts in the near future. Most of security engineering methods focus only at high-level such as architectures, and do not consider the availability of the control system. In addition, it is often difficult use them without security expertise. In this paper, the author proposed a novel method for solving this problem. The method automatically identifies vulnerabilities in a source code using a formal and static method (type-checking), and fixes them by installing security functions accordingly. Since this approach is entirely automated, it can be seamlessly used by regular engineers, i.e. without security expertise. The authors implemented the method and experimentally investigated its effectiveness on a simple example including the characteristics typical of communicating control systems.


  1. 1.
    Evans, D., Larochelle, D.: Improving security using extensible lightweight static analysis. IEEE Softw. 19(1), 42–51 (2002)CrossRefGoogle Scholar
  2. 2.
    Fekade, B., Maksymyuk, T., Kyryk, M., Jo, M.: Probabilistic recovery of incomplete sensed data in IoT. IEEE Internet Things 5(4), 2282–2292 (2017)CrossRefGoogle Scholar
  3. 3.
    Jürjens, J.: UMLsec: extending UML for secure systems development. In: International Conference on the Unified Modeling Language, pp. 412–425. Springer (2002)Google Scholar
  4. 4.
    Livshits, B., Chong, S.: Towards fully automatic placement of security sanitizers and declassifiers. ACM SIGPLAN Not. 48, 385–398 (2013)CrossRefGoogle Scholar
  5. 5.
    Lodderstedt, T., Basin, D., Doser, J.: SecureUML: a UML-based modeling language for model-driven security. In: UML 2002 - The Unified Modeling Language, pp. 426–441 (2002)CrossRefGoogle Scholar
  6. 6.
    McAfee: Hacking the skills shortage: a study of the international shortage in cybersecurity skills.
  7. 7.
    Microsoft: Microsoft Threat Modeling Tool - Microsoft Docs.
  8. 8.
    MITRE Corporation: CWE - Common Weakness Enumeration.
  9. 9.
    Moro, N., Heydemann, K., Encrenaz, E., Robisson, B.: Formal verification of a software countermeasure against instruction skip attacks. J. Cryptogr. Eng. 4(3), 145–156 (2014)CrossRefGoogle Scholar
  10. 10.
    Newsome, J., Song, D.X.: Dynamic taint analysis for automatic detection, analysis, and signature generation of exploits on commodity software. In: NDSS, vol. 5, pp. 3–4. Citeseer (2005)Google Scholar
  11. 11.
    OpenSSL Software Foundation: Cryptography and SSL/TLS - OpenSSL. EncryptInit.html
  12. 12.
    Pedroza, G., Apvrille, L., Knorreck, D.: AVATAR: a SysML environment for the formal verification of safety and security properties. In: 2011 11th Annual International Conference on New Technologies of Distributed Systems, pp. 1–10. IEEE (2011)Google Scholar
  13. 13.
    Poirier, C., Kriaa, S., Pebay-Peyroula, F., Mraidha, C., Zille, V.: A tool for I & C system architecture design: the French connexion cluster. In: International Symposium on Future I & C for Nuclear Power Plants/International Symposium on Symbiotic Nuclear Power Systems 2014, pp. 1–7 (2014)Google Scholar
  14. 14.
    Sadeghi, A.-R., Wachsmann, C., Waidner, M.: Security and privacy challenges in industrial internet of things. In: 2015 52nd ACM/EDAC/IEEE Design Automation Conference (DAC), pp. 1–6. IEEE (2015)Google Scholar
  15. 15.
    Subbrao, M.: Are Static Application Security Testing (SAST) Tools Glorified Grep?
  16. 16.
    The Clang Team: Introduction to the Clang AST - Clang 9 documentation.
  17. 17.
    Zeng, W., Chow, M.-Y.: Optimal tradeoff between performance and security in networked control systems based on coevolutionary algorithms. IEEE Trans. Ind. Electron. 59(7), 3016–3025 (2012)CrossRefGoogle Scholar

Copyright information

© Springer Nature Switzerland AG 2020

Authors and Affiliations

  • Shun Hinatsu
    • 1
    Email author
  • Koichi Shimizu
    • 1
  • Takeshi Ueda
    • 1
  • Benoît Boyer
    • 2
  • David Mentré
    • 2
  1. 1.Mitsubishi Electric CorporationKamakuraJapan
  2. 2.Mitsubishi Electric R&D Centre EuropeRennes Cedex 7France

Personalised recommendations