Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/22745
Title: | Aspect-oriented programming runtime-enforcement of temporal properties in security-critical software |
Authors: | Colombo, Christian Pace, Gordon J. |
Keywords: | Aspect-oriented programming Computer software -- Development Real-time data processing Computer security |
Issue Date: | 2007 |
Publisher: | University of Malta. Faculty of ICT |
Citation: | Colombo, C., & Pace, G. J. (2007). Aspect-oriented programming runtime-enforcement of temporal properties in security-critical software. 5th Computer Science Annual Workshop (CSAW’07), Msida. 150-161. |
Abstract: | The Aspect-Oriented Programming paradigm has been advocated for modularisation of cross-cutting concerns in large systems. Various applications of this approach have been explored in the literature, one of which is that of runtime-verification based on assertions or temporal properties. Manually weaving temporal properties to en- sure correct execution into a large code base is difficult to achieve in a clean, modular fashion, and AOP techniques enable independent specification of the properties to be automatically woven into the code. In this paper, we explore a number of applications of AOP-based runtime- verification with an emphasis on security-critical system development. Apart from weaving properties into existing programs, we show how related techniques can be used to approach security issues separately from the functionality of a module, allowing for better design of the actual system. Also, we explore AOP as a way of automatically ensuring that reusable code in a library is temporally correctly employed. An area in which not much work has yet been done is that of the use of AOP for runtime-verification of real-time properties. In our case studies we explore real-time issues and outline a proposal for automatic translation from real-time properties into code using AOP techniques. |
URI: | https://www.um.edu.mt/library/oar//handle/123456789/22745 |
Appears in Collections: | Scholarly Works - FacICTCS |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Proceedings of CSAW’07 - A15.pdf | 141.76 kB | Adobe PDF | View/Open |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.