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...
Κύριοι συγγραφείς: | Ray, Sandip (Συγγραφέας, 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) |
---|---|
Συγγραφή απο Οργανισμό/Αρχή: | SpringerLink (Online service) |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Cham :
Springer International Publishing : Imprint: Springer,
2019.
|
Έκδοση: | 1st ed. 2019. |
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Παρόμοια τεκμήρια
-
Formal System Verification State-of the-Art and Future Trends /
Έκδοση: (2018) -
Design Automation Techniques for Approximation Circuits Verification, Synthesis and Test /
ανά: Chandrasekharan, Arun, κ.ά.
Έκδοση: (2019) -
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
ανά: Przigoda, Nils, κ.ά.
Έκδοση: (2018) -
Multi-run Memory Tests for Pattern Sensitive Faults
ανά: Mrozek, Ireneusz, κ.ά.
Έκδοση: (2019) -
Exact Design of Digital Microfluidic Biochips
ανά: Keszocze, Oliver, κ.ά.
Έκδοση: (2019)