Sökning: "Information Flow"
Visar resultat 11 - 15 av 1234 avhandlingar innehållade orden Information Flow.
11. Information Erasure: An Information-Flow Approach to Semantics and Enforcement
Sammanfattning : Many modern online services require sensitive data to complete their tasks. For this reason, guaranteeing security policies in such services is a major concern. The traditional (and well studied) aspects of security, namely confidentiality, integrity, and availability of data, capture many but not all desirable policies involving sensitive-data. LÄS MER
12. Information Flow for Web Security and Privacy
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
13. Network-Calculus-based Performance Analysis for Wireless Sensor Networks
Sammanfattning : Recently, wireless sensor network (WSN) has become a promising technologywith a wide range of applications such as supply chain monitoringand environment surveillance. It is typically composed of multiple tiny devicesequipped with limited sensing, computing and wireless communicationcapabilities. LÄS MER
14. Bio-inspired retinal optic flow perception in robotic navigation
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
15. Securing functional programs with floating-label information-flow control
Sammanfattning : The work presented in this thesis focuses on information-flow control systems for functional programs, particularly on the LIO library in Haskell. The thesis considers threemain aspects in this area: timing covert channels, dynamic policies andenforcement mechanisms that improve precision of the analysis. LÄS MER