Monitor Inlining in ABS
Independent thesis Advanced level (degree of Master (Two Years)), 20 credits / 30 HE creditsStudent thesis
Monitor inlining is a program rewriting technique to enforce security policy to an untrusted program. The program is modified so that the code for monitoring and policy enforcement is inserted into appropriate points. The embedded code will monitor the action of the program and alter its behavior in case of policy violation (security), otherwise interfere with it as little as possible (conservativity and transparency).
For sequential and multi threaded Java-like programs, inlining algorithms have been proposed, but for languages with different concurrency model, the problem remains to be solved. This master thesis is done in the context of the HATS (Highly Adaptable and Trustworthy Software) project. A framework for ConSpec policy enforcement for the Abstract Behavioral Specification (ABS) language is devised. ABS language is the central contribution of the HATS project, its concurrency model is based on Concurrent Object Groups, Asynchronous Method Calls and Futures. In the framework, an adapted version of ConSpec is used and implemented. The inliner is implemented in Java and is applied to the HATS case study trading system, and its correctness properties are discussed.
Place, publisher, year, edition, pages
IT, 11 012
IdentifiersURN: urn:nbn:se:uu:diva-150821OAI: oai:DiVA.org:uu-150821DiVA: diva2:408950
Rezine, AhmedJansson, Anders