电子发烧友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服务组合运行中的容错架构
- 什么是远程桌面协议 远程桌面协议的工作原理 1071次阅读
- 面向信号与面向服务SOA混合架构设计方法 709次阅读
- 面向信号与面向服务SOA混合架构设计方法 790次阅读
- SOA面向服务架构介绍 1377次阅读
- 阐述边缘计算服务的优势 2400次阅读
- 基于硅量子位的可容错量子计算机体系结构的一种构建方法 3470次阅读
- 云计算最重要的就是服务 3530次阅读
- 如何实现PBFT的数学证明 2792次阅读
- 区块链系统中拜占庭容错PBFT工作的实现原理解析 3613次阅读
- 拜占庭容错的基本概念及实现方法解析 9098次阅读
- Linux微服务架构中容错隔离的详细资料技术 3367次阅读
- 基于区块链独立跨账本协议“OneLedger万界”系统及功能介绍 1154次阅读
- 关于一种面向异步FIFO的低开销容错机制研究 3210次阅读
- 一文读懂双机热备份和单机容错的区别 4919次阅读
- 一文读懂容错与冗余技术 1.9w次阅读
上传资料赚积分 广告![]()
下载排行
本周
- 1DC电源插座图纸
- 0.67 MB | 2次下载 | 免费
- 2AN158 GD32VW553 Wi-Fi开发指南
- 1.51MB | 2次下载 | 免费
- 3AN148 GD32VW553射频硬件开发指南
- 2.07MB | 1次下载 | 免费
- 4AN111-LTC3219用户指南
- 84.32KB | 次下载 | 免费
- 5AN153-用于电源系统管理的Linduino
- 1.38MB | 次下载 | 免费
- 6AN-283: Σ-Δ型ADC和DAC[中文版]
- 677.86KB | 次下载 | 免费
- 7SM2018E 支持可控硅调光线性恒流控制芯片
- 402.24 KB | 次下载 | 免费
- 8AN-1308: 电流检测放大器共模阶跃响应
- 545.42KB | 次下载 | 免费
本月
- 1ADI高性能电源管理解决方案
- 2.43 MB | 450次下载 | 免费
- 2免费开源CC3D飞控资料（电路图&PCB源文件、BOM、
- 5.67 MB | 138次下载 | 1 积分
- 3基于STM32单片机智能手环心率计步器体温显示设计
- 0.10 MB | 130次下载 | 免费
- 4使用单片机实现七人表决器的程序和仿真资料免费下载
- 2.96 MB | 44次下载 | 免费
- 53314A函数发生器维修手册
- 16.30 MB | 31次下载 | 免费
- 6美的电磁炉维修手册大全
- 1.56 MB | 24次下载 | 5 积分
- 7如何正确测试电源的纹波
- 0.36 MB | 17次下载 | 免费
- 8感应笔电路图
- 0.06 MB | 10次下载 | 免费
总榜
- 1matlab软件下载入口
- 未知 | 935121次下载 | 10 积分
- 2开源硬件-PMP21529.1-4 开关降压/升压双向直流/直流转换器 PCB layout 设计
- 1.48MB | 420062次下载 | 10 积分
- 3Altium DXP2002下载入口
- 未知 | 233088次下载 | 10 积分
- 4电路仿真软件multisim 10.0免费下载
- 340992 | 191367次下载 | 10 积分
- 5十天学会AVR单片机与C语言视频教程 下载
- 158M | 183335次下载 | 10 积分
- 6labview8.5下载
- 未知 | 81581次下载 | 10 积分
- 7Keil工具MDK-Arm免费下载
- 0.02 MB | 73810次下载 | 10 积分
- 8LabVIEW 8.6下载
- 未知 | 65988次下载 | 10 积分
工商网监
评论