{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T21:17:36Z","timestamp":1726003056083},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030028060"},{"type":"electronic","value":"9783030028077"}],"license":[{"start":{"date-parts":[[2018,12,14]],"date-time":"2018-12-14T00:00:00Z","timestamp":1544745600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-02807-7_4","type":"book-chapter","created":{"date-parts":[[2018,12,13]],"date-time":"2018-12-13T14:32:49Z","timestamp":1544711569000},"page":"61-85","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["An Adaptable System-on-Chip Security Architecture for Internet of Things Applications"],"prefix":"10.1007","author":[{"given":"Atul Prasad","family":"Deb Nath","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tamzidul","family":"Hoque","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sandip","family":"Ray","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Swarup","family":"Bhunia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,12,14]]},"reference":[{"unstructured":"Evans, D.: The internet of things\u2014how the next evolution of the internet is changing everything. White Paper, Cisco Internet Business Solutions Group (IBSG) (2011)","key":"4_CR1"},{"unstructured":"Sastry, M.R., Schoinas, I.T., Cermak, D.M.: Method for enforcing resource access control in computer system. US Patent 20120079590 A1 (2012)","key":"4_CR2"},{"doi-asserted-by":"crossref","unstructured":"Krstic, S. et al.: Security of SoC firmware load protocol. HOST (2014)","key":"4_CR3","DOI":"10.1109\/HST.2014.6855571"},{"doi-asserted-by":"crossref","unstructured":"Li, X. et\u00a0al.: Sapper: a language for hardware level security policy enforcement. ASPLOS (2014)","key":"4_CR4","DOI":"10.1145\/2541940.2541947"},{"key":"4_CR5","volume-title":"Noninterference, transitivity, and channel-control security policies","author":"J Rushby","year":"1992","unstructured":"Rushby, J.: Noninterference, transitivity, and channel-control security policies. SRI International, Computer Science Laboratory (1992)"},{"unstructured":"ARM: Building a secure system using trustzone technology. ARM Limited (2009)","key":"4_CR6"},{"doi-asserted-by":"crossref","unstructured":"Basak, A., Bhunia, S., Ray, S.: A flexible architecture for systematic implementation of SoC security policies. IEEE ICCAD (2015)","key":"4_CR7","DOI":"10.1109\/ICCAD.2015.7372616"},{"doi-asserted-by":"crossref","unstructured":"Miettinen, M., Heuser, S., Kronz, W., Sadeghi, A.-R., Asokan, N.: Conxsense: automated context classification for context-aware access control. In: Proceedings of the 9th ACM Symposium on Information, Computer and Communications Security, pp. 293\u2013304. ACM (2014)","key":"4_CR8","DOI":"10.1145\/2590296.2590337"},{"issue":"5","key":"4_CR9","doi-asserted-by":"publisher","first-page":"1426","DOI":"10.1109\/TIFS.2012.2204249","volume":"7","author":"M. Conti","year":"2012","unstructured":"Conti, M., Crispo, B., Fernandes, E., Zhauniarovich, Y.: Cr\u00eape: a system for enforcing fine-grained context-related policies on android. IEEE Tran. Inf. Forensics Sec. 7(5), 1426\u20131438 (2012)","journal-title":"IEEE Transactions on Information Forensics and Security"},{"doi-asserted-by":"crossref","unstructured":"Hull, R., Kumar, B., Lieuwen, D., Patel-Schneider, P.F., Sahuguet, A., Varadarajan, S., Vyas, A.: Enabling context-aware and privacy-conscious user data sharing. In: 2004 IEEE International Conference on Mobile Data Management, 2004. Proceedings, pp. 187\u2013198. IEEE (2004)","key":"4_CR10","DOI":"10.1109\/MDM.2004.1263065"},{"doi-asserted-by":"crossref","unstructured":"Goguen, J.A., Meseguer, J.: Security policies and security models. In: IEEE Symposium on Security and Privacy, IEEE, pp. 11\u201311 (1982)","key":"4_CR11","DOI":"10.1109\/SP.1982.10014"},{"doi-asserted-by":"crossref","unstructured":"Ray, S., Yang, J., Basak, A., Bhunia, S.: Correctness and security at odds: post-silicon validation of modern SoC designs. In: DAC (2015)","key":"4_CR12","DOI":"10.1145\/2744769.2754896"},{"issue":"1","key":"4_CR13","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1145\/1111320.1111046","volume":"41","author":"Torben Amtoft","year":"2006","unstructured":"Amtoft, T., Bandhakavi, S., Banerjee, A.: A logic for information flow in object-oriented programs. ACM SIGPLAN Notices\u00a041(1), 91\u2013102 ACM (2006)","journal-title":"ACM SIGPLAN Notices"},{"issue":"3","key":"4_CR14","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/BF01782772","volume":"2","author":"B Alpern","year":"1987","unstructured":"Alpern, B., Schneider, F.B.: Recognizing safety and liveness. Distrib. Comput. 2(3), 117\u2013126 (1987)","journal-title":"Distrib. Comput."},{"unstructured":"Borisov, N., Johnson, R., Sastry, N., Wagner, D.: Fixing races for fun and profit: how to abuse a time (2005)","key":"4_CR15"},{"doi-asserted-by":"crossref","unstructured":"Ray, S., Jin, Y.: Security policy enforcement in modern soc designs. In: 2015 IEEE\/ACM International Conference on Computer-Aided Design (ICCAD), Nov 2015, pp. 345\u2013350","key":"4_CR16","DOI":"10.1109\/ICCAD.2015.7372590"},{"unstructured":"Loucaides, J., Furtak, A.: A new class of vulnerability in SMI handlers of BIOS\/UEFI firmware. In: The $$15$$th Annual CanSecWest Conference (CanSecWest) (2015)","key":"4_CR17"},{"doi-asserted-by":"crossref","unstructured":"Nath, A.P.D., Ray, S., Basak, A., Bhunia, S.: System-on-chip security architecture and cad framework for hardware patch. In: 2018 23rd Asia and South Pacific Design Automation Conference (ASP-DAC), Jan 2018, pp. 733\u2013738","key":"4_CR18","DOI":"10.1109\/ASPDAC.2018.8297409"},{"doi-asserted-by":"crossref","unstructured":"Basak, A., Bhunia, S., Ray, S.: Exploiting design-for-debug for flexible SoC security architecture. In: DAC (2016)","key":"4_CR19","DOI":"10.1145\/2897937.2898020"}],"container-title":["Internet of Things","Security and Fault Tolerance in Internet of Things"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-02807-7_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,12,13]],"date-time":"2018-12-13T14:34:01Z","timestamp":1544711641000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-02807-7_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,12,14]]},"ISBN":["9783030028060","9783030028077"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-02807-7_4","relation":{},"ISSN":["2199-1073","2199-1081"],"issn-type":[{"type":"print","value":"2199-1073"},{"type":"electronic","value":"2199-1081"}],"subject":[],"published":{"date-parts":[[2018,12,14]]}}}