Command Dependencies in Heuristic Safety Analysis of Access Control Models.

Peter Amthor Martin Rabe

Published in: FPS (2019)

Keyphrases

safety analysis
access control models
access control
nuclear power plant
control system
privacy aware
safety critical
symbolic model checking
fault model
database security
security issues
access control policies
real time
web services
data management
model checking