Formal verification of TLS 1.2 by automatically generating proof scores.
Duong Dinh TranKazuhiro OgataPublished in: Comput. Secur. (2022)
Keyphrases
- automatically generating
- formal verification
- model checking
- automatically generated
- model checker
- automated verification
- bounded model checking
- symbolic model checking
- program slicing
- linear logic
- theorem prover
- theorem proving
- functional verification
- dynamic programming
- temporal logic
- parameter estimation
- rough sets
- object oriented