3 résultat(s)
Télécharger le livre : Security Policy in System-on-Chip Designs
Abhishek Basak , Swarup Bhunia , Sandip Ray
Security Policy in System-on-Chip Designs
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...
Editeur : Springer
Parution : 2018-10-09

Format(s) : PDF, ePub
52,74 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Fundamentals of IP and SoC Security
Swarup Bhunia , Sandip Ray , Susmita Sur-Kolay
Fundamentals of IP and SoC Security
This book is about security in embedded systems and it provides an authoritative reference to all aspects of security in system-on-chip (SoC) designs. The authors discuss issues ranging from security requirements in SoC designs, definition of architectures and design...
Editeur : Springer
Parution : 2017-01-24

Format(s) : PDF, ePub
94,94 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Scalable Techniques for Formal Verification
Sandip Ray
Scalable Techniques for Formal Verification
This book is about formal veri?cation, that is, the use of mathematical reasoning to ensure correct execution of computing systems. With the increasing use of c- puting systems in safety-critical and security-critical applications, it is becoming increasingly important...
Editeur : Springer
Parution : 2010-06-17

Format(s) : ePub
94,94 €
Téléchargement immédiat
Dès validation de votre commande