Hardware Security Module Cryptosystem Using Petri Net

Authors

Billel Guechi
Badji Mokhtar University
Mohammed Redjimi
20 August 1955 University
DOI: https://doi.org/10.52549/ijeei.v11i2.4264
Download PDF
Published: 25-06-2023 • Issue: Vol. 11 No. 2: June 2023 • Section: Regular paper

Abstract

An embedded system is a combination of hardware and software designed to perform specific functions. It consists of SoCs (system on chip) that it relies on to do its computing work. A key feature of an embedded system is that it consumes less power and components occupy less space on the IC (integrated circuit) thus, the use of SoCs. Embedded system manufacturers get these SoCs from third-party companies to reduce their time to market. That would increase the possibility of the systems to be compromised. In this paper, we present a novel approach to securing such critical systems. For that, we made a Hardware Security Module (HSM), which consists of secure SoC with encrypt/decrypt engine that use Petri net for algorithm modulation to secure data flow. We ensure that the system uses genuine firmware and data is secured since we use encrypt/decrypt algorithms only known to manufacturers.
Keywords: Secure SoC; HSM; Time to market; Petri net; Encryption/Decryption System

References

Y. Zhang, "A Systematic Security Design Approach for Heterogeneous Embedded Systems," 2021 IEEE 10th Global Conference on Consumer Electronics (GCCE), pp. 500-502, 2021.

J. Rajendran, A. M. Dhandayuthapany, V. Vedula and R. Karri, "Formal Security Verification of Third Party Intellectual Property Cores for Information Leakage," 2016 29th International Conference on VLSI Design and 2016 15th International Conference on Embedded Systems (VLSID), pp. 547-552, 2016.

B. Guechi, & M. Redjimi, "Hardware Trojan Detection in Heterogeneous Systems on Chip". In Innovations in Smart Cities Applications Volume 4: The Proceedings of the 5th International Conference on Smart City Applications (pp. 1105-1116). Springer International Publishing, 2021.

C. Lesjak, H. Bock, D. Hein and M. Maritsch, "Hardware-secured and transparent multi-stakeholder data exchange for industrial IoT," 2016 IEEE 14th International Conference on Industrial Informatics (INDIN), pp. 706-713, 2016.

R. Kloibhofer, E. kristen and L. Davoli "LoRaWAN with HSM as a security improvement for agriculture applications." In: International Conference on Computer Safety, Reliability, and Security. Springer, Cham, pp. 176-188, 2020.

M. Canim, M. Kantarcioglu and B. Malin, "Secure Management of Biomedical Data With Cryptographic Hardware," in IEEE Transactions on Information Technology in Biomedicine, vol. 16, no.1,pp. 166-175,2012.

M. Lorch, J. Basney and D. Kafura, "A hardware-secured credential repository for Grid PKIs," IEEE International Symposium on Cluster Computing and the Grid, pp. 640-647, 2004.

R. Abdulwahid Albeer, H. A. Lafta, and H. Karim, "Key Stream Cipher Based on Coloured Petri Nets" in The 9th International Conference on Applied Science and Technology (ICAST 2021),pp. 1-8,2022.

M.I. Mary Metilda, D. Lalitha, S. Vaithyasubramanian,"Password generation using array generating interval timed colored Petri net (AGITCPN) for effective security" Theoretical Computer Science,Vol. 929,pp. 114-123,2022.

M. Malenko, L. B. Ribeiro, and M. Baunach. "Improving security and maintainability in modular embedded systems with hardware support: work-in-progress". In Proceedings of the 2021 International Conference on Hardware/Software Codesign and System Synthesis (CODES/ISSS '21). Association for Computing Machinery, New York, NY, USA, pp. 35–36, 2021.

J. Haj-Yahya, M. M. Wong, V. Pudi, S. Bhasin and A. Chattopadhyay, "Lightweight Secure-Boot Architecture for RISC-V System-on-Chip," 20th International Symposium on Quality Electronic Design (ISQED), pp. 216-223, 2019.

A. Rodrigues, J. C. Resende and R. chaves. "SmartFusion2 SoC as a Security Module for the IoT world". In 19th ACM International Conference on Computing Frontiers (CF’22), Torino, Italy, pp.1-9, 2022.

N. Zupan, P. Kasinathan, J. Cuellar, and M. Sauer, "Secure Smart Contract Generation Based on Petri Nets," in Blockchain Technology for Industry 4.0,Springer,2020.

Author Biographies

Billel Guechi

Billel Guechi received Masters degree in Embedded Systems from Badji Mokhtar University, Algeria in 2018. Currently Phd student in embedded systems and Software Developer. Research interests include: power management in embedded systems, security in embedded systems, embedded system design…

Mohammed Redjimi
Mohammed Redjimi is full professor of computer science at Université 20 Août 1955, Skikda – Algeria. He received his PhD degree from the Université des sciences et Techniques de Lille1 – France in 1984. He received the Habilitation Universitaire degree from The University Badji Mokhtar of Annaba – Algeria In 2007. He was Head of computer science department and Dean of Engineering and Sciences Faculty at Université 20 Août 1955, Skikda – Algeria. He is reviewer in several international journals and conferences. He is currently the head of the team: modeling and simulation of complex systems at the “Computer science and Communication†Laboratoiry (LICUS) and director of this research laboratory at Université 20 Août 1955, Skikda – Algeria. His present research domains include modelling and simulation ( SMA concepts and platforms and DEVS formalisms) and Wireless Sensors Networks (WSNs).

How to Cite

[1]
B. Guechi and M. Redjimi, “Hardware Security Module Cryptosystem Using Petri Net”, IJEEI, vol. 11, no. 2, pp. 494–502, Jun. 2023, doi: 10.52549/ijeei.v11i2.4264.