Security Policy in System-on-Chip Designs Specification, Implementation and Verification /

• Main Authors: Ray, Sandip (Author, http://id.loc.gov/vocabulary/relators/aut), Basak, Abhishek (http://id.loc.gov/vocabulary/relators/aut), Bhunia, Swarup (http://id.loc.gov/vocabulary/relators/aut)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2019.
• Edition: 1st ed. 2019.
• Subjects: Electronic circuits.; Microprocessors.; Electronics.; Microelectronics.; Circuits and Systems.; Processor Architectures.; Electronics and Microelectronics, Instrumentation.

This book offers readers comprehensive coverage of security policy specification using new policy languages, implementation of security policies in Systems-on-Chip (SoC) - current industrial practice, as well as emerging approaches to architecting SoC security policies and security policy verificati...

Table of Contents:

• Chapter1: SoC Security Policies: The State of the Practice
• Chapter2: E-IIPS: A Centralized Policy Implementation Architecture
• Chapter3: Exploiting Design-for-Debug in SoC Security Policy Architecture
• Chapter4: Security Assurance in SoC in presence of Untrusted IP Blocks
• Chapter5: A Move Towards a Hardware Patch
• Chapter6: SoC Security Policy Verification
• Chapter7: SoC Security Policies: Summary and Future Directions.