Sökning: "Information flow security"

Visar resultat 1 - 5 av 74 avhandlingar innehållade orden Information flow security.

  1. 1. Information-Flow Tracking for Dynamic Languages

    Författare :Luciano Bello; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; information security; information integrity; dependency analysis; information confidentiality; information flow; privacy;

    Sammanfattning : This thesis explores information-flow tracking technologies and their applicability on industrial-scale dynamic programming languages. We aim to narrow the gap between the need for flexibility in current dynamic languages and the solid well-studied mechanisms from academia. LÄS MER

  3. 2. Guarding the Boundary: Information Flow Tracking in the Presence of Libraries

    Författare :Alexander Sjösten; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; web security; browser extensions; large-scale study; language-based security; information-flow control; side-effectful libraries;

    Sammanfattning : In modern software development, the use of libraries is prevalent. Libraries pose a big security challenge. How can we ensure that sensitive data is not being leaked through libraries? This is the first question of the thesis. LÄS MER

  4. 3. Flexible Information-Flow Control

    Författare :Daniel Schoepe; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; software security; information-flow control; program verification; language-based security;

    Sammanfattning : As more and more sensitive data is handled by software, its trustworthiness becomes an increasingly important concern. This thesis presents work on ensuring that information processed by computing systems is not disclosed to third parties without the user's permission; i.e. to prevent unwanted flows of information. LÄS MER

  5. 4. Controlling Dependencies for Security and Privacy

    Författare :Arnar Birgisson; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; dependency analysis; information security; information flow; privacy; information integrity; information confidentiality;

    Sammanfattning : This thesis explores several ways to diversify the field of Information Flow Control. At the heart of the field lie on one hand policies for describing limitations on information dependencies induced by a program, and on the other hand mechanisms to enforce such policies. LÄS MER

  7. 5. Information Flow for Web Security and Privacy

    Författare :Alexander Sjösten; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; browser extensions; side-effectful libraries; information-flow control; web security; filter list generation; browser fingerprinting;

    Sammanfattning : The use of libraries is prevalent in modern web development. But how to ensure sensitive data is not being leaked through these libraries? This is the first challenge this thesis aims to solve. LÄS MER