Full metadata record
DC FieldValueLanguage
dc.contributor.advisorJürjens, Jan-
dc.contributor.authorOchoa Ronderos, Martín-
dc.date.accessioned2012-08-23T08:38:01Z-
dc.date.available2012-08-23T08:38:01Z-
dc.date.issued2012-08-23-
dc.identifier.urihttp://hdl.handle.net/2003/29594-
dc.identifier.urihttp://dx.doi.org/10.17877/DE290R-4859-
dc.description.abstractAchieving security in practical systems is a hard task. As it is the case for other critical system properties (i.e. safety), security should be a concern through all the phases of software development, starting with the very early phases of requirements and design, because of the potential impact of unwanted behaviour. Moreover, it remains a critical concern throughout a system's life-span, because functionality driven updates or re-engineering of a system can have an impact on its security. The cost of using formal methods is clearly justified for critical applications. But in the context of a wider class of industrial applications answers to two questions are important: What are the gains and limitations of light-weight formal security guarantees achieved at different abstraction levels? What are the advantages of those techniques for reasoning about change? For the first question, we discuss different detailed modelling techniques, ranging from UML models to CPU cache modelling at the level of binary code. To tackle the second question, we discuss results on compositionality and incremental verification techniques which, besides being useful tools for verification in general, allow re-utilization of existing verification results in case of changes in the models. We apply these techniques to exemplary security properties with focus on confidentiality, and pin down security assumptions and guarantees of information flow control across levels of abstraction.en
dc.language.isoende
dc.subjectSecurityen
dc.subjectUMLen
dc.subjectVerificationen
dc.subject.ddc004-
dc.titleModel based security guarantees and changeen
dc.typeTextde
dc.contributor.refereeViganò, Luca-
dc.date.accepted2012-07-16-
dc.type.publicationtypedoctoralThesisde
dcterms.accessRightsopen access-
Appears in Collections:LS 14 Software Engineering

Files in This Item:
File Description SizeFormat 
Dissertation.pdfDNB1.53 MBAdobe PDFView/Open


This item is protected by original copyright



This item is protected by original copyright rightsstatements.org