{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T19:44:45Z","timestamp":1729626285232,"version":"3.28.0"},"reference-count":28,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,9]]},"DOI":"10.1109\/icnss.2011.6059999","type":"proceedings-article","created":{"date-parts":[[2011,11,1]],"date-time":"2011-11-01T20:59:24Z","timestamp":1320181164000},"page":"184-191","source":"Crossref","is-referenced-by-count":3,"title":["FORTUNA - A probabilistic framework for early design stages of hardware-based secure systems"],"prefix":"10.1109","author":[{"given":"Roberto","family":"Gallo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Henrique","family":"Kawakami","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ricardo","family":"Dahab","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1109\/TSE.2010.60"},{"year":"1999","author":"schneier","article-title":"Attack trees","key":"ref11"},{"year":"2007","author":"swaminathan","article-title":"Agile overview","key":"ref12"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1145\/1719030.1719036"},{"key":"ref14","doi-asserted-by":"crossref","DOI":"10.1609\/aaai.v24i1.7755","article-title":"DTProbLog: A decision-theoretic probabilistic prolog","author":"van den broeck","year":"2010","journal-title":"Proceedings of the 2004 AAAI Conference on Artificial Intelligence (AAAI)"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1109\/ISCA.2005.14"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.1109\/MDT.2007.179"},{"key":"ref17","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1007\/3-540-44577-3_6","article-title":"A language-based approach to security","author":"schneider","year":"2001","journal-title":"Informatics Springer"},{"key":"ref18","article-title":"Security Observance throughout the Life-Cycle of Embedded Systems","author":"mirjalili","year":"2008","journal-title":"Embedded Systems Conferences"},{"doi-asserted-by":"publisher","key":"ref19","DOI":"10.1109\/DATE.2003.1253720"},{"key":"ref28","first-page":"365","author":"joye","year":"2009","journal-title":"Basics of Side-Channel Analysis"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1145\/1920261.1920318"},{"key":"ref27","first-page":"13","article-title":"Copilot - a coprocessor-based kernel runtime integrity monitor","volume":"13","author":"petroni","year":"2004"},{"key":"ref3","first-page":"140","article-title":"Security requirements for cryptographic modules, Federal Information Processing Standards Publication (FIPS PUB)","year":"2002","journal-title":"NIST"},{"key":"ref6","first-page":"580","article-title":"Automatic test program generation for pipelined processors","author":"iwashita","year":"1994","journal-title":"Proceedings of the 1994 IEEE-ACM international conference on Computer-aided design ser ICCAD 94"},{"key":"ref5","first-page":"274","article-title":"Mechanical mathematical methods for microprocessor verification","volume":"3114","author":"hunt","year":"2004","journal-title":"Computer Aided Verification Ser"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1109\/SP.2008.24","article-title":"Lares: An architecture for secure active monitoring using virtualization","author":"payne","year":"2008","journal-title":"Proceedings of the 2008 IEEE Symposium on Security and Privacy"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1007\/978-3-540-27813-9_3"},{"year":"2009","article-title":"Common criteria for information technology security evaluation v3.1 revision","key":"ref2"},{"key":"ref9","article-title":"Computer security strength & risk: A quantitative approach","author":"schechter","year":"2004","journal-title":"Ph D Dissertation"},{"key":"ref1","article-title":"On device identity establishment and verification","author":"gallo","year":"2009","journal-title":"Proc of EuroPKI'09 Sixth European Workshop on Public Key Services Applications and Infrastructures"},{"key":"ref20","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1007\/978-3-540-70567-3_22","article-title":"An attack graph-based probabilistic security metric","volume":"5094","author":"wang","year":"2008","journal-title":"Data and Applications Security XXII ser Lecture Notes in Computer Science"},{"key":"ref22","first-page":"23","article-title":"Certifying program execution with secure processors","author":"chen","year":"2003","journal-title":"HOTOS'03 Proceedings of the 9th Conference on Hot Topics in Operating Systems"},{"doi-asserted-by":"publisher","key":"ref21","DOI":"10.1109\/2.955100"},{"doi-asserted-by":"publisher","key":"ref24","DOI":"10.1007\/978-3-540-85893-5_10"},{"year":"2011","journal-title":"Trusted Platform Module Main Description Level 2 version 1 2 revision 116","key":"ref23"},{"key":"ref26","article-title":"CuPIDS: increasing information system security through the use of dedicated co-processing","author":"williams","year":"2005","journal-title":"Ph D Dissertation"},{"doi-asserted-by":"publisher","key":"ref25","DOI":"10.1147\/rd.515.0521"}],"event":{"name":"2011 5th International Conference on Network and System Security (NSS)","start":{"date-parts":[[2011,9,6]]},"location":"Milan, Italy","end":{"date-parts":[[2011,9,8]]}},"container-title":["2011 5th International Conference on Network and System Security"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6044613\/6059944\/06059999.pdf?arnumber=6059999","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,14]],"date-time":"2024-04-14T08:26:22Z","timestamp":1713083182000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6059999\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,9]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/icnss.2011.6059999","relation":{},"subject":[],"published":{"date-parts":[[2011,9]]}}}