An AOP-Based Fault Injection Environment for Cryptographic SystemC Designs

被引:5
|
作者
Mestiri, Hassen [1 ]
Lahbib, Younes [1 ,2 ]
Machhout, Mohsen [1 ]
Tourki, Rached [1 ]
机构
[1] Univ Monastir, Fac Sci Monastir, Elect & Microelect Lab E EL, Monastir, Tunisia
[2] Univ Carthage, Higher Sch Technol & Comp Sci ESTI, Carthage, Tunisia
关键词
Security; cryptographic models; aspect-oriented programming; fault injection attacks; fault detection schemes; SIMULATION;
D O I
10.1142/S0218126615500085
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
The increasing complexity of cryptographic devices requires fast simulation environment in order to test their security against fault attacks. SystemC is one promising candidate in Electronic System Level that allows models to reach higher simulation speed. However in order to enable both fault injection and detection inside a SystemC cryptographic models, its code modification is mandatory. Aspect-Oriented Programming (AOP), which is a new programming paradigm, can be used to test the robustness of the cryptographic models without any code modifications. This may replace real cryptanalysis schemes. In this paper, we present a new methodology to simulate the security fault attacks of cryptographic systems at the Electronic System Level. A fault injection/detection environment is proposed to test the resistance of cryptographic SystemC models against fault injection attacks. The fault injection technique into cryptographic SystemC models is performed using weaving faults by AspectC++ as an AOP programming language. We validate our methodology with two scenarios applied to a SystemC Advanced Encryption Standard case study: the first is related to the impact of the AOP on fault detection capabilities, while the second refers to the impact of the AOP on simulation time and size of the executable files. Simulation results show that this methodology can evaluate perfectly the robustness of a cryptographic design against fault injection attacks. They show that the impact of AOP on simulation time is not significant.
引用
收藏
页数:22
相关论文
共 50 条
  • [11] BlockASP: A Framework for AOP-Based Model Checking Blockchain System
    Alsobeh, Anas M. R.
    Magableh, Aws A.
    IEEE ACCESS, 2023, 11 : 115062 - 115075
  • [12] AOP-based approach for local data management in adaptive interfaces
    Sebek, Jiri
    Cerny, Tomas
    2016 6TH INTERNATIONAL CONFERENCE ON IT CONVERGENCE AND SECURITY (ICITCS 2016), 2016, : 120 - 124
  • [13] AOP-Based Monitoring Instrumentation of JBI-Compliant ESB
    Psiuk, Marek
    2009 IEEE CONGRESS ON SERVICES (SERVICES-1 2009), VOLS 1 AND 2, 2009, : 570 - 577
  • [14] AOP-Based J2EE source code protection
    Zhang, Xiufeng
    Wen, Qiaoyan
    CIS WORKSHOPS 2007: INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND SECURITY WORKSHOPS, 2007, : 581 - 584
  • [15] Research on AOP-based integration of workflow system with enterprise information systems
    Sch. of Mechanical Eng. and Automation, Beihang Univ., Beijing 100083, China
    Jisuanji Jicheng Zhizao Xitong, 2006, 3 (401-406):
  • [16] SystemC-based minimum intrusive fault injection technique with improved fault representation
    Shafik, Rishad Ahmed
    Rosinger, Paul
    Al-Hashimi, Bashir M.
    14TH IEEE INTERNATIONAL ON-LINE TESTING SYMPOSIUM, PROCEEDINGS, 2008, : 99 - 104
  • [17] Research on AOP-based Integrated Security Model about Web Services
    Yang Bin
    Li Xian-guo
    Qi Yu-dong
    Meng Fan-lei
    2011 INTERNATIONAL CONFERENCE ON FUTURE COMPUTER SCIENCE AND APPLICATION (FCSA 2011), VOL 3, 2011, : 163 - 166
  • [18] Fault injection techniques and their accelerated simulation in SystemC
    Misera, Silvio
    Vierhaus, Heinrich Theodor
    Sieber, Andre
    DSD 2007: 10TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN ARCHITECTURES, METHODS AND TOOLS, PROCEEDINGS, 2007, : 587 - 595
  • [19] Industry perspective on AOP-based toxicological approaches: From knowledge to implementation
    Kamp, Hennicke Georg
    TOXICOLOGY LETTERS, 2016, 258 : S20 - S20
  • [20] Fault Models and Injection Strategies in SystemC Specifications
    Bolchini, Cristiana
    Miele, Antonio
    Sciuto, Donatella
    11TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN - ARCHITECTURES, METHODS AND TOOLS : DSD 2008, PROCEEDINGS, 2008, : 88 - 95