Search for dissertations about: "covert"

Showing result 1 - 5 of 33 swedish dissertations containing the word covert.

  2. 1. Language Based Covert Channel Avoidance

    Author : Daniel Hedin; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : Common protection mechanisms fail to provide end-to-end security; programs with legitimate access to secret information are not prevented from leaking this to the world by accident or malice. Protecting the access to information is not enough to solve this problem. We have to ensure that the program uses the information in a secure way. READ MORE

  4. 2. Language Support for Controlling Timing-Based Covert Channels

    Author : Alejandro Russo; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; information-flow; language-based security; semaphores; non-interference; Haskell; library; concurrency; internal timing covert channel;

    Abstract : The problem of controlling information flow in multithreaded programs remains an important open challenge.A major difficulty for tracking information flow in concurrent programs is due to the internal timing covert channel. READ MORE

  5. 3. Type Based Techniques for Covert Channel Elimination and Register Allocation

    Author : Johan Agat; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; type and effect systems; program analysis; functional languages; confidentiality; register allocation; privacy; computer security; covert timing channels; program transformation; information flow; type systems;

    Abstract : As the title suggests, this thesis consists of two parts that address two rather different topics. The first part investigates secure information flow in sequential programs, with the aim of completely eliminating covert timing channels. The second part presents a technique to describe register allocation for a functional language. READ MORE

  6. 4. Securing concurrent programs with dynamic information-flow control

    Author : Pablo Buiras; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; dynamic; lazy evaluation; LIO; Haskell; information-flow control; cache; covert channels; covert timing channels; concurrency;

    Abstract : The work presented in this thesis focusses on dealing with timingcovert channels in dynamic information-flow control systems,particularly for the LIO library in Haskell.Timing channels are dangerous in the presence ofconcurrency. READ MORE

  7. 5. Effects of retrieval and articulation on memory

    Author : Max Larsson Sundqvist; Fredrik Jönsson; Timo Mäntylä; Peter Verkoeijen; Stockholms universitet; []
    Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; testing effect; covert retrieval; overt retrieval; judgments of learning; delayed JOL effect; response format; retention interval; Psychology; psykologi;

    Abstract : Many would agree that learning occurs when new information is stored in memory. Therefore, most learning efforts typically focus on encoding processes, such as additional study or other forms of repetition. However, as I will outline in this thesis, there are other means by which to improve memory, such as retrieval practice in the form of tests. READ MORE