Sökning: "aspect-oriented programming"
Visar resultat 11 - 15 av 15 avhandlingar innehållade orden aspect-oriented programming.
11. Rewritable Reference Attributed Grammars - design, implementation, and applications
Sammanfattning : This thesis presents an object-oriented technique for rewriting abstract syntax trees in order to simplify compilation. The technique, Rewritable Reference Attributed Grammars (ReRAGs), is completely declarative and supports both rewrites and computations by means of attributes. LÄS MER
12. Lightweight Inlined Reference Monitors for Securing Extensible and Open Systems
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
13. Operation Specification for Sequence Planning and Automation Design
Sammanfattning : When designing an automation system, an important challenge is to specify the different tasks, or operations, of the system. This has become a problematic bottle-neck in industry, since the rising needs on manufacturing flexibility increases the complexity of the entire manufacturing system, as well as its control function. LÄS MER
14. Lightweight Enforcement of Fine-Grained Security Policies for Untrusted Software
Sammanfattning : This thesis presents an innovative approach to implementing a security enforcement mechanism in the contexts of untrusted software systems, where a piece of code in a base system may come from an untrusted third party. The key point of the approach is that it is lightweight in the sense that it does not need an additional policy language or extra tool. LÄS MER
15. Inlined Reference Monitors : Certification,Concurrency and Tree Based Monitoring
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