Sökning: "Information Flow"
Visar resultat 6 - 10 av 1234 avhandlingar innehållade orden Information Flow.
6. Improving healthcare information systems : A key to evidence based medicine
Sammanfattning : Delivering good quality care is a complex endeavor that is highly dependent on patient information and medical knowledge. When decisions about the care of a patient are made, they must, as far as possible, be based on research-derived evidence rather than on clinical skills and experience alone. LÄS MER
7. Flexible and Practical Information-Flow Control
Sammanfattning : As more and more sensitive data is handled by software, itstrustworthiness becomes an increasingly important concern. This thesispresents work on ensuring that information that is processed bycomputing systems is not disclosed to third parties without the user'spermission; i.e. to prevent unwanted flows of information. LÄS MER
8. An Information Flow Approach to Fault-Tolerant Security and Information Erasure
Sammanfattning : Sensitive information is a crucial asset for both individuals and companies. Since it is processed in a largely automated way, it is important that the computational infrastructures are equipped with methods for reasoning about and enforcing security policies. Information flow security has been proposed for this purpose in many contexts. LÄS MER
9. Controlling Dependencies for Security and Privacy
Sammanfattning : This thesis explores several ways to diversify the field of Information Flow Control. At the heart of the field lie on one hand policies for describing limitations on information dependencies induced by a program, and on the other hand mechanisms to enforce such policies. LÄS MER
10. Flow Java : declarative concurrency for Java
Sammanfattning : This thesis presents the design, implementation, and evaluation of Flow Java, a programming language for the implementation of concurrent programs. Flow Java adds powerful programming abstractions for automatic synchronization of concurrent programs to Java. LÄS MER