Please use this identifier to cite or link to this item:
Type: Congresso
Title: Acbuilder: A Tool For Hardware Architecture Security Evaluation
Author: Kawakami
Henrique; Ott
David; Wong
Hao-Chi; Dahab
Ricardo; Gallo
Abstract: 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.
Subject: Hardware Security Analysis
Automated Security Analysis
Assurance Cases
Automated Tools
Editor: IEEE
New York
Citation: Proceedings Of The 2016 Ieee International Symposium On Hardware Oriented Security And Trust (host). Ieee, p. 97 - 102, 2016.
Rights: fechado
Identifier DOI: 10.1109/HST.2016.7495564
Date Issue: 2016
Appears in Collections:Unicamp - Artigos e Outros Documentos

Files in This Item:
File SizeFormat 
000390718200018.pdf340.25 kBAdobe PDFView/Open

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.