Semi-Automatic Software Security Model Extraction: Semi-Automatic Extraction of Security Relevant Information from Source Code for Formally Based Security Models

Visa enkel post
dc.contributor.authorFARHAND, NEDA
dc.contributor.departmentChalmers tekniska högskola / Institutionen för data och informationstekniksv
dc.contributor.examinerSteghöfer, Jan-Philipp
dc.contributor.supervisorTuma, Katja
dc.contributor.supervisorScandariato, Riccardo
dc.date.accessioned2019-10-31T09:31:39Z
dc.date.available2019-10-31T09:31:39Z
dc.date.issued2019sv
dc.date.submitted2019
dc.description.abstractAs society becomes increasingly integrated and dependant on software systems, software security is more relevant than ever before. In order to ensure that software applications are secure, different threat modelling techniques are employed. However, many of these rely a great deal on the availability of a security expert and require significant manual effort, often resulting in high time consumption. This thesis describes the development of a tool which automatically extracts a formally specified representation of the software architecture with extended security annotations. The extracted architectural model is known as a “SecDFD”, which is a graph-like representation of software architecture populated with security relevant information from source code, which in turn allows for automated analysis of information flow properties. The SecDFD extraction tool performs semi-automatic extraction of architectural security information from the implementation by processing textual representation of call-graphs together with the source code of the project under analysis. The tool was evaluated by black box testing, and controlled empirical experiments. Our evaluation shows that, while the tool requires further work, it holds potential for use in threat modelling activities.sv
dc.identifier.coursecodeDATX05sv
dc.identifier.urihttps://hdl.handle.net/20.500.12380/300502
dc.language.isoengsv
dc.setspec.uppsokTechnology
dc.subjectSoftwaresv
dc.subjectSecuritysv
dc.subjectAutomationsv
dc.subjectExtractionsv
dc.subjecteDFDsv
dc.subjectThreat Modelingsv
dc.titleSemi-Automatic Software Security Model Extraction: Semi-Automatic Extraction of Security Relevant Information from Source Code for Formally Based Security Modelssv
dc.type.degreeExamensarbete för masterexamensv
dc.type.uppsokH
Ladda ner
Original bundle
Visar 1 - 1 av 1
Bild (thumbnail)
Namn:
CSE 19-110 ODR Farhand.pdf
Storlek:
1.39 MB
Format:
Adobe Portable Document Format
Beskrivning:
Semi-Automatic Software Security Model Extraction
Ladda ner
License bundle
Visar 1 - 1 av 1
Bild (thumbnail)
Namn:
license.txt
Storlek:
1.14 KB
Format:
Item-specific license agreed upon to submission
Beskrivning:
Ladda ner
Samling
Examensarbeten för masterexamen