Verification and synthesis for secrecy in discrete-event systems.

Shigemasa Takai Ratnesh Kumar

Published in: ACC (2009)

Keyphrases

discrete event systems
petri net
complex systems
model based diagnosis
telecommunication networks
failure diagnosis
discrete event
timed petri nets
model checking
temporal constraints
dynamic systems
relational databases
qualitative and quantitative
simulation model