{"product_id":"security-policy-in-system-on-chip-specification-implementation-and-verification-von-sandip-ray-abhishek-basak-swarup-bhunia","title":"Security Policy in System-on-Chip Designs","description":"This 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.Provides comprehensive coverage of SoC security requirements, security policies, languages, and security architecture for current and emerging computing devices;Explodes myths and ambiguities in SoC security policy implementations, and provide a rigorous treatment of the subject;Demonstrates a rigorous, step-by-step approach to developing a diversity of SoC security policies;Introduces a rigorous, disciplined approach to “hardware patching”, i.e., secure technique for updating hardware functionality of computing devices in-field;Includes discussion of current and emerging approaches for security policy verification.\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783030066666\"\u003e\u003ch3\u003eSpecification, Implementation and Verification\u003c\/h3\u003e\u003c\/div\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783319934631\"\u003e\u003ch3\u003eSpecification, Implementation and Verification\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783030066666","offer_id":39420800761949,"sku":"9783030066666","price":53.49,"currency_code":"EUR","in_stock":true},{"title":"Hardcover - 9783319934631","offer_id":32915909050461,"sku":"9783319934631","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/8e3fb9b3-a7be-4bfd-821d-c5671091a8b6.jpg?v=1775797928","url":"https:\/\/shop.autorenwelt.de\/products\/security-policy-in-system-on-chip-specification-implementation-and-verification-von-sandip-ray-abhishek-basak-swarup-bhunia","provider":"Autorenwelt Shop","version":"1.0","type":"link"}