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 条
  • [1] FORTUNA - A probabilistic framework for early design stages of hardware-based secure systems
    Gallo R.
    Kawakami H.
    Dahab R.
    Proceedings - 2011 5th International Conference on Network and System Security, NSS 2011, 2011, : 184 - 191
  • [2] A Hardware-based Framework for Secure Firmware Updates on Embedded Systems
    Falas, Solon
    Konstantinou, Charalambos
    Michael, Maria K.
    2019 IFIP/IEEE 27TH INTERNATIONAL CONFERENCE ON VERY LARGE SCALE INTEGRATION (VLSI-SOC), 2019, : 198 - 203
  • [3] Design and Implementation of Hardware-Based Remote Attestation for a Secure Internet of Things
    Ahn, Jaehwan
    Lee, Il-Gu
    Kim, Myungchul
    WIRELESS PERSONAL COMMUNICATIONS, 2020, 114 (01) : 295 - 327
  • [4] Design and Implementation of Hardware-Based Remote Attestation for a Secure Internet of Things
    Jaehwan Ahn
    Il-Gu Lee
    Myungchul Kim
    Wireless Personal Communications, 2020, 114 : 295 - 327
  • [5] Secure production within the iiot - hardware-based security solutions protect data and systems
    Pollmann M.
    Pollmann, Malte, 1600, Carl Hanser Verlag (112): : 257 - 260
  • [6] A Framework for Hardware-Based DVFS Management in Multicore Mixed-Criticality Systems
    Haririan, Parham
    Garcia-Ortiz, Alberto
    2015 10TH INTERNATIONAL SYMPOSIUM ON RECONFIGURABLE COMMUNICATION-CENTRIC SYSTEMS-ON-CHIP (RECOSOC), 2015,
  • [7] A DSP hardware-based laboratory for signals and systems
    Huettel, Lisa G.
    2006 IEEE 12th Digital Signal Processing Workshop & 4th IEEE Signal Processing Education Workshop, Vols 1 and 2, 2006, : 456 - 459
  • [8] Security Primitives for Reconfigurable Hardware-Based Systems
    Huffmire, Ted
    Levin, Timothy
    Thuy Nguyen
    Irvine, Cynthia
    Brotherton, Brett
    Wang, Gang
    Sherwood, Timothy
    Kastner, Ryan
    ACM TRANSACTIONS ON RECONFIGURABLE TECHNOLOGY AND SYSTEMS, 2010, 3 (02)
  • [9] Development of hardware-based FDTD solvers: An analysis of design strategies and implementation results
    Durbano, JP
    Ortiz, FE
    Humphrey, JR
    Prather, DW
    Mirotznik, MS
    7TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL XI, PROCEEDINGS: COMMUNICATION, NETWORK AND CONTROL SYSTEMS, TECHNOLOGIES AND APPLICATIONS: II, 2003, : 5 - 8
  • [10] Supporting Trusted Virtual Machines with Hardware-Based Secure Remote Memory
    Heo, Taekyung
    Kang, Seunghyo
    Lee, Sanghyeon
    Hwang, Soojin
    Park, Joongun
    Huh, Jaehyuk
    PROCEEDINGS OF THE 2024 ACM SIGPLAN INTERNATIONAL SYMPOSIUM ON MEMORY MANAGEMENT, ISMM 2024, 2024, : 43 - 56
12345