电子发烧友App
创作
发文章
发帖 
提问 
发资料
发视频资料介绍
针对现有拜占庭容错协议的假设（要求被保护的对象是被动的和独立的）不适用于服务计算等新兴计算模型的问题，提出一种面向服务计算的拜占庭容错协议。该协议在服务请求方和服务提供方两端均创建服务复制品，采用基于状态机的主动复制技术，在服务复制品间进行三轮通信，就该请求的编号和内容达成一致，随后该请求被提交给上层应用逻辑处理；收到应答后，服务请求方的复制品进行三轮通信就应答的编号和内容达成一致后接受该应答。针对现有面向服务计算的拜占庭容错协议只有简单的正确性推理缺乏形式化验证的问题，采用1/0自动机和模拟关系方法进行正确性证明，更加严谨和正式。构造一个高度抽象的简单1/0自动机S，此自动机满足安全性和及时性；将协议中的各方分解成若干简单1/0自动机：前端自动机、后端自动机和多播通道自动机；最后用模拟关系方法证明各成员自动机构成的系统实现了自动机S，从而证明协议的正确性。使用1/0自动机可以精确描述协议，以此为基础进行证明比感性推理的证明方法更加规范。
容错
加入交流群
扫码添加小助手
加入工程师交流群
下载该资料的人也在下载
下载该资料的人还在阅读
更多 >
- 基于FPGA块存储器的多位反转容错 19次下载
- MapReduce框架下分布式编码计算容错算法 2次下载
- 一种面向物联网服务的Web攻击向量检测方法 7次下载
- 一种基于信任度的匹配拜占庭共识算法 12次下载
- 企业云服务体系结构风格的通用和抽象参考模型 10次下载
- 基于边缘计算的组合拍卖式任务卸载机制 4次下载
- 基于智能合约的三方博弈理性委托计算协议 3次下载
- 一种分层共识优化机制TDH-PBFT 10次下载
- 计算机测控系统——面向对象语言Visual Basic课件下载.PPT 0次下载
- 一种快速可靠的服务组合容错方法 0次下载
- 基于虚拟机的云平台容错即服务方法 0次下载
- 基于云计算信息服务开发模式设计指南 6次下载
- 蜂窝网络单点容错路由协议研究
- 容错型计算机联锁系统的软件设计研究
- Web服务组合运行中的容错架构
- 什么是远程桌面协议 远程桌面协议的工作原理 1.8k次阅读
- 面向信号与面向服务SOA混合架构设计方法 1.4k次阅读
- 面向信号与面向服务SOA混合架构设计方法 1.2k次阅读
- SOA面向服务架构介绍 2.2k次阅读
- 阐述边缘计算服务的优势 2.8k次阅读
- 基于硅量子位的可容错量子计算机体系结构的一种构建方法 4.3k次阅读
- 云计算最重要的就是服务 3.9k次阅读
- 如何实现PBFT的数学证明 3.1k次阅读
- 区块链系统中拜占庭容错PBFT工作的实现原理解析 4.1k次阅读
- 拜占庭容错的基本概念及实现方法解析 9.6k次阅读
- Linux微服务架构中容错隔离的详细资料技术 3.7k次阅读
- 基于区块链独立跨账本协议“OneLedger万界”系统及功能介绍 1.5k次阅读
- 关于一种面向异步FIFO的低开销容错机制研究 3.8k次阅读
- 一文读懂双机热备份和单机容错的区别 5.3k次阅读
- 一文读懂容错与冗余技术 2.1w次阅读
上传资料赚积分下载排行
本周
- 1MDD品牌三极管MMBT3906数据手册
- 2.33 MB | 次下载 | 免费
- 2MDD品牌三极管S9012数据手册
- 2.62 MB | 次下载 | 免费
- 3联想flex2-14D/15D说明书
- 4.92 MB | 次下载 | 免费
- 4收音环绕扩音机 AVR-1507手册
- 2.50 MB | 次下载 | 免费
- 524Pin Type-C连接器设计报告
- 1.06 MB | 次下载 | 免费
- 6新一代网络可视化（NPB 2.0）
- 3.40 MB | 次下载 | 免费
- 7MS1000TA 超声波测量模拟前端芯片技术手册
- 0.60 MB | 次下载 | 免费
- 8MS1022高精度时间测量(TDC)电路数据手册
- 1.81 MB | 次下载 | 免费
本月
- 1爱华AIWA HS-J202维修手册
- 3.34 MB | 37次下载 | 免费
- 2PC5502负载均流控制电路数据手册
- 1.63 MB | 23次下载 | 免费
- 3NB-IoT芯片厂商的资料说明
- 0.31 MB | 22次下载 | 1 积分
- 4H110主板CPU PWM芯片ISL95858HRZ-T核心供电电路图资料
- 0.63 MB | 6次下载 | 1 积分
- 5UWB653Pro USB口测距通信定位模块规格书
- 838.47 KB | 5次下载 | 免费
- 6技嘉H110主板IT8628E_BX IO电路图资料
- 2.61 MB | 4次下载 | 1 积分
- 7苏泊尔DCL6907(即CHK-S007)单芯片电磁炉原理图资料
- 0.04 MB | 4次下载 | 1 积分
- 8100W准谐振反激式恒流电源电路图资料
- 0.09 MB | 2次下载 | 1 积分
总榜
- 1matlab软件下载入口
- 未知 | 935137次下载 | 10 积分
- 2开源硬件-PMP21529.1-4 开关降压/升压双向直流/直流转换器 PCB layout 设计
- 1.48MB | 420064次下载 | 10 积分
- 3Altium DXP2002下载入口
- 未知 | 233089次下载 | 10 积分
- 4电路仿真软件multisim 10.0免费下载
- 340992 | 191439次下载 | 10 积分
- 5十天学会AVR单片机与C语言视频教程 下载
- 158M | 183353次下载 | 10 积分
- 6labview8.5下载
- 未知 | 81602次下载 | 10 积分
- 7Keil工具MDK-Arm免费下载
- 0.02 MB | 73822次下载 | 10 积分
- 8LabVIEW 8.6下载
- 未知 | 65991次下载 | 10 积分
工商网监
评论