Sökning: "information flow"

Visar resultat 16 - 20 av 1243 avhandlingar innehållade orden information flow.

1. 16. Pervasive GameFlow : Identifying and Exploring the Mechanisms of Player Enjoyment in Pervasive Games

   Författare :Kalle Jegers; Mikael Wiberg; Charlotte Wiberg; Victor Kaptelinin; Staffan Björk; Umeå universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Pervasive games; Playability; Flow; GameFlow; Informatics; Informatik; människa-datorinteraktion; människa-datorinteraktion;

   Sammanfattning : Pervasive games are computer games that build, to various extents, on social interaction as a driving force in the game play, on integration between physical and virtual worlds and on constant access to constantly ongoing games from virtually every existing context (anytime, anywhere gaming). This new genre of computer games presents many challenges for both researchers and industry; one of the most important is how to understand enjoyable player experiences in this new kind of computer gaming. LÄS MER

3. 17. Foundations of Information-Flow Control and Effects

   Författare :Carlos Tomé Cortiñas; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Information-flow control; Programming languages; Language-based security;

   Sammanfattning : In programming language research, information-flow control (IFC) is a technique for enforcing a variety of security aspects, such as confidentiality of data, on programs. This Licenciate thesis makes novel contributions to the theory and foundations of IFC in the following ways: Chapter A presents a new proof method for showing the usual desired property of noninterference; Chapter B shows how to securely extend the concurrent IFC language MAC with asynchronous exceptions; and, Chapter C presents a new and simpler language for IFC with effects based on an explicit separation of pure and effectful computations. LÄS MER

4. 18. MAC, A Verified Information-Flow Control Library

   Författare :Marco Vassena; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Haskell; NonInterference; Agda; Functional Programming; Information-Flow Control;

   Sammanfattning : Information Flow Control (IFC) is a language-based security mechanism that tracks where data flows within a program and prevents leakage of sensitive data. IFC has been embedded in pure functional languages such as Haskell, in the form of a library, thus reducing the implementation and maintenance effort and fostering a secure-by-construction programming-model. LÄS MER

5. 19. Tracking Information Flows in Interactive and Object-Oriented Programs

   Författare :Willard Thor Rafnsson; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; information security; privacy; static analysis; information flow; program analysis; confidentiality; dependency analysis;

   Sammanfattning : This thesis improves the current state of the art on information-flow control of interactive and object-oriented programs, respectively. Given a policy which specifies which information flows are permitted in a program, the objective here is to ensure that only flows satisfying the policy can occur. LÄS MER

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