Hardware security and reliability verification based on fault propagation model
Large scale integrate circuits is facing serious threat such as design vulnerabilities, side channels, and hardware Trojans. Traditional functional verification method is difficult to ensure high test coverage, and it is also difficult to detect security vulnerabilities such as side channels and ste...
| Main Authors: | , , , , , |
|---|---|
| Format: | Article |
| Language: | zho |
| Published: |
EDP Sciences
2024-02-01
|
| Series: | Xibei Gongye Daxue Xuebao |
| Subjects: | |
| Online Access: | https://www.jnwpu.org/articles/jnwpu/full_html/2024/01/jnwpu2024421p92/jnwpu2024421p92.html |
| _version_ | 1797221510661799936 |
|---|---|
| author | ZHANG Xige ZHU Jiacheng MA Jun SHEN Lixiang ZHOU Jiahui MU Dejun |
| author_facet | ZHANG Xige ZHU Jiacheng MA Jun SHEN Lixiang ZHOU Jiahui MU Dejun |
| author_sort | ZHANG Xige |
| collection | DOAJ |
| description | Large scale integrate circuits is facing serious threat such as design vulnerabilities, side channels, and hardware Trojans. Traditional functional verification method is difficult to ensure high test coverage, and it is also difficult to detect security vulnerabilities such as side channels and stealthy hardware Trojans. Formal verification methods focus on the equivalence and functional correctness of design, and are difficult to meet security and reliability verification needs. The present work proposes a hardware security and reliability verification method from formal model. The present method can develop formal models for describing the security and reliability behaviour of hardware designs. It can detect potential security vulnerabilities in hardware designs. Experimental results show that the verification method is effective in detecting sensitive information leakage and modification caused by side channels and hardware Trojans. |
| first_indexed | 2024-04-24T13:06:35Z |
| format | Article |
| id | doaj.art-b1561d310b8642eda1a1477f5e18d7bc |
| institution | Directory Open Access Journal |
| issn | 1000-2758 2609-7125 |
| language | zho |
| last_indexed | 2024-04-24T13:06:35Z |
| publishDate | 2024-02-01 |
| publisher | EDP Sciences |
| record_format | Article |
| series | Xibei Gongye Daxue Xuebao |
| spelling | doaj.art-b1561d310b8642eda1a1477f5e18d7bc2024-04-05T07:31:28ZzhoEDP SciencesXibei Gongye Daxue Xuebao1000-27582609-71252024-02-01421929710.1051/jnwpu/20244210092jnwpu2024421p92Hardware security and reliability verification based on fault propagation modelZHANG Xige0ZHU Jiacheng1MA Jun2SHEN Lixiang3ZHOU Jiahui4MU Dejun5Beijing Smart-Chip Microelectronics Technology Co., Ltd.Shenzhen Research Institute of Northwestern Polytechnical UniversityBeijing Smart-Chip Microelectronics Technology Co., Ltd.Shenzhen Research Institute of Northwestern Polytechnical UniversityBeijing Smart-Chip Microelectronics Technology Co., Ltd.Shenzhen Research Institute of Northwestern Polytechnical UniversityLarge scale integrate circuits is facing serious threat such as design vulnerabilities, side channels, and hardware Trojans. Traditional functional verification method is difficult to ensure high test coverage, and it is also difficult to detect security vulnerabilities such as side channels and stealthy hardware Trojans. Formal verification methods focus on the equivalence and functional correctness of design, and are difficult to meet security and reliability verification needs. The present work proposes a hardware security and reliability verification method from formal model. The present method can develop formal models for describing the security and reliability behaviour of hardware designs. It can detect potential security vulnerabilities in hardware designs. Experimental results show that the verification method is effective in detecting sensitive information leakage and modification caused by side channels and hardware Trojans.https://www.jnwpu.org/articles/jnwpu/full_html/2024/01/jnwpu2024421p92/jnwpu2024421p92.html形式化模型故障效应分析漏洞检测硬件安全 |
| spellingShingle | ZHANG Xige ZHU Jiacheng MA Jun SHEN Lixiang ZHOU Jiahui MU Dejun Hardware security and reliability verification based on fault propagation model Xibei Gongye Daxue Xuebao 形式化模型 故障效应分析 漏洞检测 硬件安全 |
| title | Hardware security and reliability verification based on fault propagation model |
| title_full | Hardware security and reliability verification based on fault propagation model |
| title_fullStr | Hardware security and reliability verification based on fault propagation model |
| title_full_unstemmed | Hardware security and reliability verification based on fault propagation model |
| title_short | Hardware security and reliability verification based on fault propagation model |
| title_sort | hardware security and reliability verification based on fault propagation model |
| topic | 形式化模型 故障效应分析 漏洞检测 硬件安全 |
| url | https://www.jnwpu.org/articles/jnwpu/full_html/2024/01/jnwpu2024421p92/jnwpu2024421p92.html |
| work_keys_str_mv | AT zhangxige hardwaresecurityandreliabilityverificationbasedonfaultpropagationmodel AT zhujiacheng hardwaresecurityandreliabilityverificationbasedonfaultpropagationmodel AT majun hardwaresecurityandreliabilityverificationbasedonfaultpropagationmodel AT shenlixiang hardwaresecurityandreliabilityverificationbasedonfaultpropagationmodel AT zhoujiahui hardwaresecurityandreliabilityverificationbasedonfaultpropagationmodel AT mudejun hardwaresecurityandreliabilityverificationbasedonfaultpropagationmodel |