Change search
ReferencesLink to record
Permanent link

Direct link
Monitor Inlining in ABS
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology.
2011 (English)Independent thesis Advanced level (degree of Master (Two Years)), 20 credits / 30 HE creditsStudent thesis
Abstract [en]

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
URN: urn:nbn:se:uu:diva-150821OAI: diva2:408950
Available from: 2011-04-06 Created: 2011-04-06 Last updated: 2011-04-06Bibliographically approved

Open Access in DiVA

fulltext(577 kB)178 downloads
File information
File name FULLTEXT01.pdfFile size 577 kBChecksum SHA-512
Type fulltextMimetype application/pdf

By organisation
Department of Information Technology

Search outside of DiVA

GoogleGoogle Scholar
Total: 178 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 303 hits
ReferencesLink to record
Permanent link

Direct link