Heuristic safety analysis of access control models.

Peter Amthor Winfried E. Kühnhauser Anja Pölck

Published in: SACMAT (2013)

Keyphrases

safety analysis
access control models
access control
nuclear power plant
safety critical
control system
privacy aware
fault model
symbolic model checking
data mining
security issues
access control policies
real time
distributed systems
fault tolerant
database security