Permission-Based Verification of Red-Black Trees and Their Merging.

Lukas Armborst Marieke Huisman

Published in: FormaliSE@ICSE (2021)

Keyphrases

model checking
decision trees
access control
formal methods
formal verification
information systems
relational databases
tree structure
third party
security policies
signature verification
tree models
merging algorithm