Embedded Systems Secure Path Verification at the Hardware/Software Interface :: COBISS+

Ta stran uporablja JavaScript. Vaš brskalnik ne podpira JavaScripta ali pa je ta izklopljen. Če želite stran pravilno prikazati, uporabite brskalnik, ki podpira JavaScript.

E-viri

13.

Celotno besedilo

Embedded Systems Secure Path Verification at the Hardware/Software Interface

Cabodi, Gianpiero; Camurati, Paolo; Finocchiaro, Sebastiano F.; Savarese, Francesco; Vendraminetto, Danilo

IEEE design and test, 10/2017, Letnik: 34, Številka: 5

Magazine Article

The article presents a case study comparing two types of properties for formal verification of security requirements in embedded systems.

Išči dalje

Avtor

Cabodi, Gianpiero | Camurati, Paolo | Finocchiaro, Sebastiano F. | Savarese, Francesco | Vendraminetto, Danilo

Dostop do baze podatkov JCR je dovoljen samo uporabnikom iz Slovenije. Vaš trenutni IP-naslov ni na seznamu dovoljenih za dostop, zato je potrebna avtentikacija z ustreznim računom AAI.

Leto	Faktor vpliva		Izdaja		Kategorija		Razvrstitev
Leto	JCR	SNIP	JCR	SNIP	JCR	SNIP	JCR	SNIP

Povezave do osebnih bibliografij avtorjev	Povezave do podatkov o raziskovalcih v sistemu SICRIS

Vir: Osebne bibliografije in: SICRIS