Non-Interference Control Synthesis for Security Timed Automata.

Guillaume Gardey John Mullins Olivier H. Roux

Published in: Electron. Notes Theor. Comput. Sci. (2007)

Keyphrases

timed automata
model checking
intrusion detection
optimal control
reachability analysis
information security
control system
access control
network security
security issues
theorem prover
control method
security policies
mobile robot
first order logic
expert systems
computer security
program synthesis