Weak Bisimulation for Probabilistic Timed Automata and Applications to Security.
Ruggero LanotteAndrea Maggiolo-SchettiniAngelo TroinaPublished in: SEFM (2003)
Keyphrases
- timed automata
- model checking
- reachability analysis
- bayesian networks
- information security
- security requirements
- intrusion detection
- theorem prover
- first order logic
- probabilistic model
- security issues
- generative model
- access control
- security systems
- security policies
- key management
- information assurance
- security problems
- probabilistic logic
- security mechanisms
- network security
- belief networks
- uncertain data
- database systems
- sensitive data
- statistical databases
- security threats
- security measures
- information systems