Search for dissertations about: "information flow control"

Showing result 1 - 5 of 354 swedish dissertations containing the words information flow control.

2. 1. Flexible Information-Flow Control

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

   Abstract : 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. READ MORE

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

   Author : Linda Brus; Bengt Carlsson; Torbjörn Wigren; Graham C. Goodwin; Uppsala universitet; []
   Keywords : 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;

   Abstract : 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. READ MORE

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

   Author : Alexander Sjösten; Chalmers tekniska högskola; []
   Keywords : 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;

   Abstract : 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. READ MORE

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

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

   Abstract : 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. READ MORE

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

   Author : Björnborg Nguyen; Chalmers tekniska högskola; []
   Keywords : 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;

   Abstract : 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. READ MORE