Sökning: "Gul Agha"

Hittade 1 avhandling innehållade orden Gul Agha.

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