izpis_h1_title_alt

RAZVOJ VARNE PROGRAMSKE OPREME ZA VGRAJENE SISTEME
VOVK, MARKO (Author), Tomažič, Sašo (Mentor) More about this mentor... This link opens in a new window

.pdfPDF - Presentation file, Download (526,48 KB)

Abstract
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.

Language:Slovenian
Keywords:računalniska varnost, varnost programske opreme, vgrajeni sistemi, izboljšanje varnosti programske opreme, varnost na osnovi teorije jezikov, programski jeziki, formalne metode
Work type:Master's thesis (m2)
Organization:FE - Faculty of Electrical Engineering
Year:2016
Views:835
Downloads:247
Metadata:XML RDF-CHPDL DC-XML DC-RDF
 
Average score:(0 votes)
Your score:Voting is allowed only to logged in users.
:
Share:AddThis
AddThis uses cookies that require your consent. Edit consent...

Secondary language

Language:English
Title:DEVELOPMENT OF SECURE SOFTWARE FOR EMBEDDED SYSTEMS
Abstract:
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.

Keywords:computer security, software security, embedded systems, improving software security, language theoretic security, programming languages, formal methods

Similar documents

Similar works from RUL:
Similar works from other Slovenian collections:

Comments

Leave comment

You have to log in to leave a comment.

Comments (0)
0 - 0 / 0
 
There are no comments!

Back