Quantitative Static Analysis of Communication Protocols Using Abstract Markov Chains.
Abdelraouf OuadjaoutAntoine MinéPublished in: SAS (2017)
Keyphrases
- markov chain
- static analysis
- communication protocols
- abstract interpretation
- dynamic analysis
- steady state
- source code
- finite state
- communication protocol
- random walk
- transition probabilities
- markov processes
- markov process
- state space
- communication networks
- markov model
- stationary distribution
- regular expressions
- stochastic process
- transition matrix
- probabilistic automata
- high level
- test suite
- pattern matching
- dynamic programming
- object oriented
- integrity constraints
- intrusion detection