Formal modeling and analysis of resource usage and sharing in distributed software systems
Развој и анализа формалних модела за коришћење и дељење ресурса у дистрибуираним софтверским системима
Author
Prokić, IvanMentor
Pantović, JovankaMendes Torres Vieira Hugo, Filipe
Committee members
Ivetić, JelenaNedović, Ljubo
Gilezan, Silvia
Pantović, Jovanka
Mendes Torres Vieira Hugo, Filipe
Metadata
Show full item recordAbstract
This thesis investigates problems of formal, mathematically based, representation and analysis of controlled usage and sharing of resources in distributed software systems. We present a model for confidential name passing, and a model for controlled resource usage. For the second model we also introduce a type system for performing a static verification that can ensure absence of unauthorized usages of resources in the system.
У тези су разматрани проблеми формалног описа и анализе дељења и коришћења ресурса у дистрибуираним софтверским системима. Уведен је један рачун који моделира поверљиво дељење имена и један који моделира контролисано коришћење ресурса. За други модел предложен је и типски систем за статичку проверу који осигурава одсуство неауторизованог коришћења ресурса у систему.
U tezi su razmatrani problemi formalnog opisa i analize deljenja i korišćenja resursa u distribuiranim softverskim sistemima. Uveden je jedan račun koji modelira poverljivo deljenje imena i jedan koji modelira kontrolisano korišćenje resursa. Za drugi model predložen je i tipski sistem za statičku proveru koji osigurava odsustvo neautorizovanog korišćenja resursa u sistemu.