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

dc.creatorGallo, R
dc.creatorKawakami, H
dc.creatorDahab, R
dc.date2013
dc.dateAUG
dc.date2014-07-30T17:36:57Z
dc.date2015-11-26T16:45:27Z
dc.date2014-07-30T17:36:57Z
dc.date2015-11-26T16:45:27Z
dc.date.accessioned2018-03-28T23:31:02Z
dc.date.available2018-03-28T23:31:02Z
dc.identifierJournal Of Systems And Software. Elsevier Science Inc, v. 86, n. 8, n. 2063, n. 2076, 2013.
dc.identifier0164-1212
dc.identifier1873-1228
dc.identifierWOS:000322351100007
dc.identifier10.1016/j.jss.2013.03.059
dc.identifierhttp://www.repositorio.unicamp.br/jspui/handle/REPOSIP/67079
dc.identifierhttp://repositorio.unicamp.br/jspui/handle/REPOSIP/67079
dc.identifier.urihttp://repositorioslatinoamericanos.uchile.cl/handle/2250/1274219
dc.descriptionFundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
dc.descriptionConselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)
dc.descriptionSecurity 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.
dc.description86
dc.description8
dc.description2063
dc.description2076
dc.descriptionFundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
dc.descriptionConselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)
dc.descriptionFundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
dc.descriptionConselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)
dc.languageen
dc.publisherElsevier Science Inc
dc.publisherNew York
dc.publisherEUA
dc.relationJournal Of Systems And Software
dc.relationJ. Syst. Softw.
dc.rightsfechado
dc.rightshttp://www.elsevier.com/about/open-access/open-access-policies/article-posting-policy
dc.sourceWeb of Science
dc.subjectHardware-based security
dc.subjectInformation security
dc.subjectFormal methods for security
dc.subjectSecurity metrics
dc.subjectSecurity evaluation tool
dc.subjectArchitecture
dc.subjectProcessor
dc.titleFORTUNA-A framework for the design and development of hardware-based secure systems
dc.typeArtículos de revistas


Este ítem pertenece a la siguiente institución