Cargando…

System-on-chip security: validation and verification

Detalles Bibliográficos
Autores principales:	Farahmandi, Farimah, Huang, Yuanwen, Mishra, Prabhat, Saqib, Fareena, Plusquellic, Jim
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2019
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2756604

Ejemplares similares

Security policy in system-on-chip designs: specification, implementation and verification
por: Ray, Sandip, et al.
Publicado: (2018)

Secure LoRa Firmware Update with Adaptive Data Rate Techniques †
por: Heeger, Derek, et al.
Publicado: (2021)

Cyber security for cyber physical systems
por: Ali, Saqib, et al.
Publicado: (2018)

Modeling and verifying security protocols with the applied Pi calculus and ProVerif
por: Blanchet, Bruno
Publicado: (2016)

On-chip current sensors for reliable, secure, and low-power integrated circuits
por: Bastos, Rodrigo Possamai, et al.
Publicado: (2019)

Modelling and verification of secure exams
por: Giustolisi, Rosario
Publicado: (2018)

Advances in sensing with security applications
por: Byrnes, Jim
Publicado: (2006)

Wireless and Mobile Device Security
por: Doherty, Jim
Publicado: (2021)

Securing Systems
por: Schoenfield, Brook
Publicado: (2015)

VerificationTalk: A Verification and Security Mechanism for IoT Applications
por: Shieh, Min-Zheng, et al.
Publicado: (2021)

Asynchronous system-on-chip interconnect
por: Bainbridge, John
Publicado: (2002)

Reliability, safety, and security of railway systems modelling, analysis, verification, and certification: first international conference, RSSRAIL 2016, Paris, France, June 28-30, 2016, proceedings
por: Lecomte, Thierry, et al.
Publicado: (2016)

String analysis for software verification and security
por: Bultan, Tevfik, et al.
Publicado: (2018)

Security design consulting: the business of security system design
por: Gouin, Brian
Publicado: (2007)

Communication System Security
por: Chen, Lidong, et al.
Publicado: (2012)

ASIC and FPGA Verification
por: Munden, Richard
Publicado: (2004)

PCI DSS: An Integrated Data Security Standard Guide
por: Seaman, Jim
Publicado: (2020)

Verification, validation, and testing of engineered systems
por: Engel, Avner
Publicado: (2010)

Leveraging applications of formal methods, verification and validation verification: 8th international symposium, ISOLA 2018, Limassol, Cyprus, November 5-9, 2018, proceedings, part II
por: Margaria, Tiziana, et al.
Publicado: (2018)

Building Secure and Reliable Systems
por: Adkins, Heather
Publicado: (2020)

Advanced power systems and security
por: Abood, Samir Ibrahim
Publicado: (2021)

Heap Analysis and Verification workshop
Publicado: (2007)

Hardware IP security and trust
por: Mishra, Prabhat, et al.
Publicado: (2017)

Critical Infrastructure System Security and Resiliency
por: Biringer, Betty
Publicado: (2013)

Adaptive autonomous secure cyber systems
por: Jajodia, Sushil, et al.
Publicado: (2020)

Implementing an Information Security Management System: Security Management Based on ISO 27001 Guidelines
por: Chopra, Abhishek
Publicado: (2019)

Autonomic networking-on-chip: bio-inspired specification, development, and verification
por: Cong-Vinh, Phan
Publicado: (2011)

Video verification in the fake news era
por: Mezaris, Vasileios, et al.
Publicado: (2019)

Modeling and Verification Using UML Statecharts
por: Drusinsky, Doron
Publicado: (2011)

Networks on chip
por: Jantsch, Axel, et al.
Publicado: (2003)

Validation and verification of the OPI 2.0 System
por: Abelson, Richard, et al.
Publicado: (2012)

Learn Kubernetes Security
por: Huang, Kaizhe
Publicado: (2020)

Advanced computing and systems for security: volume nine
por: Chaki, Rituparna, et al.
Publicado: (2019)

Advanced computing and systems for security: volume ten
por: Chaki, Rituparna, et al.
Publicado: (2019)

Advanced computing and systems for security: volume twelve
por: Chaki, Rituparna, et al.
Publicado: (2020)

Advances in cyber security analytics and decision systems
por: Shandilya, Shishir K, et al.
Publicado: (2020)

Techno security's guide to securing SCADA
por: Wiles, Jack, et al.
Publicado: (2007)

Safe and secure cyber-physical systems and Internet-of-Things systems
por: Wolf, Marilyn, et al.
Publicado: (2019)

Can Formal Security Verification Really Be Optional? Scrutinizing the Security of IMD Authentication Protocols
por: Duguma, Daniel Gerbi, et al.
Publicado: (2021)

Automated verification of a System-on-Chip for radiation protection fulfilling Safety Integrity Level 2
por: Ceesay-Seitz, Katharina
Publicado: (2019)

Cannot write session to /tmp/vufind_sessions/sess_so7tmkfcldalva55b57nnam9nh