Login / Signup

Efficient Heuristic Safety Analysis of Core-based Security Policies.

Peter Amthor
Published in: SECRYPT (2017)
Keyphrases
  • security policies
  • safety analysis
  • access control
  • dynamic programming
  • expert systems
  • artificial intelligence
  • nuclear power plant