000			03896nam a22004215i 4500
006			a||||fo|||| 00| 0
007			cr nn nnnaamaa
710	2		_aSpringerLink (Online service) _9106996
999			_c110352 _d110352 _x1
001			110352
003			ES-MaUEC
005			20230102113416.0
008			181009s2019 gw a o |||| 0|eng d
020			_a9783319934648
024	7		_a10.1007/978-3-319-93464-8 _2doi
040			_bspa _dES-MaUEC _cES-MaUEC
050		4	_aTK7895.E42 _b2019 EB
100	1		_aRay, Sandip _eautor _4aut _4http://id.loc.gov/vocabulary/relators/aut _9670972
245	1	0	_aSecurity Policy in System-on-Chip Designs : _bSpecification, Implementation and Verification _cby Sandip Ray, Abhishek Basak, Swarup Bhunia.
264		1	_aCham _bSpringer International Publishing : _bImprint: Springer _c2019.
300			_a1 recurso en línea (IX, 116 páginas) _b30 ilustraciones a color
336			_2rdacontent _aTexto _btxt
337			_2rdamedia _aelectrónico _bc
338			_2rdacarrier _arecurso electrónico _bcr
347			_atext file _bPDF
490	0		_aEngineering (Springer-11647)
505	0		_aChapter1: 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.
520	3		_aThis 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 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.
988			_aPrimersemestre_2019_Engineering
650		7	_2embne _aSistemas embebidos _9667201
700	1		_aBasak, Abhishek _eautor _4aut _4http://id.loc.gov/vocabulary/relators/aut _9670973
700	1		_aBhunia, Swarup _eautor _4aut _4http://id.loc.gov/vocabulary/relators/aut _9670974
776	0	8	_iPrinted edition: _z9783030066666
776	0	8	_iPrinted edition: _z9783319934631
776	0	8	_iPrinted edition: _z9783319934655
856	4	0	_uhttps://go.openathens.net/redirector/universidadeuropea.es?url=https://doi.org/10.1007/978-3-319-93464-8 _zAcceso a este recurso digital (usuarios Universidad Europea de Madrid)
942			_2lcc _cLE
998			_aSI _cm _dz _feng _ggw _h0 _b10/2019 _ejf _zSI