Sökning: "Software Security"

Visar resultat 1 - 5 av 137 avhandlingar innehållade orden Software Security.

  1. 1. Lightweight Enforcement of Fine-Grained Security Policies for Untrusted Software

    Författare :Phu Phung; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; security policy enforcement; JavaScript security; web-application security; vehicle software security; untrusted software;

    Sammanfattning : This thesis presents an innovative approach to implementing a security enforcement mechanism in the contexts of untrusted software systems, where a piece of code in a base system may come from an untrusted third party. The key point of the approach is that it is lightweight in the sense that it does not need an additional policy language or extra tool. LÄS MER

  3. 2. Improving Software Security by Preventing Known Vulnerabilities

    Författare :David Byers; Nahid Shahmehri; David Basin; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Software security; software process improvement;

    Sammanfattning : From originally being of little concern, security has become a crucial quality factor in modern software. The risk associated with software insecurity has increased dramatically with increased reliance on software and a growing number of threat agents. Nevertheless, developers still struggle with security. LÄS MER

  4. 3. Tracking Dependencies for Security and Privacy

    Författare :Arnar Birgisson; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Programming Languages; Software Security; Web Security;

    Sammanfattning : Information Flow Control is a well established field of research, providing asuite of theoretical and practical results. However, adoption to real worldsystems has yet to catch up. This thesis seeks to expand the boundaries ofthis field, in particular with the aim of making Information Flow Control moreapplicable to real world scenarios. LÄS MER

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

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

    Sammanfattning : 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. LÄS MER

  7. 5. Predictability By Construction : Working the Architecture/Program Seam

    Författare :Kurt C. Wallnau; Ivica Crnkovic; Magnus Larsson; Hans Hansson; Clemens Szyperski; Mälardalens högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; software engineering; software architecture; software components; quality attributes; Software engineering; Programvaruteknik; Computer Science; datavetenskap;

    Sammanfattning : Contemporary software engineering practice overemphasizes the distinction of software design from software implementation, and designer (“software architect”) from implementor (“computer programmer”). In this contemporary meme, software architects are concerned with large-grained system structures, quality attributes that arise from these structures (security, availability, performance, etc. LÄS MER