Quantitative Verification of Certificate Transparency Gossip Protocols

Quantitative Verification of Certificate Transparency Gossip Protocols
复制标题

证书透明度八卦协议的定量验证

DOI:
10.1109/cns48642.2020.9162197
复制
发表时间:
2020
期刊:
--
影响因子:
--
通讯作者:
Oxford M
Oxford M
中科院分区:
--
文献类型:
--
作者:
Oxford M

文献摘要

参考文献

被引文献

相似文献

关键物联网系统同步、八卦和环境影响的正式验证
DOI: --
发表时间: 2018
期刊: EasyChair Preprints
影响因子: --
作者:
M. Webster;Michael J. Breza;C. Dixon;Michael Fisher;J. Mccann
通讯作者: J. Mccann
高效的密钥认证服务,实现安全的端到端通信
DOI: 10.1007/978-3-319-26059-4_10
发表时间: 2015
期刊: IACR Cryptol. ePrint Arch.
影响因子: --
作者:
Mohammad Etemad;Alptekin Küpçü
通讯作者: Alptekin Küpçü