Show simple item record

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

dc.contributor.advisorPantović, Jovanka
dc.contributor.advisorMendes Torres Vieira Hugo, Filipe
dc.contributor.otherIvetić, Jelena
dc.contributor.otherNedović, Ljubo
dc.contributor.otherGilezan, Silvia
dc.contributor.otherPantović, Jovanka
dc.contributor.otherMendes Torres Vieira Hugo, Filipe
dc.creatorProkić, Ivan
dc.date.accessioned2020-07-06T16:23:44Z
dc.date.available2020-02-26T16:23:44Z
dc.date.available2020-07-03T14:07:27Z
dc.date.issued2020-01-22
dc.identifier.urihttps://www.cris.uns.ac.rs/DownloadFileServlet/Disertacija15713990010361.pdf?controlNumber=(BISIS)111975&fileName=15713990010361.pdf&id=13884&source=NaRDuS&language=srsr
dc.identifier.urihttp://nardus.mpn.gov.rs/handle/123456789/12073
dc.identifier.urihttps://www.cris.uns.ac.rs/record.jsf?recordId=111975&source=NaRDuS&language=srsr
dc.identifier.urihttps://www.cris.uns.ac.rs/DownloadFileServlet/IzvestajKomisije157139900655941.pdf?controlNumber=(BISIS)111975&fileName=157139900655941.pdf&id=13885&source=NaRDuS&language=srsr
dc.description.abstractThis 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.abstractU 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.languageen
dc.publisherУниверзитет у Новом Саду, Факултет техничких наукаsr
dc.rightsopenAccessen
dc.sourceУниверзитет у Новом Садуsr
dc.subjectProcess calculi, type systems, concurrent systems, distributed systems, security, privacy, resource usage control, sharing resource controlen
dc.subjectПроцесни рачуни, типски системи, конкурентни системи, дистрибуиранисистеми, безбедност, приватност, контрола коришћења ресурса,контрола дељења ресурсаsr
dc.subjectProcesni računi, tipski sistemi, konkurentni sistemi, distribuiranisistemi, bezbednost, privatnost, kontrola korišćenja resursa,kontrola deljenja resursasr
dc.titleFormal modeling and analysis of resource usage and sharing in distributed software systemsen
dc.title.alternativeРазвој и анализа формалних модела за коришћење и дељење ресурса у дистрибуираним софтверским системимаsr
dc.title.alternativeRazvoj i analiza formalnih modela za korišćenje i deljenje resursa u distribuiranim softverskim sistemimasr
dc.typedoctoralThesissr
dc.rights.licenseBY-NC
dc.identifier.fulltexthttp://nardus.mpn.gov.rs/bitstream/id/41701/Disertacija.pdf
dc.identifier.fulltexthttp://nardus.mpn.gov.rs/bitstream/id/41702/IzvestajKomisije.pdf


Files in this item

Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record