Quantitative Verification of Certificate Transparency Gossip Protocols.
Michael OxfordDavid ParkerMark RyanPublished in: CNS (2020)
Keyphrases
- cryptographic protocols
- qualitative and quantitative
- model checking
- quantitative and qualitative
- quantitative measures
- functional verification
- protocol specification
- formal analysis
- formal verification
- application level
- verification method
- data sets
- neural network
- information systems
- digital libraries
- communication protocol