University of Twente Student Theses
Incremental verification of physical access control systems
Laan, J.H. van der (2021) Incremental verification of physical access control systems.
|
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 |
Show download statistics for this publication
Show download statistics for this publicationRepository Staff Only: item control page