Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols.
José MeseguerPrasanna ThatiPublished in: High. Order Symb. Comput. (2007)
Keyphrases
- cryptographic protocols
- reachability analysis
- model checking
- formal verification
- markov decision processes
- timed automata
- temporal logic
- incremental algorithms
- authentication protocol
- state space
- security protocols
- standard model
- optimal policy
- machine learning
- dynamic programming
- lightweight
- optimal solution
- reinforcement learning
- learning algorithm