Sökning: "information flow control"

Visar resultat 1 - 5 av 362 avhandlingar innehållade orden information flow control.

  1. 1. 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

  3. 2. Nonlinear Identification and Control with Solar Energy Applications

    Författare :Linda Brus; Bengt Carlsson; Torbjörn Wigren; Graham C. Goodwin; Uppsala universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; feedforward control; model predictive control; nonlinear control; nonlinear systems; recursive identification; solar power; system identification; time delay systems; Automatic control; Reglerteknik; Reglerteknik; Automatic Control;

    Sammanfattning : Nonlinear systems occur in industrial processes, economical systems, biotechnology and in many other areas. The thesis treats methods for system identification and control of such nonlinear systems, and applies the proposed methods to a solar heating/cooling plant. LÄS MER

  4. 3. 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

  5. 4. Practical, Flexible programming with Information Flow Control

    Författare :Niklas Broberg; Göteborgs universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Programming languages; Computer security; Computer security; Programming languages;

    Sammanfattning : Mainstream mechanisms for protection of information security are not adequate. Most vulnerabilities today do not arise from deficiencies in network security or encryption mechanisms, but from software that fails to provide adequate protection for the information it handles. LÄS MER

  7. 5. Bio-inspired retinal optic flow perception in robotic navigation

    Författare :Björnborg Nguyen; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; robotic navigation; active fixation; visual perception; bionics; Retinal optic flow fields; gazing; optic flow; retinal flow path;

    Sammanfattning : This thesis concerns the bio-inspired visual perception of motion with emphasis on locomotion targeting robotic systems. By continuously registering moving visual features in the human retina, a sensation of a visual flow cue is created. An interpretation of visual flow cues forms a low-level motion perception more known as retinal optic flow. LÄS MER