Naslov magistrskega dela: Avtomatsko testiranje varnostnih pravil v Supabase z uporabo velikih jezikovnih modelov

Povzetek: 

Varnost na ravni vrstic (RLS) je pomemben mehanizem za nadzor dostopa do podatkov v aplikacijah Supabase, vendar lahko napačno definirana pravila povzročijo neupravičen dostop ali preprečijo legitimne operacije. V magistrskem delu predstavljamo orodje rls-testgen za avtomatsko preverjanje skladnosti pravil RLS z avtorizacijsko specifikacijo aplikacije. Orodje združuje introspekcijo podatkovne baze PostgreSQL, uporabo velikih jezikovnih modelov za interpretacijo specifikacije ter deterministično pripravo in izvajanje testnih operacij kot avtenticirani uporabniki. Evalvacija na sedmih projektih Supabase je obsegala 926 preizkusov, od katerih je bilo pri 572 mogoče določiti pričakovani izid. V nadzorovanem poskusu je orodje zaznalo vseh 56 namerno vnesenih napak iz izbrane taksonomije. Rezultati kažejo, da predlagani hibridni pristop omogoča sistematično in ponovljivo preverjanje pravil RLS ter avtomatizira pomemben del priprave in izvajanja varnostnih preizkusov.

Mentor: prof. dr. Damjan Vavpotič

Komisija za zagovor:

prof. dr. Denis Trček (predsednik),

doc. dr. David Modic (član),

izr. prof. dr. Anton Umek (član).

Prostor: Diplomska soba