System-on-chip security : validation and verification /: validation and verification. ([2020])
- Record Type:
- Book
- Title:
- System-on-chip security : validation and verification /: validation and verification. ([2020])
- Main Title:
- System-on-chip security : validation and verification
- Further Information:
- Note: Farimah Farahmandi, Yuanwen Huang, Prabhat Mishra.
- Authors:
- Farahmandi, Farimah
Huang, Yuanwen
Mishra, Prabhat, 1973- - Contents:
- Introduction -- Security Verification Using Formal Methods -- Simulation-Based Security Validation Approaches -- Security Validation Using Side-Channel Analysis -- Automated Vulnerability Detection And Mitigation -- Conclusion.
- Publisher Details:
- Cham, Switzerland : Springer
- Publication Date:
- 2020
- Extent:
- 1 online resource
- Subjects:
- 006.2/2
Systems on a chip -- Security measures
Systems on a chip -- Design
Electronic books - Languages:
- English
- ISBNs:
- 9783030305963
3030305961 - Notes:
- Note: Includes bibliographical references and index.
Note: Online resource; title from PDF title page (SpringerLink, viewed December 2, 2019). - Access Rights:
- Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
- Access Usage:
- Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD.DS.475060
- Ingest File:
- 03_027.xml