Actas de congresos
Acbuilder: A Tool For Hardware Architecture Security Evaluation
Registro en:
978-1-4673-8826-9
Proceedings Of The 2016 Ieee International Symposium On Hardware Oriented Security And Trust (host). Ieee, p. 97 - 102, 2016.
WOS:000390718200018
10.1109/HST.2016.7495564
Autor
Kawakami
Henrique; Ott
David; Wong
Hao-Chi; Dahab
Ricardo; Gallo
Roberto
Institución
Resumen
In this work we propose to enable the security analysis of hardware architecture independently of its physical implementation. This will help to discover vulnerabilities and flaws in a broad range of architectures, and to identify problems before the costly process of design and manufacturing. Our approach employs Assurance Cases, proposed in [1] as a flexible methodology that builds upon Safety Case approaches used in such mission-critical industries as aerospace, nuclear power, and national defense. More specifically, in this paper we present our research on software frameworks to aid security analysts in the development of assurance cases. We describe how our research prototype, ACBuilder, can be used to model hardware architectures, apply existing analysis patterns, develop analysis rules, and generate assurance cases. We then apply the methodology to an illustrative example for evaluation, and discuss avenues for developing the software framework further. This includes opportunities for automation and enabling community-based approaches for developing reusable patterns. 97 102 IEEE International Symposium on Hardware Oriented Security and Trust (HOST) MAY 03-05, 2016 McLean, CA