Please use this identifier to cite or link to this item:
Type: Artigo de periódico
Title: FORTUNA-A framework for the design and development of hardware-based secure systems
Author: Gallo, R
Kawakami, H
Dahab, R
Abstract: 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.
Subject: Hardware-based security
Information security
Formal methods for security
Security metrics
Security evaluation tool
Country: EUA
Editor: Elsevier Science Inc
Citation: Journal Of Systems And Software. Elsevier Science Inc, v. 86, n. 8, n. 2063, n. 2076, 2013.
Rights: fechado
Identifier DOI: 10.1016/j.jss.2013.03.059
Date Issue: 2013
Appears in Collections:Unicamp - Artigos e Outros Documentos

Files in This Item:
There are no files associated with this item.

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