{"product_id":"9783319934631","title":"Security Policy in System-on-Chip Designs: Specification, Implementation and Verification","description":"\u003ch1\u003eSecurity Policy in System-on-Chip Designs: Specification, Implementation and Verification\u003c\/h1\u003e \u003ch2\u003eRay, Sandip; Basak, Abhishek; Bhunia, Swarup\u003c\/h2\u003e \u003cp\u003e\u003c\/p\u003e\u003cp\u003eThis book offers readers comprehensive coverage of security policy specification using new policy languages, implementation of security policies in Systems-on-Chip (SoC) designs – current industrial practice, as well as emerging approaches to architecting SoC security policies and security policy verification. The authors focus on a promising security architecture for implementing security policies, which satisfies the goals of flexibility, verification, and upgradability from the ground up, including a plug-and-play hardware block in which all policy implementations are enclosed. Using this architecture, they discuss the ramifications of designing SoC security policies, including effects on non-functional properties (power\/performance), debug, validation, and upgrade. The authors also describe a systematic approach for “hardware patching”, i.e., upgrading hardware implementations of security requirements safely, reliably, and securely in the field, meeting a critical need for diverse Internet of Things (IoT) devices.\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cul\u003e\n\u003cli\u003eProvides comprehensive coverage of SoC security requirements, security policies, languages, and security architecture for current and emerging computing devices;\u003cbr\u003e\n\u003c\/li\u003e\n\u003cli\u003eExplodes myths and ambiguities in SoC security policy implementations, and provide a rigorous treatment of the subject;\u003cbr\u003e\n\u003c\/li\u003e\n\u003cli\u003eDemonstrates a rigorous, step-by-step approach to developing a diversity of SoC security policies;\u003cbr\u003e\n\u003c\/li\u003e\n\u003cli\u003eIntroduces a rigorous, disciplined approach to “hardware patching”, i.e., secure technique for updating hardware functionality of computing devices in-field;\u003cbr\u003e\n\u003c\/li\u003e\n\u003cli\u003eIncludes discussion of current and emerging approaches for security policy verification.\u003cbr\u003e\n\u003c\/li\u003e\n\u003c\/ul\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 2018-10-20\u003c\/p\u003e \u003cp\u003eFormat: Hardcover\u003c\/p\u003e \u003cp\u003eISBN-13: 9783319934631\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/978-3-319-93464-8\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 116\u003c\/p\u003e ","brand":"Springer International Publishing","offers":[{"title":"Default Title","offer_id":47707974729868,"sku":"9783319934631","price":49.49,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783319934631.jpg?v=1776780476","url":"https:\/\/lateknightbooks.com\/products\/9783319934631","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}