Please use this identifier to cite or link to this item:
|Title:||Aspect-oriented programming runtime-enforcement of temporal properties in security-critical software|
Pace, Gordon J.
Computer software -- Development
Real-time data processing
|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:
|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.