University of Twente Student Theses

Login
This website will be unavailable due to maintenance December 1st between 8:00 and 12:00 CET.

Incremental verification of physical access control systems

Laan, J.H. van der (2021) Incremental verification of physical access control systems.

[img] PDF
2MB
Abstract:Managing physical access control policies is a complex task. To check that policy changes do not introduce security or configuration mistakes, formal verification can be employed. Unfortunately, most existing access control policy verifiers are not designed to analyze evolving policies. They reverify the policy and all policy invariants from scratch after each small change. This is highly inefficient when dealing with evolving policies. A better approach would be to verify policies incrementally, i.e. to re-use intermediary computations from previous verification attempts. In this research, we show how policy invariants on realistic evolving physical access control systems can be verified incrementally. This is done with the help of VIATRA: an open-source incremental model query and transformation framework based on incremental graph pattern matching. Through extensive benchmarking, we conclude that incremental verification is a promising avenue to speed-up reverification.
Item Type:Essay (Master)
Clients:
Nedap, Groenlo, Netherlands
Faculty:EEMCS: Electrical Engineering, Mathematics and Computer Science
Subject:54 computer science
Programme:Computer Science MSc (60300)
Link to this item:https://purl.utwente.nl/essays/85634
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page