<?xml version="1.0"?>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:dc="http://purl.org/dc/elements/1.1/"><rdf:Description rdf:about="https://repozitorij.uni-lj.si/IzpisGradiva.php?id=142892"><dc:title>Navidezni stroj s sledenjem pretoku informacij z označevanjem</dc:title><dc:creator>Habjan,	Lovro	(Avtor)
	</dc:creator><dc:creator>Čibej,	Uroš	(Mentor)
	</dc:creator><dc:creator>Mihelič,	Jurij	(Komentor)
	</dc:creator><dc:subject>označevanje</dc:subject><dc:subject>navidezni stroj</dc:subject><dc:subject>pretok informacij</dc:subject><dc:subject>varnostna politika</dc:subject><dc:subject>računalniška varnost</dc:subject><dc:description>Računalniška varnost je zahtevno področje, med katerega spada zagotavljanje lastnosti podatkov, kot sta zaupnost in celovitost. Na njih vpliva pretok informacij znotraj računalniškega sistema. V okviru magistrske naloge smo predelali obstoječ navidezni stroj za arhitekturo strojnih ukazov RISC-V z zmožnostjo sledenja pretoku informacij. Na podlagi predhodnih raziskav smo za sledenje uporabili označevanje podatkov znotraj računalniškega sistema. Zasnovali smo prilagodljiv in čim bolj splošen mehanizem, ki deluje na podlagi pravil, definiranih v okviru uporabniške varnostne politike. Razširjeni navidezni stroj je s pomočjo označevanja zmožen slediti pretoku informacij ter je sposoben varovati podatke in njihove lastnosti. Njegovo delovanje smo ovrednotili z naborom testnih primerov, ki prikazujejo različne scenarije uporabe.</dc:description><dc:date>2022</dc:date><dc:date>2022-11-30 15:30:00</dc:date><dc:type>Magistrsko delo/naloga</dc:type><dc:identifier>142892</dc:identifier><dc:language>sl</dc:language></rdf:Description></rdf:RDF>