电子发烧友App
创作
发文章
发帖 
提问 
发资料
发视频资料介绍
针对现有拜占庭容错协议的假设（要求被保护的对象是被动的和独立的）不适用于服务计算等新兴计算模型的问题，提出一种面向服务计算的拜占庭容错协议。该协议在服务请求方和服务提供方两端均创建服务复制品，采用基于状态机的主动复制技术，在服务复制品间进行三轮通信，就该请求的编号和内容达成一致，随后该请求被提交给上层应用逻辑处理；收到应答后，服务请求方的复制品进行三轮通信就应答的编号和内容达成一致后接受该应答。针对现有面向服务计算的拜占庭容错协议只有简单的正确性推理缺乏形式化验证的问题，采用1/0自动机和模拟关系方法进行正确性证明，更加严谨和正式。构造一个高度抽象的简单1/0自动机S，此自动机满足安全性和及时性；将协议中的各方分解成若干简单1/0自动机：前端自动机、后端自动机和多播通道自动机；最后用模拟关系方法证明各成员自动机构成的系统实现了自动机S，从而证明协议的正确性。使用1/0自动机可以精确描述协议，以此为基础进行证明比感性推理的证明方法更加规范。
下载该资料的人也在下载
下载该资料的人还在阅读
更多 >
- 基于FPGA块存储器的多位反转容错 19次下载
- MapReduce框架下分布式编码计算容错算法 2次下载
- 一种面向物联网服务的Web攻击向量检测方法 7次下载
- 一种基于信任度的匹配拜占庭共识算法 12次下载
- 企业云服务体系结构风格的通用和抽象参考模型 10次下载
- 基于智能合约的三方博弈理性委托计算协议 3次下载
- 基于FPGA的连续服务型接入控制协议 14次下载
- 计算机测控系统——面向对象语言Visual Basic课件下载.PPT 0次下载
- 一种快速可靠的服务组合容错方法 0次下载
- 基于虚拟机的云平台容错即服务方法 0次下载
- 面向云计算的服务性能模型研究 38次下载
- 蜂窝网络单点容错路由协议研究 10次下载
- 面向服务的体系结构在ERP中的应用 18次下载
- 容错型计算机联锁系统的软件设计研究 10次下载
- Web服务组合运行中的容错架构 13次下载
- 什么是远程桌面协议 远程桌面协议的工作原理 298次阅读
- 面向信号与面向服务SOA混合架构设计方法 369次阅读
- 面向信号与面向服务SOA混合架构设计方法 475次阅读
- SOA面向服务架构介绍 921次阅读
- 阐述边缘计算服务的优势 2142次阅读
- 基于硅量子位的可容错量子计算机体系结构的一种构建方法 3191次阅读
- 云计算最重要的就是服务 3307次阅读
- 如何实现PBFT的数学证明 2570次阅读
- 区块链系统中拜占庭容错PBFT工作的实现原理解析 3281次阅读
- 拜占庭容错的基本概念及实现方法解析 8450次阅读
- Linux微服务架构中容错隔离的详细资料技术 3114次阅读
- 基于区块链独立跨账本协议“OneLedger万界”系统及功能介绍 1032次阅读
- 关于一种面向异步FIFO的低开销容错机制研究 2872次阅读
- 一文读懂双机热备份和单机容错的区别 4456次阅读
- 云计算的三种服务模式和四种部署模型 2880次阅读
上传资料赚积分下载排行
本周
- 1电子电路原理第七版PDF电子教材免费下载
- 0.00 MB | 1490次下载 | 免费
- 2单片机典型实例介绍
- 18.19 MB | 93次下载 | 1 积分
- 3S7-200PLC编程实例详细资料
- 1.17 MB | 27次下载 | 1 积分
- 4笔记本电脑主板的元件识别和讲解说明
- 4.28 MB | 18次下载 | 4 积分
- 5开关电源原理及各功能电路详解
- 0.38 MB | 10次下载 | 免费
- 6基于AT89C2051/4051单片机编程器的实验
- 0.11 MB | 4次下载 | 免费
- 7基于单片机和 SG3525的程控开关电源设计
- 0.23 MB | 3次下载 | 免费
- 8基于单片机的红外风扇遥控
- 0.23 MB | 3次下载 | 免费
本月
- 1OrCAD10.5下载OrCAD10.5中文版软件
- 0.00 MB | 234313次下载 | 免费
- 2PADS 9.0 2009最新版 -下载
- 0.00 MB | 66304次下载 | 免费
- 3protel99下载protel99软件下载(中文版)
- 0.00 MB | 51209次下载 | 免费
- 4LabView 8.0 专业版下载 (3CD完整版)
- 0.00 MB | 51043次下载 | 免费
- 5555集成电路应用800例(新编版)
- 0.00 MB | 33562次下载 | 免费
- 6接口电路图大全
- 未知 | 30320次下载 | 免费
- 7Multisim 10下载Multisim 10 中文版
- 0.00 MB | 28588次下载 | 免费
- 8开关电源设计实例指南
- 未知 | 21539次下载 | 免费
总榜
- 1matlab软件下载入口
- 未知 | 935053次下载 | 免费
- 2protel99se软件下载(可英文版转中文版)
- 78.1 MB | 537791次下载 | 免费
- 3MATLAB 7.1 下载 (含软件介绍)
- 未知 | 420026次下载 | 免费
- 4OrCAD10.5下载OrCAD10.5中文版软件
- 0.00 MB | 234313次下载 | 免费
- 5Altium DXP2002下载入口
- 未知 | 233046次下载 | 免费
- 6电路仿真软件multisim 10.0免费下载
- 340992 | 191183次下载 | 免费
- 7十天学会AVR单片机与C语言视频教程 下载
- 158M | 183277次下载 | 免费
- 8proe5.0野火版下载(中文版免费下载)
- 未知 | 138039次下载 | 免费
工商网监
评论