Sökning: "Carlos Tomé Cortiñas"

Hittade 2 avhandlingar innehållade orden Carlos Tomé Cortiñas.

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

3. 2. On the Foundations of Information-Flow Control and Effects

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

   Sammanfattning : There is no doubt that society depends crucially on software systems. Correct software is therefore a pressing matter. An important aspect of software correctness is security: for example, a banking application is secure, if at least it does not send your credit card number to an unauthorised third party. LÄS MER