Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/94361
Title: | Runtime monitoring of security-critical systems |
Authors: | Azzopardi, Christian Stephen (2007) |
Keywords: | Intelligent agents (Computer software) Computer programs Computer software -- Verification Security systems |
Issue Date: | 2007 |
Citation: | Azzopardi, C. S. (2007). Runtime monitoring of security-critical systems (Bachelor's dissertation). |
Abstract: | Software products are becoming increasingly difficult to test due to their size. System implementations are becoming too large and difficult to reason about their correctness. However, properties the system should conform to can usually be formally expressed in a succinct and concise manner. We propose to use such properties, compiled directly into code to support runtime monitoring of security-critical programs. We envisage a system in which the property monitor will run together with the critical system to enable us to stop the program, fix the problem, or perform any other action, if any of the monitored properties are violated. Properties will be independent of the main code, and no modifications to the original code would be needed as these monitors would complement it. These properties will be thus used to identify potential anomalies introduced with monitors. The system will be tested on a number of security-critical systems to explore the different types of properties which can be expressed, and its effectiveness. |
Description: | B.Sc. IT (Hons)(Melit.) |
URI: | https://www.um.edu.mt/library/oar/handle/123456789/94361 |
Appears in Collections: | Dissertations - FacICT - 1999-2009 |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
BSC(HONS)IT_Azzopardi_Christian_Stephen_2007.PDF Restricted Access | 2.19 MB | Adobe PDF | View/Open Request a copy | |
Azzopardi_Christian_Stephen_acc.material.pdf Restricted Access | 215.42 kB | Adobe PDF | View/Open Request a copy |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.