Quantitative Verification of Certificate Transparency Gossip Protocols

Keyphrases

• Quantitative Verification 100%
• Certificate Transparency 100%
• Gossip Protocol 100%
• World Wide Web 50%
• Computer System 50%
• Success Rate 50%
• Inconsistency 50%
• Data Sharing 50%
• Probabilistic Model Checking 50%
• Quantitative Properties 50%
• Log-Based 50%
• Protocol Performance 50%
• Google Chrome 50%
• Worst-case Model 50%

Computer Science

• Gossip Protocol 100%
• Computer System 50%
• Model Checking 50%