Security in Persistently Reactive Systems.

Takumi Endo Junichi Miura Koichi Nanashima Shoichi Morimoto Yuichi Goto Jingde Cheng

Published in: EUC Workshops (2005)

Keyphrases

reactive systems
information flow
temporal logic
information security
model checking
security requirements
control flow
petri net
network security
security issues
formal methods
access control
intrusion detection
statistical databases
artificial intelligence
real time
security policies
real time systems