< Terug naar vorige pagina

Publicatie

SμV - The Security MicroVisor: A Formally-Verified Software-Based Security Architecture for the Internet of Things

Tijdschriftbijdrage - Tijdschriftartikel

Tijdschrift: IEEE Transactions on Dependable and Secure Computing
ISSN: 1545-5971
Issue: 5
Volume: 16
Pagina's: 885 - 901
Jaar van publicatie:2019
BOF-keylabel:ja
IOF-keylabel:ja
BOF-publication weight:3
CSS-citation score:1
Auteurs:International
Authors from:Private, Higher Education
Toegankelijkheid:Closed