Sökning: "language-based security"
Visar resultat 1 - 5 av 14 avhandlingar innehållade orden language-based security.
1. On the Foundations of Practical Language-Based Security
Sammanfattning : Language-based information flow control (IFC) promises to provide programming languages and tools that make it easy for developers to write secure code. Traditionally, research in this field aims to build a variant on a programming language or system that lets developers write code that gives them strong guarantees beyond the potential memory- and type-safety guarantees of modern languages. LÄS MER
2. Language Based Covert Channel Avoidance
Sammanfattning : 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. LÄS MER
3. Program Analysis Issues in Language Based Security
Sammanfattning : .... LÄS MER
4. Securing Interactive Systems
Sammanfattning : This thesis provides means to achieve end-to-end information-flow security in interactive systems. The elusiveness of this problem stems from the fact that interaction patterns, primitives, synchronous communication and nondeterminism combine in ways where seemingly innocuous systems compromise security in unexpected ways under interaction. LÄS MER
5. Flexible Information-Flow Control
Sammanfattning : As more and more sensitive data is handled by software, its trustworthiness becomes an increasingly important concern. This thesis presents work on ensuring that information processed by computing systems is not disclosed to third parties without the user's permission; i.e. to prevent unwanted flows of information. LÄS MER