Policy based runtime verification of information flow.

De Montfort University Open Research Archive

Show simple item record

dc.contributor.author Sarrab, Mohamed Khalefa
dc.date.accessioned 2011-05-05T15:50:10Z
dc.date.available 2011-05-05T15:50:10Z
dc.date.issued 2011-03
dc.identifier.uri http://hdl.handle.net/2086/4929
dc.description.abstract Standard security mechanism such as Access control, Firewall and Encryption only focus on controlling the release of information but no limitations are placed on controlling the propagation of that confidential information. The principle problem of controlling sensitive information confidentiality starts after access is granted. The research described in this thesis belongs to the constructive research field where the constructive refers to knowledge contributions being developed as a new framework, theory, model or algorithm. The methodology of the proposed approach is made up of eight work packages. One addresses the research background and the research project requirements. Six are scientific research work packages. The last work package concentrates on the thesis writing up. There is currently no monitoring mechanism for controlling information flow during runtime that support behaviour configurability and User interaction. Configurability is an important requirement because what is considered to be secure today can be insecure tomorrow. The interaction with users is very important in flexible and reliable security monitoring mechanism because different users may have different security requirements. The interaction with monitoring mechanism enables the user to change program behaviours or modify the way that information flows while the program is executing. One of the motivations for this research is the information flow policy in the hand of the end user. The main objective of this research is to develop a usable security mechanism for controlling information flow within a software application during runtime. Usable security refers to enabling users to manage their systems security without defining elaborate security rules before starting the application. Our aim is to provide usable security that enables users to manage their systems' security without defining elaborate security rules before starting the application. Security will be achieved by an interactive process in which our framework will query the user for security requirements for specific pieces of information that are made available to the software and then continue to enforce these requirements on the application using a novel runtime verification technique for tracing information flow. The main achievement of this research is a usable security mechanism for controlling information flow within a software application during runtime. Security will be achieved by an interactive process to enforce user requirements on the application using runtime verification technique for tracing information flow. The contributions are as following. Runtime Monitoring: The proposed runtime monitoring mechanism ensures that the program execution is contains only legal flows that are defined in the information flow policy or approved by the user. Runtime Management: The behaviour of a program that about to leak confidential information will be altered by the monitor according to the user decision. User interaction control: The achieved user interaction with the monitoring mechanism during runtime enable users to change the program behaviours while the program is executing. en
dc.description.sponsorship Libyan Embassy en
dc.language.iso en en
dc.publisher De Montfort University en
dc.title Policy based runtime verification of information flow. en
dc.type Thesis or dissertation en
dc.publisher.department Faculty of Technology en
dc.publisher.department Software Technology Research Laboratory (STRL) en
dc.type.qualificationlevel Doctoral en
dc.type.qualificationname PhD en


Files in this item

This item appears in the following Collection(s)

Show simple item record