20.500.12556/RUL-85828
RAZVOJ VARNE PROGRAMSKE OPREME ZA VGRAJENE SISTEME
DEVELOPMENT OF SECURE SOFTWARE FOR EMBEDDED SYSTEMS
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.
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.
računalniska varnost
varnost programske opreme
vgrajeni sistemi
izboljšanje varnosti programske opreme
varnost na osnovi teorije jezikov
programski jeziki
formalne metode
computer security
software security
embedded systems
improving software security
language theoretic security
programming languages
formal methods
true
false
false
Slovenski jezik
Angleški jezik
Magistrsko delo
2016-09-27 14:04:26
2016-09-27 14:04:28
2022-08-09 10:21:32
0000-00-00 00:00:00
2016
0
0
0000-00-00
NiDoloceno
NiDoloceno
NiDoloceno
0000-00-00
0000-00-00
0000-00-00
1970-01-01
34234
Vovk_Marko_-_RAZVOJ_VARNE_PROGRAMSKE_OPREME_ZA_VGRAJENE_SISTEME.pdf
Vovk_Marko_-_RAZVOJ_VARNE_PROGRAMSKE_OPREME_ZA_VGRAJENE_SISTEME.pdf
1
121AD0BD7318D6B72AE546D62A5C06E9
bfef525a88ded706b6a8b2c0b3ff6dff46845fac81a224506b83886faabda5b5
04868acf-a1b1-11eb-a523-00155dcfd717
20.500.12556/rul/3e328f93-8b83-4d34-9532-26790b784348
https://repozitorij.uni-lj.si/Dokument.php?lang=slv&id=88972
Fakulteta za elektrotehniko
0
0
0