Приказ основних података о дисертацији
Formal modeling and analysis of resource usage and sharing in distributed software systems
Развој и анализа формалних модела за коришћење и дељење ресурса у дистрибуираним софтверским системима
dc.contributor.advisor | Pantović, Jovanka | |
dc.contributor.advisor | Mendes Torres Vieira Hugo, Filipe | |
dc.contributor.other | Ivetić, Jelena | |
dc.contributor.other | Nedović, Ljubo | |
dc.contributor.other | Gilezan, Silvia | |
dc.contributor.other | Pantović, Jovanka | |
dc.contributor.other | Mendes Torres Vieira Hugo, Filipe | |
dc.creator | Prokić, Ivan | |
dc.date.accessioned | 2020-07-06T16:23:44Z | |
dc.date.available | 2020-02-26T16:23:44Z | |
dc.date.available | 2020-07-03T14:07:27Z | |
dc.date.issued | 2020-01-22 | |
dc.identifier.uri | https://nardus.mpn.gov.rs/handle/123456789/12073 | |
dc.identifier.uri | https://www.cris.uns.ac.rs/DownloadFileServlet/Disertacija15713990010361.pdf?controlNumber=(BISIS)111975&fileName=15713990010361.pdf&id=13884&source=NaRDuS&language=sr | sr |
dc.identifier.uri | https://www.cris.uns.ac.rs/record.jsf?recordId=111975&source=NaRDuS&language=sr | sr |
dc.identifier.uri | https://www.cris.uns.ac.rs/DownloadFileServlet/IzvestajKomisije157139900655941.pdf?controlNumber=(BISIS)111975&fileName=157139900655941.pdf&id=13885&source=NaRDuS&language=sr | sr |
dc.description.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. | en |
dc.description.abstract | У тези су разматрани проблеми формалног описа и анализе дељења и коришћења ресурса у дистрибуираним софтверским системима. Уведен је један рачун који моделира поверљиво дељење имена и један који моделира контролисано коришћење ресурса. За други модел предложен је и типски систем за статичку проверу који осигурава одсуство неауторизованог коришћења ресурса у систему. | sr |
dc.description.abstract | 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. | sr |
dc.language | en | |
dc.publisher | Универзитет у Новом Саду, Факултет техничких наука | sr |
dc.rights | openAccess | en |
dc.rights.uri | https://creativecommons.org/licenses/by-nc/4.0/ | |
dc.source | Универзитет у Новом Саду | sr |
dc.subject | Process calculi | en |
dc.subject | Процесни рачуни | sr |
dc.subject | Procesni računi | sr |
dc.subject | типски системи | sr |
dc.subject | конкурентни системи | sr |
dc.subject | дистрибуиранисистеми | sr |
dc.subject | безбедност | sr |
dc.subject | приватност | sr |
dc.subject | контрола коришћења ресурса | sr |
dc.subject | контрола дељења ресурса | sr |
dc.subject | tipski sistemi | sr |
dc.subject | konkurentni sistemi | sr |
dc.subject | distribuiranisistemi | sr |
dc.subject | bezbednost | sr |
dc.subject | privatnost | sr |
dc.subject | kontrola korišćenja resursa | sr |
dc.subject | kontrola deljenja resursa | sr |
dc.subject | type systems | en |
dc.subject | concurrent systems | en |
dc.subject | distributed systems | en |
dc.subject | security | en |
dc.subject | privacy | en |
dc.subject | resource usage control | en |
dc.subject | sharing resource control | en |
dc.title | Formal modeling and analysis of resource usage and sharing in distributed software systems | en |
dc.title.alternative | Развој и анализа формалних модела за коришћење и дељење ресурса у дистрибуираним софтверским системима | sr |
dc.title.alternative | Razvoj i analiza formalnih modela za korišćenje i deljenje resursa u distribuiranim softverskim sistemima | sr |
dc.type | doctoralThesis | en |
dc.rights.license | BY-NC | |
dc.identifier.fulltext | http://nardus.mpn.gov.rs/bitstream/id/41702/IzvestajKomisije.pdf | |
dc.identifier.fulltext | https://nardus.mpn.gov.rs/bitstream/id/41701/Disertacija.pdf | |
dc.identifier.fulltext | https://nardus.mpn.gov.rs/bitstream/id/41702/IzvestajKomisije.pdf | |
dc.identifier.fulltext | http://nardus.mpn.gov.rs/bitstream/id/41701/Disertacija.pdf | |
dc.identifier.rcub | https://hdl.handle.net/21.15107/rcub_nardus_12073 |