Login / Signup

Exploiting Hot Spots in Heuristic Safety Analysis of Dynamic Access Control Models.

Marius SchlegelWinfried E. Kühnhauser
Published in: ICETE (2) (2020)
Keyphrases
  • hot spots
  • safety analysis
  • access control models
  • real time
  • access control
  • privacy aware
  • nuclear power plant
  • symbolic model checking
  • control system
  • artificial intelligence
  • key factors
  • safety critical