20.500.12556/RUL-142892 Navidezni stroj s sledenjem pretoku informacij z označevanjem Virtual machine with tag-based information flow tracking 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. Computer security is a complex area, which includes protection of data and its characteristics, such as confidentiality and integrity. These are affected by information flow within a computer system. We redesigned an existing virtual machine for RISC-V instruction set architecture to support information flow tracking. Based on previous research, data tagging was used for tracking. We designed a flexible and high-level mechanism that operates based on rules described in a user-defined security policy. The redesigned virtual machine is able to track information flow using tagging and is able to protect the data and its characteristics. Its performance was evaluated with a set of test cases showing different scenarios of use. označevanje navidezni stroj pretok informacij varnostna politika računalniška varnost tagging virtual machine information flow security policy computer security true false false Slovenski jezik Angleški jezik Magistrsko delo/naloga 2022-11-30 15:30:00 2022-11-30 15:30:06 2022-12-09 11:16:17 0000-00-00 00:00:00 2022 0 0 0000-00-00 NiDoloceno NiDoloceno NiDoloceno 0000-00-00 0000-00-00 0000-00-00 34409 133125635 Habjan_Lovro_-_Navidezni_stroj_s_sledenjem_pretoku_informacij_z_oznacevanjem.pdf Habjan_Lovro_-_Navidezni_stroj_s_sledenjem_pretoku_informacij_z_oznacevanjem.pdf 1 76A2B79D1BD6DB0CDB704CE88F74BB2E bf329534498c361bd21080ce0489f14e3fa78fd0b97778e91c7cc868f41b522e 5768ff92-70bb-11ed-9c94-00155dcfd717 https://repozitorij.uni-lj.si/Dokument.php?lang=slv&id=164432 Fakulteta za računalništvo in informatiko 0 0 0