Parallel Real Time Investigation of Communication Security Changes Based on Probabilistic Timed Automata.
Henryk PiechGrzegorz GrodzkiPublished in: BIS (2016)
Keyphrases
- real time
- timed automata
- real time systems
- wireless sensor
- data acquisition
- packet switched
- situational awareness
- communication systems
- reachability analysis
- multimedia communication
- network security
- model checking
- access control
- generative model
- cyber physical systems
- secure communication
- physical layer
- probabilistic model
- low cost
- security requirements
- security issues
- computer networks
- shared memory
- high speed
- theorem prover
- communication protocols
- communication networks
- information security
- bayesian networks
- statistical databases
- parallel computing
- parallel implementation
- software engineering
- sensor networks
- control system
- control center
- artificial intelligence