| dc.creator | Kawakami | |
| dc.creator | Henrique; Ott | |
| dc.creator | David; Wong | |
| dc.creator | Hao-Chi; Dahab | |
| dc.creator | Ricardo; Gallo | |
| dc.creator | Roberto | |
| dc.date | 2016 | |
| dc.date | 2017-11-13T13:50:47Z | |
| dc.date | 2017-11-13T13:50:47Z | |
| dc.date.accessioned | 2018-03-29T06:07:18Z | |
| dc.date.available | 2018-03-29T06:07:18Z | |
| dc.identifier | 978-1-4673-8826-9 | |
| dc.identifier | Proceedings Of The 2016 Ieee International Symposium On Hardware Oriented Security And Trust (host). Ieee, p. 97 - 102, 2016. | |
| dc.identifier | WOS:000390718200018 | |
| dc.identifier | 10.1109/HST.2016.7495564 | |
| dc.identifier | http://ieeexplore.ieee.org/document/7495564/ | |
| dc.identifier | http://repositorio.unicamp.br/jspui/handle/REPOSIP/329270 | |
| dc.identifier.uri | http://repositorioslatinoamericanos.uchile.cl/handle/2250/1366295 | |
| dc.description | 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. | |
| dc.description | 97 | |
| dc.description | 102 | |
| dc.description | IEEE International Symposium on Hardware Oriented Security and Trust (HOST) | |
| dc.description | MAY 03-05, 2016 | |
| dc.description | McLean, CA | |
| dc.description | | |
| dc.language | English | |
| dc.publisher | IEEE | |
| dc.publisher | New York | |
| dc.relation | Proceedings of the 2016 IEEE International Symposium on Hardware Oriented Security and Trust (HOST) | |
| dc.rights | fechado | |
| dc.source | WOS | |
| dc.subject | Hardware Security Analysis | |
| dc.subject | Automated Security Analysis | |
| dc.subject | Assurance Cases | |
| dc.subject | Automated Tools | |
| dc.subject | Security | |
| dc.title | Acbuilder: A Tool For Hardware Architecture Security Evaluation | |
| dc.type | Actas de congresos | |
