Finite-state verification of the ebXML protocol.
Marina MongielloPublished in: Electron. Commer. Res. Appl. (2006)
Keyphrases
- finite state
- model checking
- model checker
- temporal logic
- cryptographic protocols
- formal verification
- markov chain
- protocol specification
- formal specification
- formal analysis
- formal methods
- markov decision processes
- vector quantizer
- continuous time bayesian networks
- transition systems
- concurrent systems
- tree automata
- average cost
- context free
- action sets
- objective function