Search for dissertations about: "systems assurance"

Showing result 1 - 5 of 102 swedish dissertations containing the words systems assurance.

  2. 1. A Socio-technical Analysis of Information Systems Security Assurance : A Case Study for Effective Assurance

    Author : Job Asheri Chaula; Louise Yngström; Mariki Eloff; Stockholms universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer and systems science; Data- och systemvetenskap;

    Abstract : This thesis examines the concepts of Information System (IS) security assurance using a socio-technical framework. IS security assurance deals with the problem of estimating how well a particular security system will function efficiently and effectively in a specific operational environment. READ MORE

  4. 2. Towards Understanding and Applying Security Assurance Cases for Automotive Systems

    Author : Mazen Mohamad; Göteborgs universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; security claims; assurance case; evidence; arguments; automotive; security; automotive systems;

    Abstract : Security Assurance Cases (SAC) are structured bodies of arguments and evidence used to reason about security properties of a certain artefact. SAC are gaining focus in the automotive domain as the need for security assurance is growing due to software becoming a main part of vehicles. READ MORE

  5. 3. Engineering Software for Resilient Cyber-Physical Systems

    Author : Ricardo Diniz Caldas; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Abstract : Designing, implementing, and verifying resilient cyber-physical systems is challenging. Resilience is the ability to provide the required capability when facing adversity. READ MORE

  6. 4. Towards Efficiency and Quality Assurance in Threat Analysis of Software Systems

    Author : Katja Tuma; Göteborgs universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Secure Software Design; Threat Analysis Modeling ; Secure Software Design; Threat Analysis Modeling ;

    Abstract : Context: Security threats have been a growing concern in many organizations. Organizations developing software products strive to plan for security as soon as possible to mitigate such potential threats. READ MORE

  7. 5. Automated Approaches for Formal Verification of Embedded Systems Artifacts

    Author : Predrag Filipovikj; Cristina Seceleanu; Jim Woodcock; Mälardalens högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; embedded systems; Simulink; systems specifications; model-checking; formal verification; Computer Science; datavetenskap;

    Abstract : Modern embedded software is so large and complex that creating the necessary artifacts, including system requirements specifications and design-time models, as well as assuring their correctness have become difficult to manage. One challenge stems from the high number and intricacy of system requirements that combine functional and possibly timing or other types of constraints, which make them hard to analyze. READ MORE