Sökning: "dynamic enforcement"

Visar resultat 16 - 20 av 30 avhandlingar innehållade orden dynamic enforcement.

  1. 16. Managing Service Levels in Grid Computing Systems : Quota Policy and Computational Market Approaches

    Författare :Thomas Sandholm; Lennart Johnsson; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Grid Market; Computational Grid; Service Level Management; QoS; HPC; Grid Middleware; Computer science; Datavetenskap;

    Sammanfattning : We study techniques to enforce and provision differentiated service levels in Computational Grid systems. The Grid offers simplified provisioning of peak-capacity for applications with computational requirements beyond local machines and clusters, by sharing resources across organizational boundaries. LÄS MER

  3. 17. Tracking Dependencies for Security and Privacy

    Författare :Arnar Birgisson; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Programming Languages; Software Security; Web Security;

    Sammanfattning : Information Flow Control is a well established field of research, providing asuite of theoretical and practical results. However, adoption to real worldsystems has yet to catch up. This thesis seeks to expand the boundaries ofthis field, in particular with the aim of making Information Flow Control moreapplicable to real world scenarios. LÄS MER

  4. 18. 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

  5. 19. Flexible and Practical Information-Flow Control

    Författare :Daniel Schoepe; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; software security; information flow;

    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

  7. 20. Machine Tool Dynamics - A constrained state-space substructuring approach

    Författare :Anders Liljerehn; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; State-space component synthesis; System identification; Receptance coupling; Chatter stability; Metal cutting; State-space models;

    Sammanfattning : Metal cutting is today one of the leading forming processes in the manufacturing industry. The metal cutting industry houses several actors providing machine tools and cutting tools with a fierce competition as a consequence. Extensive efforts are made to improve the performance of both machine tools and cutting tools. LÄS MER