Security Policy in System-on-Chip Designs Specification, Implementation and Verification /
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...
| 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: | |
| Online Access: | Full Text via HEAL-Link |
Similar Items
-
Formal System Verification State-of the-Art and Future Trends /
Published: (2018) -
Design Automation Techniques for Approximation Circuits Verification, Synthesis and Test /
by: Chandrasekharan, Arun, et al.
Published: (2019) -
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
by: Przigoda, Nils, et al.
Published: (2018) -
Multi-run Memory Tests for Pattern Sensitive Faults
by: Mrozek, Ireneusz, et al.
Published: (2019) -
Exact Design of Digital Microfluidic Biochips
by: Keszocze, Oliver, et al.
Published: (2019)