Show simple item record

Типски системи за контролу меморије и права приступа;
Tipski sistemi za kontrolu memorije i prava pristupa

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.issued2016-11-16
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.identifier.uri/DownloadFileServlet/IzvestajKomisije147375878127289.pdf?controlNumber=(BISIS)101762&fileName=147375878127289.pdf&id=6874
dc.identifier.urihttp://nardus.mpn.gov.rs/123456789/7111
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.rightsAttribution-NonCommercial-NoDerivs
dc.sourceУниверзитет у Новом Садуsr
dc.subjectType systems, process calculi, concurrent systems, distributed systems,security, privacy, memory leaksen
dc.subjectТипски системи, процесни рачуни, конкурентни системи, дистрибуиранисистеми, безбедност, приватност, цурење меморијеsr
dc.subjectTipski sistemi, procesni računi, konkurentni sistemi, distribuiranisistemi, bezbednost, privatnost, curenje memorijesr
dc.titleTypes for Access and Memory Controlen
dc.title.alternativeТипски системи за контролу меморије и права приступаsr
dc.title.alternativeTipski sistemi za kontrolu memorije i prava pristupasr
dc.typeDoktorska disertacijasr
dcterms.abstractДезани Мариангиола; Пантовић Јованка; Пантовић Јованка; Дезани Мариангиола; Иветић Јелена; Поповић Мирослав; Падовани Луца; Гилезан Силвиа; Јакшић Светлана;


Files in this item

Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record