<?xml version="1.0"?>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:dc="http://purl.org/dc/elements/1.1/"><rdf:Description rdf:about="https://repozitorij.uni-lj.si/IzpisGradiva.php?id=85828"><dc:title>RAZVOJ VARNE PROGRAMSKE OPREME ZA VGRAJENE SISTEME</dc:title><dc:creator>VOVK,	MARKO	(Avtor)
	</dc:creator><dc:creator>Tomažič,	Sašo	(Mentor)
	</dc:creator><dc:subject>računalniska varnost</dc:subject><dc:subject>varnost programske opreme</dc:subject><dc:subject>vgrajeni sistemi</dc:subject><dc:subject>izboljšanje varnosti programske opreme</dc:subject><dc:subject>varnost na osnovi teorije jezikov</dc:subject><dc:subject>programski jeziki</dc:subject><dc:subject>formalne metode</dc:subject><dc:description>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.</dc:description><dc:date>2016</dc:date><dc:date>2016-09-27 14:04:26</dc:date><dc:type>Magistrsko delo</dc:type><dc:identifier>85828</dc:identifier><dc:language>sl</dc:language></rdf:Description></rdf:RDF>