Notions of security and opacity in discrete event systems.
Anooshiravan SabooriChristoforos N. HadjicostisPublished in: CDC (2007)
Keyphrases
- discrete event systems
- petri net
- complex systems
- model based diagnosis
- telecommunication networks
- failure diagnosis
- timed petri nets
- discrete event
- information security
- security issues
- network security
- access control
- security requirements
- security policies
- intrusion detection
- statistical databases
- temporal constraints
- multi agent