Benutzer: Gast  Login
Titel:

Formal verification of security properties

Dokumenttyp:
Konferenzbeitrag
Autor(en):
Sepulveda, Johanna and Aboul--Hassan, Damian and Sauer, Matthias
Abstract:
Network-on-Chip (NoC) routers can be exploited in order to spy, modify and constrain the sensitive communication inside the Multi-Processors Systems-on-Chip (MPSoCs). Although previous works address the NoC threat, finding secure and efficient solutions to verify the security is still a challenge. In this work, we propose a method that allows the formal verification of the correctness and security properties of NoC routers. For limitation space in this article we show our technique to formally...     »
Dewey-Dezimalklassifikation:
620 Ingenieurwissenschaften
Kongress- / Buchtitel:
Testmethoden und Zuverlässigkeit von Schaltungen und Systemen, {TUZ} 2018,
Kongress / Zusatzinformationen:
Freiburg, Germany
Datum der Konferenz:
March 4--8, 2018
Jahr:
2018
Quartal:
1. Quartal
Jahr / Monat:
2018-03
Monat:
Mar
Reviewed:
ja
Sprache:
en
WWW:
https://tuz18.informatik.uni-freiburg.de/index.php/de/
 BibTeX