Bitcoin; Peer-to-peer computing; Protocols; Conferences; Receivers;
机译:大规模容错MPI协议的阻塞与非阻塞协调检查点
机译:模型检查随机安全协议(邀请论文)
机译:Fepchecker:自动模型检查器,用于验证Web服务中安全协议的公平性和不可否认性
机译:CCP:Bitcoin Block Security的冲突检查协议
机译:BRUTUS:安全协议的模型检查器。
机译:使用公共区块链增强边界网关协议安全性
机译:Bitcoin和Ghost网络上的Ghost共识协议的确认块数
机译:模型检查安全协议