Sökning: "security policy enforcement"

Visar resultat 11 - 15 av 23 avhandlingar innehållade orden security policy enforcement.

  1. 11. Inlined Reference Monitors : Certification,Concurrency and Tree Based Monitoring

    Författare :Andreas Lundblad; Mads Dam; Gul Agha; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Runtime monitoring; policy enforcement; tree automata; monitor inlining; certification; concurrency;

    Sammanfattning : Reference monitor inlining is a technique for enforcing security policies by injecting security checks into the untrusted software in a style similar to aspect-oriented programming. The intention is that the injected code enforces compliance with the policy (security), without adding behavior (conservativity) or affecting existing policy compliant behavior (transparency). LÄS MER

  3. 12. Secure and Trusted Mobile Commerce System based on Virtual Currencies

    Författare :Ioannis Kounelis; Sead Muftic; Fisseha Mekuria; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; security; secure e-mail; mobile commerce; uicc; crypto currency; Computer Science; Datalogi;

    Sammanfattning : With the widespread usage of mobile devices and their applications, many areas of innovation have created a multitude of opportunities for mobile technologies to be deployed with very interesting effects. One such new area that emerged in the last few years is mobile commerce. LÄS MER

  4. 13. Law and Social Exclusion : The functions and dysfunctions of the Swedish legal system in light of overindebtedness among immigrants

    Författare :Davor Vuleta; Rättssociologiska institutionen; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Debt collection; Debtor; Economic security; Financial exclusion; Immigrants; Law; Legal cultrue; Manifest and latent; Middle range theory; Migration; Mixed methods; Over-indebtedness; Register data; Robert Merton; Social exclusion; Socio-economic status; Sociology of law; Sweden; Swedish Enforcement Authority; Functions and dysfunctions;

    Sammanfattning : In terms of its total population, Sweden is one of the countries with the highest proportion of immigrants in the EU. Several factors are critical in integrating immigrants, especially their economic security in a new country. This thesis examines the relationship between law enforcement and economic security for over- indebted immigrants. LÄS MER

  5. 14. Information-Flow Tracking for Web Security

    Författare :Luciano Bello; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : The Web is evolving into a melting pot of content coming from multiple stakeholders. In this mutually distrustful setting, the combination of code and data from different providers demands new security approaches.This thesis explores information-flow control technologies to provide security for the current Web. LÄS MER

  7. 15. Logics for Information Flow Security:From Specification to Verification

    Författare :Musard Balliu; Mads Dam; David Naumann; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computer Science; Datalogi;

    Sammanfattning : Software is becoming  increasingly  ubiquitous and today we find software running everywhere. There is software driving our favorite  game  application or  inside the web portal we use to read the morning  news, and   when we book a vacation. LÄS MER