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