National Repository of Dissertations in Serbia
    • English
    • Српски
    • Српски (Serbia)
  • English 
    • English
    • Serbian (Cyrilic)
    • Serbian (Latin)
  • Login
View Item 
  •   NaRDuS home
  • Универзитет у Новом Саду
  • Факултет техничких наука
  • View Item
  •   NaRDuS home
  • Универзитет у Новом Саду
  • Факултет техничких наука
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Formal modeling and analysis of resource usage and sharing in distributed software systems

Развој и анализа формалних модела за коришћење и дељење ресурса у дистрибуираним софтверским системима

Thumbnail
2020
Disertacija.pdf (1.411Mb)
IzvestajKomisije.pdf (210.7Kb)
Author
Prokić, Ivan
Mentor
Pantović, Jovanka
Mendes Torres Vieira Hugo, Filipe
Committee members
Ivetić, Jelena
Nedović, Ljubo
Gilezan, Silvia
Pantović, Jovanka
Mendes Torres Vieira Hugo, Filipe
Metadata
Show full item record
Abstract
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.
Faculty:
University of Novi Sad, Faculty of Technical Science
Date:
22-01-2020
Keywords:
Process calculi / Процесни рачуни / Procesni računi / типски системи / конкурентни системи / дистрибуиранисистеми / безбедност / приватност / контрола коришћења ресурса / контрола дељења ресурса / tipski sistemi / konkurentni sistemi / distribuiranisistemi / bezbednost / privatnost / kontrola korišćenja resursa / kontrola deljenja resursa / type systems / concurrent systems / distributed systems / security / privacy / resource usage control / sharing resource control
[ Google Scholar ]
URI
http://nardus.mpn.gov.rs/handle/123456789/12073
https://www.cris.uns.ac.rs/DownloadFileServlet/Disertacija15713990010361.pdf?controlNumber=(BISIS)111975&fileName=15713990010361.pdf&id=13884&source=NaRDuS&language=sr
https://www.cris.uns.ac.rs/record.jsf?recordId=111975&source=NaRDuS&language=sr
https://www.cris.uns.ac.rs/DownloadFileServlet/IzvestajKomisije157139900655941.pdf?controlNumber=(BISIS)111975&fileName=157139900655941.pdf&id=13885&source=NaRDuS&language=sr

DSpace software copyright © 2002-2015  DuraSpace
About NaRDus | Contact us

OpenAIRERCUBRODOSTEMPUS
 

 

Browse

All of DSpaceUniversities & FacultiesAuthorsMentorCommittee membersSubjectsThis CollectionAuthorsMentorCommittee membersSubjects

DSpace software copyright © 2002-2015  DuraSpace
About NaRDus | Contact us

OpenAIRERCUBRODOSTEMPUS