Embedded systems, like medical or automotive, require basic security functions, often referred to as “secure communications”. Interest has been growing around defining and formally verifying security related properties, as potentially able to catch hard-to-detect problems. We follow novel research works focused on formalizing security requirements for information flow. We compare State Properties to Path Properties, as two approaches able to capture different aspects on how to leak/corrupt secure data via unexpected taints and paths. We also discuss tools used to verify Path and State properties, on two existing Secure Embedded Architectures, and we discuss the advantages and drawbacks of each approach.

Embedded Systems Secure Path Verification at the HW/SW Interface / Cabodi, Gianpiero; Camurati, Paolo Enrico; Finocchiaro, SEBASTIANO FABRIZIO; Savarese, Francesco; Vendraminetto, Danilo. - In: IEEE DESIGN & TEST. - ISSN 2168-2356. - STAMPA. - 34:5(2017), pp. 38-46. [10.1109/MDAT.2017.2713393]

Embedded Systems Secure Path Verification at the HW/SW Interface

CABODI, Gianpiero;CAMURATI, Paolo Enrico;FINOCCHIARO, SEBASTIANO FABRIZIO;SAVARESE, FRANCESCO;VENDRAMINETTO, DANILO
2017

Abstract

Embedded systems, like medical or automotive, require basic security functions, often referred to as “secure communications”. Interest has been growing around defining and formally verifying security related properties, as potentially able to catch hard-to-detect problems. We follow novel research works focused on formalizing security requirements for information flow. We compare State Properties to Path Properties, as two approaches able to capture different aspects on how to leak/corrupt secure data via unexpected taints and paths. We also discuss tools used to verify Path and State properties, on two existing Secure Embedded Architectures, and we discuss the advantages and drawbacks of each approach.
File in questo prodotto:
File Dimensione Formato  
07944703.pdf

non disponibili

Tipologia: 2a Post-print versione editoriale / Version of Record
Licenza: Non Pubblico - Accesso privato/ristretto
Dimensione 149.23 kB
Formato Adobe PDF
149.23 kB Adobe PDF   Visualizza/Apri   Richiedi una copia
Pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11583/2670184
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo