FORTUNA-A framework for the design and development of hardware-based secure systems

被引：0

作者：

Gallo, Roberto ^{[1
]}

Kawakami, Henrique ^{[1
]}

Dahab, Ricardo ^{[1
]}

机构：

[1] Univ Estadual Campinas, Campinas, SP, Brazil

来源：

JOURNAL OF SYSTEMS AND SOFTWARE | 2013年 / 86卷 / 08期

基金：

巴西圣保罗研究基金会;

关键词：

Hardware-based security; Information security; Formal methods for security; Security metrics; Security evaluation tool; ARCHITECTURE; PROCESSOR;

D O I：

10.1016/j.jss.2013.03.059

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

Security requires a holistic view. In this work we contribute to this goal by taking a new viewpoint, with the proposal of the logic-probabilistic framework FORTUNA to support the design and development of hardware-based-security systems (HwESS). It extends and further substantiates our ideas presented in a previous conference paper (Gallo et al., 2011). Our contributions in this article are: (a) to extend and validate FORTUNA, and (b) to illustrate its effectiveness uncovering an unreported SPARC V8 architectural security flaw. (c) 2013 Elsevier Inc. All rights reserved.

引用

页码：2063 / 2076

页数：14

共 50 条

[31] A Fault Attack on a Hardware-based Implementation of the Secure Hash Algorithm SHA-512
Shoufan, Abdulhadi
2013 INTERNATIONAL CONFERENCE ON RECONFIGURABLE COMPUTING AND FPGAS (RECONFIG), 2013,
[32] Hardware-based network management framework for monitoring and testing of system-on-chips
Laouamri, O
Aktouf, C
CONTEL 2005: PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON TELECOMMUNICATIONS, VOLS 1 AND 2, 2005, : 141 - 146
[33] An Efficient Hardware-Based Higher Radix Floating Point MAC Design
Basiri, Mohamed Asan M.
Mahammad, Noor S. K.
ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, 2014, 20 (01) : 1 - 25
[34] Anten'it: A Hardware-Based Antenna Design and Training Kit [Testing Ourselves]
Bulus, Umut
IEEE ANTENNAS AND PROPAGATION MAGAZINE, 2020, 62 (01) : 107 - 112
[35] Design principles of hardware-based Phong shading and bump-mapping
Bennebroek, K
Ernst, I
Russeler, H
Wittig, O
COMPUTERS & GRAPHICS, 1997, 21 (02) : 143 - 149
[36] Hardware-based Support Vector Machine classification in logarithmic number systems
Khan, FM
Arnold, MG
Pottenger, WM
2005 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS (ISCAS), VOLS 1-6, CONFERENCE PROCEEDINGS, 2005, : 5154 - 5157
[37] Hardware-Based Event Stream Ordering for System-Level Observation Framework
Lee, Jong Chul
Vance, Jovan
Lysecky, Roman
IEEE EMBEDDED SYSTEMS LETTERS, 2014, 6 (04) : 81 - 84
[38] A Hardware-Based Approach for Fault Detection in RTOS-Based Embedded Systems
Silva, D.
Stangherlin, K.
Bolzani, L.
Vargas, F.
2011 16TH IEEE EUROPEAN TEST SYMPOSIUM (ETS), 2011, : 209 - 209
[39] NBTI-Aware Design of Integrated Circuits: A Hardware-Based Approach
Copetti, T.
Cardoso Medeiros, G.
Bolzani Poehls, L.
Vargas, F.
2015 16TH LATIN-AMERICAN TEST SYMPOSIUM (LATS), 2015,
[40] Design of a Hardware-based Discrete Wavelet Transform Architecture for Phoneme Recognition
Cutajar, M.
Gatt, E.
Grech, I.
Casha, O.
Micallef, J.
2014 6TH INTERNATIONAL SYMPOSIUM ON COMMUNICATIONS, CONTROL AND SIGNAL PROCESSING (ISCCSP), 2014, : 554 - 557

← 1 2 3 4 5 →