Sökning: "information flows"

Visar resultat 21 - 25 av 385 avhandlingar innehållade orden information flows.

1. 21. Verifying Information Flow Control Libraries

   Författare :Marco Vassena; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

   Sammanfattning : Information Flow Control (IFC) is a principled approach to protecting the confidentiality and integrity of data in software systems. Intuitively, IFC sys- tems associate data with security labels that track and restrict flows of information throughout a program in order to enforce security. LÄS MER

3. 22. Securing functional programs with floating-label information-flow control

   Författare :Pablo Buiras; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; covert timing channels; LIO; concurrency; type-level programming; floating-label; Haskell; internal timing; dynamic enforcement; DC labels; dynamic policies; lazy evaluation; information-flow control; cache-based attacks; language-based security; hybrid enforcement; flow-sensitivity; functional programming; privileges;

   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

4. 23. Modelling and Simulation of Turbulent Gas-Solid Flows applied to Fluidization

   Författare :Eric Peirano; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Eulerian models; fluidization; two-fluid model; two-phase flow; granular flow theory; turbulence; fluidized beds; gas-solid flows;

   Sammanfattning : Modelling of gas-solid suspensions has been studied with emphasis on suitable closure laws. A study of characteristic time scales and energy dissipation mechanisms is made for the case of a simple shear flow. Applications of the modelling are presented in the form of simulation and validation of experiments in fluidized beds. LÄS MER

5. 24. Digitalized industrial equipment : an investigation of remote diagnostics services

   Författare :Katrin Jonsson; Jonny Holmström; Ola Henfridsson; Umeå universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; boundary-spanning practices; e-maintenance; industry; information technology; IT-enabled services; remote diagnostics systems; ubiquitous computing; Informatics; computer and systems science; Informatik; data- och systemvetenskap;

   Sammanfattning : With the ubiquity of digitalization, digital convergence of applications, devices, networks and artifacts presents both challenges and opportunities for individuals, organizations and society. Physical artifacts that were not digital in the recent past are now increasingly becoming intertwined with digital components, providing them with digital capabilities. LÄS MER

7. 25. Optimisation and control of shear flows

   Författare :Antonios Monokrousos; Dan S. Henningson; Laurette Tuckerman; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; shear flows; flow control; optimal disturbances; Lagrange method; transition to turbulence; non-linear dynamics; Engineering mechanics; Teknisk mekanik;

   Sammanfattning : Transition to turbulence and flow control are studied by means of numerical simulations for different simple shear flows. Linear and non-linear optimisation methods using the Lagrange multiplier technique are employed. LÄS MER