Teorijski model računalnih virusa

diplomski rad

• Autor: Antonio Ivančić
• Mentor: Mladen Vuković (mentor)
• Član povjerenstva: Mladen Vuković (predsjednik povjerenstva)
• Član povjerenstva: Vedran Čačić (član povjerenstva)
• Član povjerenstva: Juraj Šiftar (član povjerenstva)
• Član povjerenstva: Marko Vrdoljak (član povjerenstva)
• Ustanova koja je dodijelila akademski / stručni stupanj: Sveučilište u Zagrebu; Prirodoslovno-matematički fakultet; (Matematički odsjek); Zagreb
• Datum i država obrane: 2016-09-26, Hrvatska
• Znanstveno / umjetničko područje, polje i grana: PRIRODNE ZNANOSTI; Matematika

Sažetak

U ovom radu demonstrirali smo razvoj formalnih koncepata računalnih virusa. Prvo poglavlje daje pregled von Neumannovih staničnih automata koji su sadržavali sve alate kojima se računalni virus mogao definirati i izgraditi. Prvim dijelom drugog poglavlja predstavljamo osnovne rezultate doktorske disertacije Fredericka Cohena koji stvarno započinje razvoj ove teorije. Svakako najvažniji rezultat koji smo dali onaj je koji govori o neodlučivosti virusnog skupa, odnosno virusa. Konačno, drugim dijelom drugog poglavlja otkrivamo način na koji Cohenov mentor, Leonard Adleman, poopćuje teoriju koristeći se rekurzivnim funkcijama.

Sažetak (engleski)

In this thesis we have presented formalization of the basic concepts of computer viruses. First chapter deals with von Neumann’s cellular automata, which were in themselves sufficient for the definition of a virus and its construction. In the first part of the second chapter we give some of the results Frederick Cohen proved in his PhD thesis. It was Cohen who actually began the development of this theory. The fundamental result of this theory is undecidability of a viral set, that is the undecidability of a virus. Finally, in the second part of the second chapter we present how Cohen’s PhD supervisor, Leonard Adleman, generalized this theory by using recursive functions.

• Ključne riječi: računalni virus; von Neumannovi stanični automati; Cohen; neodlučivost virusnog skupa; Adleman; rekurzivne funkcije
• Ključne riječi (engleski): computer virus; von Neumann’s cellular automata; Cohen; undecidability of a viral set; Adleman; recursive functions
• Jezik: hrvatski
• URN:NBN: urn:nbn:hr:217:614005
• Studijski program: Naziv: Računarstvo i matematika; Vrsta studija: sveučilišni; Stupanj studija: diplomski; Akademski / stručni naziv: magistar/magistra računarstva i matematike (mag. inf. et math.)
• Vrsta resursa: Tekst
• Način izrade datoteke: Izvorno digitalna
• Prava pristupa: Otvoreni pristup
• Datum i vrijeme pohrane: 2019-01-30 12:49:29