Please use this identifier to cite or link to this item:
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.
Appears in Collections:Scholarly Works - FacICTCS

Files in This Item:
File Description SizeFormat 
Proceedings of CSAW’07 - A15.pdf141.76 kBAdobe PDFView/Open

Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.