RAZVOJ VARNE PROGRAMSKE OPREME ZA VGRAJENE SISTEME

VOVK, MARKO (avtor), Tomažič, Sašo (mentor)

Magistrsko delo proučuje različne vidike razvoja varne programske opreme za vgrajene sisteme, pri katerih predstavljajo model nevarnosti zlonamerni vhodni podatki, ki pridejo v sistem preko komunikacijskega omrežja ali senzorjev in izkoristijo napako v izvedbi programske opreme. Poudarek je na obravnavi varnostnih problemov, ki jih povzročijo različne sistemske arhitekturne rešitve. Obravnava tudi nedaven napredek pri razumevanju temeljnih omejitev načrtovanja varne programske opreme s stališča teoretičnega računalništva, predvsem teorije izračunljivosti in teorije jezikov, ki določa, kakšne sisteme je sploh mogoče pravilno izvesti iz vidika obrambe pred zlonamernimi vhodnimi podatki. Obravnavani vidiki so ponazorjeni na primeru varnega načrtovanja programske opreme za razčlembo preprostih komunikacijskih sporočil preprostega komunikacijskega protokola.

• Jezik: Slovenski jezik
• Ključne besede: računalniska varnost, varnost programske opreme, vgrajeni sistemi, izboljšanje varnosti programske opreme, varnost na osnovi teorije jezikov, programski jeziki, formalne metode
• Vrsta gradiva: Magistrsko delo
• Organizacija: FE - Fakulteta za elektrotehniko
• Leto izida: 2016
• PID: 20.500.12556/RUL-85828
• Datum objave v RUL: 27.09.2016

VOVK, MARKO, 2016, RAZVOJ VARNE PROGRAMSKE OPREME ZA VGRAJENE SISTEME [na spletu]. Magistrsko delo. [Dostopano 9 julij 2025]. Pridobljeno s: https://repozitorij.uni-lj.si/IzpisGradiva.php?lang=slv&id=85828

Sekundarni jezik

• Jezik: Angleški jezik
• Naslov: DEVELOPMENT OF SECURE SOFTWARE FOR EMBEDDED SYSTEMS

Izvleček

This master thesis addresses various aspects of secure software development for embedded systems where the threat model consists of malicious input data that come from a communication network or sensors and exploit an error in software implementation. The emphasis is on the analysis of security implications of various system architecture decisions. In this regard, the recent development in the understanding of secure software development from the theoretical computer science point of view is presented. Computation and language theory can determine what kind of systems is possible to implement securely in terms of the malicious input data. The presented aspects of secure software development are demonstrated in designing and implementing of a parser for a simple message format of a simple communication protocol.

• Ključne besede: computer security, software security, embedded systems, improving software security, language theoretic security, programming languages, formal methods