Modelling Social-Technical Attacks with Timed Automata.
Nicolas DavidAlexandre DavidRené Rydhof HansenKim Guldstrand LarsenAxel LegayMads Chr. OlesenChristian W. ProbstPublished in: MIST@CCS (2015)
Keyphrases
- timed automata
- model checking
- reachability analysis
- social issues
- social aspects
- countermeasures
- social networks
- social media
- social interaction
- theorem proving
- computer professionals
- real time
- malicious attacks
- real time systems
- theorem prover
- social context
- denial of service attacks
- temporal logic
- first order logic
- bayesian networks
- machine learning
- network security
- social behavior
- watermarking technique
- security threats
- security risks
- social networking
- markov decision processes