Avancerad sökning

Hittade 2 avhandlingar som matchar ovanstående sökkriterier.

1. 1. 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. 2. Lightweight Inlined Reference Monitors for Securing Extensible and Open Systems

   Författare :Phu Phung; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Security; Inlined Reference Monitors; JavaScript; Vehicle Software Security;

   Sammanfattning : This thesis studies an alternative implementation of asecurity reference monitor in the contexts of extensible and opensystems. A security reference monitor is a classic approach to imposing asecurity policy on an otherwise untrusted system by using a trusted componentwhich intercepts security-relevant resource requests and applies a securitypolicy to decide whether to grant such requests. LÄS MER