Show simple item record

Типски системи за контролу меморије и права приступа

dc.contributor.advisorPantović, Jovanka
dc.contributor.advisorDezani, Mariangiola
dc.contributor.otherGilezan, Silvia
dc.contributor.otherPadovani, Luca
dc.contributor.otherPopović, Miroslav
dc.contributor.otherIvetić, Jelena
dc.contributor.otherPantović, Jovanka
dc.contributor.otherDezani, Mariangiola
dc.creatorJakšić, Svetlana
dc.date.accessioned2016-12-03T14:59:27Z
dc.date.available2016-12-03T14:59:27Z
dc.date.available2020-07-03T14:08:01Z
dc.date.issued2016-11-16
dc.identifier.urihttps://nardus.mpn.gov.rs/handle/123456789/7111
dc.identifier.urihttp://www.cris.uns.ac.rs/DownloadFileServlet/Disertacija147375877599564.pdf?controlNumber=(BISIS)101762&fileName=147375877599564.pdf&id=6873&source=NaRDuS&language=srsr
dc.identifier.urihttp://www.cris.uns.ac.rs/record.jsf?recordId=101762&source=NaRDuS&language=srsr
dc.identifier.urihttp://www.cris.uns.ac.rs/DownloadFileServlet/IzvestajKomisije147375878127289.pdf?controlNumber=(BISIS)101762&fileName=147375878127289.pdf&id=6874&source=NaRDuS&language=srsr
dc.description.abstractThree issues will be elaborated and disussed in the proposed thesis. The first is administration and control of data access rights in networks with XML data, with emphasis on data security. The second is the administration and control of access rights to data in computer networks with RDF data, with emphasis on data privacy. The third is prevention of errors and memory leaks, as well as communication errors, generated by programs written in Sing # language in the presence of exceptions. For all three issues, there will be presented formal models with corresponding type systems and showed the absence of undesired behavior i.e. errors in networks or programs.en
dc.description.abstractУ тези су разматрана три проблема. Први је администрација и контрола права приступа података у рачунарској мрежи са XML подацима, са нагласком на безбедости посматраних података. Други је администрација и котрола права приступа подацима у рачунарској мрежи са RDF подацима, са нагласком на приватности посматраних података. Трећи је превенција грешака и цурења меморије, као и грешака у комуникацији генерисаним програмима написаних на језику Sing# у којима су присутни изузеци. За сва три проблема биће предложени формални модели и одговарајући типски системи помоћу којих се показује одсуство неповољних понашања тј. грешака у мрежама односно програмима.sr
dc.description.abstractU tezi su razmatrana tri problema. Prvi je administracija i kontrola prava pristupa podataka u računarskoj mreži sa XML podacima, sa naglaskom na bezbedosti posmatranih podataka. Drugi je administracija i kotrola prava pristupa podacima u računarskoj mreži sa RDF podacima, sa naglaskom na privatnosti posmatranih podataka. Treći je prevencija grešaka i curenja memorije, kao i grešaka u komunikaciji generisanim programima napisanih na jeziku Sing# u kojima su prisutni izuzeci. Za sva tri problema biće predloženi formalni modeli i odgovarajući tipski sistemi pomoću kojih se pokazuje odsustvo nepovoljnih ponašanja tj. grešaka u mrežama odnosno programima.sr
dc.languageen
dc.publisherУниверзитет у Новом Саду, Факултет техничких наукаsr
dc.rightsopenAccessen
dc.rights.urihttps://creativecommons.org/licenses/by-nc-nd/4.0/
dc.sourceУниверзитет у Новом Садуsr
dc.subjectType systemsen
dc.subjectТипски системиsr
dc.subjectTipski sistemisr
dc.subjectprocess calculien
dc.subjectconcurrent systemsen
dc.subjectdistributed systemsen
dc.subjectsecurityen
dc.subjectprivacyen
dc.subjectmemory leaksen
dc.subjectprocesni računisr
dc.subjectkonkurentni sistemisr
dc.subjectdistribuiranisistemisr
dc.subjectbezbednostsr
dc.subjectprivatnostsr
dc.subjectcurenje memorijesr
dc.subjectпроцесни рачуниsr
dc.subjectконкурентни системиsr
dc.subjectдистрибуиранисистемиsr
dc.subjectбезбедностsr
dc.subjectприватностsr
dc.subjectцурење меморијеsr
dc.titleTypes for Access and Memory Controlen
dc.title.alternativeТипски системи за контролу меморије и права приступаsr
dc.title.alternativeTipski sistemi za kontrolu memorije i prava pristupasr
dc.typedoctoralThesisen
dc.rights.licenseBY-NC-ND
dcterms.abstractДезани Мариангиола; Пантовић Јованка; Пантовић Јованка; Дезани Мариангиола; Иветић Јелена; Поповић Мирослав; Падовани Луца; Гилезан Силвиа; Јакшић Светлана;
dc.identifier.fulltexthttps://nardus.mpn.gov.rs/bitstream/id/41885/IzvestajKomisije.pdf
dc.identifier.fulltexthttps://nardus.mpn.gov.rs/bitstream/id/41884/Disertacija.pdf
dc.identifier.fulltexthttp://nardus.mpn.gov.rs/bitstream/id/41884/Disertacija.pdf
dc.identifier.fulltexthttp://nardus.mpn.gov.rs/bitstream/id/41885/IzvestajKomisije.pdf
dc.identifier.rcubhttps://hdl.handle.net/21.15107/rcub_nardus_7111


Files in this item

Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record