首页 > 最新文献

2011 2nd International Symposium on Intelligence Information Processing and Trusted Computing最新文献

英文 中文
The Design and Implementation of C-like Language Interpreter 类c语言解释器的设计与实现
Xiaohong Xiao, You Xu
This paper designs and implements a C-like language interpreter using C++ based on the idea of modularity. The whole system can be divided into three modules, namely, lexical analyzer, syntactic analyzer and evaluation of expression. During the design, token is being used. The design puts great emphasis towards code reusability and extensibility, which makes it easy to embed the code into other C++ programs. The final testing result shows that the implemented interpreter realizes almost all the interpretation functions of C-like language, including the interpretation of interface function call. It can also be used as script engine of games to control game logic through text, and games can be modified during running without recompiling the source code. Moreover, it has good portability. It can successfully run on different operating systems like Windows XP, MAC OS X 10.6.1, and iPhone OS 3.0.
本文基于模块化思想,用c++语言设计并实现了一个类C语言解释器。整个系统可分为三个模块,即词法分析器、句法分析器和表达式求值。在设计期间,使用令牌。该设计非常强调代码的可重用性和可扩展性,这使得将代码嵌入到其他c++程序中变得很容易。最终的测试结果表明,所实现的解释器几乎实现了类c语言的所有解释功能,包括接口函数调用的解释。它也可以作为游戏的脚本引擎,通过文本来控制游戏逻辑,并且可以在运行过程中修改游戏,而无需重新编译源代码。此外,它具有良好的可移植性。它可以在Windows XP、MAC OS X 10.6.1和iPhone OS 3.0等不同的操作系统上成功运行。
{"title":"The Design and Implementation of C-like Language Interpreter","authors":"Xiaohong Xiao, You Xu","doi":"10.1109/IPTC.2011.33","DOIUrl":"https://doi.org/10.1109/IPTC.2011.33","url":null,"abstract":"This paper designs and implements a C-like language interpreter using C++ based on the idea of modularity. The whole system can be divided into three modules, namely, lexical analyzer, syntactic analyzer and evaluation of expression. During the design, token is being used. The design puts great emphasis towards code reusability and extensibility, which makes it easy to embed the code into other C++ programs. The final testing result shows that the implemented interpreter realizes almost all the interpretation functions of C-like language, including the interpretation of interface function call. It can also be used as script engine of games to control game logic through text, and games can be modified during running without recompiling the source code. Moreover, it has good portability. It can successfully run on different operating systems like Windows XP, MAC OS X 10.6.1, and iPhone OS 3.0.","PeriodicalId":388589,"journal":{"name":"2011 2nd International Symposium on Intelligence Information Processing and Trusted Computing","volume":"84 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-10-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134314526","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
A New Trust Evaluation Model Based on Cloud Theory in E-Commerce Environment 电子商务环境下基于云理论的信任评估新模型
Hongyun Cai, Z. Li, Junfeng Tian
To solve the subjective and uncertainly about trust in e-commerce system, a new trust model based on multidimensional trust cloud is proposed, which is on the basis of the past research on cloud model. History evaluation data is regard as the quantitative universe of discourse, trust cloud of entities' property is based on the weighted backward generation cloud algorithm, so the history behavior of an entity can be reflected very well through three numerical characteristics of cloud model. The results of experiments show that the model proposed in the paper can reflect a seller's property more accurately and can provide a favorable reference for a buyer entity in e-commerce.
为了解决电子商务系统中信任的主观性和不确定性,在以往云模型研究的基础上,提出了一种基于多维信任云的新型信任模型。将历史评价数据视为定量的话语宇宙,实体属性信任云基于加权后向生成云算法,因此通过云模型的三个数值特征可以很好地反映实体的历史行为。实验结果表明,本文提出的模型能够更准确地反映卖方的属性,可以为电子商务中的买方实体提供有利的参考。
{"title":"A New Trust Evaluation Model Based on Cloud Theory in E-Commerce Environment","authors":"Hongyun Cai, Z. Li, Junfeng Tian","doi":"10.1109/IPTC.2011.42","DOIUrl":"https://doi.org/10.1109/IPTC.2011.42","url":null,"abstract":"To solve the subjective and uncertainly about trust in e-commerce system, a new trust model based on multidimensional trust cloud is proposed, which is on the basis of the past research on cloud model. History evaluation data is regard as the quantitative universe of discourse, trust cloud of entities' property is based on the weighted backward generation cloud algorithm, so the history behavior of an entity can be reflected very well through three numerical characteristics of cloud model. The results of experiments show that the model proposed in the paper can reflect a seller's property more accurately and can provide a favorable reference for a buyer entity in e-commerce.","PeriodicalId":388589,"journal":{"name":"2011 2nd International Symposium on Intelligence Information Processing and Trusted Computing","volume":"54 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-10-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133550929","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
The EEG Signal Process Based on EEMD 基于EEMD的脑电信号处理
Xiao-jun Zhu, Shi-qin Lv, L. Fan, Xue-li Yu
Hilbert Huang Transform (HHT), which is based on EMD (Empirical Mode Decomposition) and Hilbert transform method, is a new signal analysis method. It suits for analyzing the non-linear and non-stationary signals, such as EEG signal particularly. The traditional EMD method has the Mode Mixing problem. Therefore a new method basing on Ensemble Empirical Mode Decomposition (EEMD) for processing the signal has been approached in this paper. This method can effectively ensure the integrity of signal's mapping in the different regions through adding random white noise component into the original data, and overcome the mode mixing problem of traditional EMD decomposition.
希尔伯特黄变换(Hilbert Huang Transform, HHT)是一种基于经验模态分解(EMD)和希尔伯特变换方法的新型信号分析方法。它特别适用于分析非线性和非平稳信号,如脑电图信号。传统的EMD方法存在模态混合问题。为此,本文探讨了一种基于集成经验模态分解(EEMD)的信号处理新方法。该方法通过在原始数据中加入随机白噪声分量,有效保证了信号在不同区域映射的完整性,克服了传统EMD分解的模态混叠问题。
{"title":"The EEG Signal Process Based on EEMD","authors":"Xiao-jun Zhu, Shi-qin Lv, L. Fan, Xue-li Yu","doi":"10.1109/IPTC.2011.67","DOIUrl":"https://doi.org/10.1109/IPTC.2011.67","url":null,"abstract":"Hilbert Huang Transform (HHT), which is based on EMD (Empirical Mode Decomposition) and Hilbert transform method, is a new signal analysis method. It suits for analyzing the non-linear and non-stationary signals, such as EEG signal particularly. The traditional EMD method has the Mode Mixing problem. Therefore a new method basing on Ensemble Empirical Mode Decomposition (EEMD) for processing the signal has been approached in this paper. This method can effectively ensure the integrity of signal's mapping in the different regions through adding random white noise component into the original data, and overcome the mode mixing problem of traditional EMD decomposition.","PeriodicalId":388589,"journal":{"name":"2011 2nd International Symposium on Intelligence Information Processing and Trusted Computing","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-10-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130524334","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 7
An Improved Computer Notary System Protocols 改进的计算机公证系统协议
Zhang Chao-yang
Computer notary system is an arbitrator or a notary public in the digital signature system, the process of arbitration, whether the signature is A communication sent to U, or U data are issued to B, after two and a signature encrypted password handling, you can ensure the security of communications. However, there is a signature of the arbitration serious problem: an intermediary can be replaced counterfeit information, and the agreement can not resist the replay attack. Article in the back of improved vulnerability of the agreement, and analyzes a new protocol security.
计算机公证系统是一个仲裁员或公证人在进行数字签名的系统,在进行仲裁的过程中,无论是a的签名是发送给U的通信,还是U的数据是发给B的,经过两个和一个签名的加密密码处理,就可以保证通信的安全性。然而,签名仲裁存在一个严重的问题:中介机构可以替换伪造信息,而协议无法抵御重放攻击。文章在对协议漏洞进行改进的基础上,分析了一种新的协议的安全性。
{"title":"An Improved Computer Notary System Protocols","authors":"Zhang Chao-yang","doi":"10.1109/IPTC.2011.71","DOIUrl":"https://doi.org/10.1109/IPTC.2011.71","url":null,"abstract":"Computer notary system is an arbitrator or a notary public in the digital signature system, the process of arbitration, whether the signature is A communication sent to U, or U data are issued to B, after two and a signature encrypted password handling, you can ensure the security of communications. However, there is a signature of the arbitration serious problem: an intermediary can be replaced counterfeit information, and the agreement can not resist the replay attack. Article in the back of improved vulnerability of the agreement, and analyzes a new protocol security.","PeriodicalId":388589,"journal":{"name":"2011 2nd International Symposium on Intelligence Information Processing and Trusted Computing","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-10-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124491163","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
The Application of MapReduce in the Cloud Computing MapReduce在云计算中的应用
Gaizhen Yang
Hadoop provides a sophisticated framework for cloud platform programmers, which, MapReduce is a programming model for large-scale data sets of parallel computing. By MapReduce distributed processing framework, we are not only capable of handling large-scale data, and can hide a lot of tedious details, scalability is also wonderful. This paper analyzes the Hadoop architecture and MapReduce Working principle, described how to perform a MapReduce job in the cloud platform, how to write Mapper and Reducer classes, and how to use the object, proposed a program based on the MapReduce framework that enables distributed programming, Comparison results show that use of MapReduce architecture simplifies distributed programming.
Hadoop为云平台程序员提供了一个复杂的框架,其中MapReduce是一个用于大规模数据集并行计算的编程模型。通过MapReduce分布式处理框架,我们不仅能够处理大规模的数据,而且可以隐藏很多繁琐的细节,可扩展性也很棒。本文分析了Hadoop架构和MapReduce的工作原理,描述了如何在云平台上执行MapReduce作业,如何编写Mapper和Reducer类,以及如何使用对象,提出了一个基于MapReduce框架的程序,实现分布式编程,对比结果表明使用MapReduce架构简化了分布式编程。
{"title":"The Application of MapReduce in the Cloud Computing","authors":"Gaizhen Yang","doi":"10.1109/IPTC.2011.46","DOIUrl":"https://doi.org/10.1109/IPTC.2011.46","url":null,"abstract":"Hadoop provides a sophisticated framework for cloud platform programmers, which, MapReduce is a programming model for large-scale data sets of parallel computing. By MapReduce distributed processing framework, we are not only capable of handling large-scale data, and can hide a lot of tedious details, scalability is also wonderful. This paper analyzes the Hadoop architecture and MapReduce Working principle, described how to perform a MapReduce job in the cloud platform, how to write Mapper and Reducer classes, and how to use the object, proposed a program based on the MapReduce framework that enables distributed programming, Comparison results show that use of MapReduce architecture simplifies distributed programming.","PeriodicalId":388589,"journal":{"name":"2011 2nd International Symposium on Intelligence Information Processing and Trusted Computing","volume":"45 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-10-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114660288","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 27
Efficient Power Saving Adaptive Routing Protocol (EPSAR) for MANETs Using AODV and DSDV: Simulation and Feasibility Analysis 基于AODV和DSDV的高效节能自适应路由协议(EPSAR):仿真与可行性分析
A. Jangra, N. Goel, Priyanka
Mobile ad hoc network especially follows multihopping mechanism for routing to make a path from source to destination. If we have a sound and solid routing path that would be efficient, reliable and adaptable to the different scenarios of network too by following the next hop mechanism and also should be the farthest node with in the cluster then we could achieve better performance by the network. This paper gives more emphasis on the same phenomenon by simulating the protocol EPSAR over ADOV (reactive) and DSDV (proactive) existing protocol and also elaborates the mobility issue. This paper also presents the couple of simulations of EPSAR over multiple network (i.e. grows in terms of number of node) and also examines the performance and the feasibility of EPSAR by considering the different network parameters i.e. Data Packet sent, Delivery Ratio and End-to-End Delay.
特别是移动自组织网络采用多跳机制进行路由,形成从源到目的的路径。如果我们遵循下一跳机制,有一个高效、可靠、适应不同网络场景的路由路径,并且应该是集群中距离最远的节点,那么我们就可以实现更好的网络性能。本文通过在现有的ADOV (reactive)和DSDV (proactive)协议上模拟EPSAR协议,重点讨论了这一现象,并详细阐述了移动性问题。本文还介绍了EPSAR在多个网络(即随着节点数量的增长)上的几个仿真,并通过考虑不同的网络参数(即数据包发送、传输比和端到端延迟)来检验EPSAR的性能和可行性。
{"title":"Efficient Power Saving Adaptive Routing Protocol (EPSAR) for MANETs Using AODV and DSDV: Simulation and Feasibility Analysis","authors":"A. Jangra, N. Goel, Priyanka","doi":"10.1109/IPTC.2011.13","DOIUrl":"https://doi.org/10.1109/IPTC.2011.13","url":null,"abstract":"Mobile ad hoc network especially follows multihopping mechanism for routing to make a path from source to destination. If we have a sound and solid routing path that would be efficient, reliable and adaptable to the different scenarios of network too by following the next hop mechanism and also should be the farthest node with in the cluster then we could achieve better performance by the network. This paper gives more emphasis on the same phenomenon by simulating the protocol EPSAR over ADOV (reactive) and DSDV (proactive) existing protocol and also elaborates the mobility issue. This paper also presents the couple of simulations of EPSAR over multiple network (i.e. grows in terms of number of node) and also examines the performance and the feasibility of EPSAR by considering the different network parameters i.e. Data Packet sent, Delivery Ratio and End-to-End Delay.","PeriodicalId":388589,"journal":{"name":"2011 2nd International Symposium on Intelligence Information Processing and Trusted Computing","volume":"115 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-10-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116197224","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 11
Network Security Mechanisms Research 网络安全机制研究
Kuobin Dai
With the rapid development of computer networks, network security has become a hot topic of concern to people, not just a simple network security threat network needs normal people, but also the pursuit of networking technology in innovative source of power. To address this issue, this article on network security solution to the problem definition and further discussion, and propose how to establish network security management.
随着计算机网络的飞速发展,网络安全已成为人们关注的热点话题,网络安全不仅仅是简单的网络安全威胁需要正常的人们,同时也是网络技术创新的动力源泉。针对这一问题,本文对网络安全解决方案的问题进行了界定和进一步探讨,并提出了如何建立网络安全管理体系。
{"title":"Network Security Mechanisms Research","authors":"Kuobin Dai","doi":"10.1109/IPTC.2011.65","DOIUrl":"https://doi.org/10.1109/IPTC.2011.65","url":null,"abstract":"With the rapid development of computer networks, network security has become a hot topic of concern to people, not just a simple network security threat network needs normal people, but also the pursuit of networking technology in innovative source of power. To address this issue, this article on network security solution to the problem definition and further discussion, and propose how to establish network security management.","PeriodicalId":388589,"journal":{"name":"2011 2nd International Symposium on Intelligence Information Processing and Trusted Computing","volume":"129 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-10-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130272779","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Research of SCM System Based on the Internet of Things on EPC 基于EPC的物联网SCM系统研究
Ying Xue
Recently the research on the technology of the internet of things has become the hot spot, and how to lead it into the management system is the most difficult. The use of EPC system in the SCM system is the hot spot in the supply chain araa presently. This article has raised a conception and the basic framework of the Internet of Tings, and focused on the analysis to the Internet of Things especially the Chang Xiang SCMS, then clarify the application of principles of the EPC system in the SCM, finally interpret the details of the construction of the system and describe the implementation of the system.
近年来,物联网技术已成为研究的热点,而如何将物联网技术引入管理系统是目前研究的难点。EPC系统在供应链管理系统中的应用是目前供应链领域的研究热点。本文提出了物联网的概念和基本框架,重点对物联网特别是常翔供应链管理系统进行了分析,然后阐明了EPC系统原理在供应链管理系统中的应用,最后对系统的构建细节进行了解释,并对系统的实现进行了描述。
{"title":"Research of SCM System Based on the Internet of Things on EPC","authors":"Ying Xue","doi":"10.1109/IPTC.2011.59","DOIUrl":"https://doi.org/10.1109/IPTC.2011.59","url":null,"abstract":"Recently the research on the technology of the internet of things has become the hot spot, and how to lead it into the management system is the most difficult. The use of EPC system in the SCM system is the hot spot in the supply chain araa presently. This article has raised a conception and the basic framework of the Internet of Tings, and focused on the analysis to the Internet of Things especially the Chang Xiang SCMS, then clarify the application of principles of the EPC system in the SCM, finally interpret the details of the construction of the system and describe the implementation of the system.","PeriodicalId":388589,"journal":{"name":"2011 2nd International Symposium on Intelligence Information Processing and Trusted Computing","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-10-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132857741","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
IPv4 to IPv6 Transition Research Based on the Campus Network 基于校园网的IPv4到IPv6转换研究
Kuobin Dai
Over the past 20 years, IPv4 network development for the computer to make a great contribution, however, gradually revealed its flaws. IPv6 to replace IPv4 with its inevitability. However, because these two protocols are very different. And the transition to equipment and software with updates and upgrades, and how to minimize the cost to achieve the campus network from IPv4 to IPv6 transition is the key. This article focuses on the excessive cost of programs and methods to achieve the minimum.
近20年来,IPv4为计算机网络的发展做出了巨大的贡献,然而,它的缺陷也逐渐显露出来。IPv6取代IPv4是不可避免的。但是,由于这两个协议非常不同。而过渡到设备和软件的不断更新和升级,以及如何以最小的成本实现校园网从IPv4到IPv6的过渡是关键。本文着重介绍了将过高的成本降到最低的方案和方法。
{"title":"IPv4 to IPv6 Transition Research Based on the Campus Network","authors":"Kuobin Dai","doi":"10.1109/IPTC.2011.58","DOIUrl":"https://doi.org/10.1109/IPTC.2011.58","url":null,"abstract":"Over the past 20 years, IPv4 network development for the computer to make a great contribution, however, gradually revealed its flaws. IPv6 to replace IPv4 with its inevitability. However, because these two protocols are very different. And the transition to equipment and software with updates and upgrades, and how to minimize the cost to achieve the campus network from IPv4 to IPv6 transition is the key. This article focuses on the excessive cost of programs and methods to achieve the minimum.","PeriodicalId":388589,"journal":{"name":"2011 2nd International Symposium on Intelligence Information Processing and Trusted Computing","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-10-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128310040","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 12
Formal Specification for Byzantine Fault Tolerant Algorithm Suiting Web Services 适合Web服务的拜占庭容错算法的形式化规范
Wei Zhou, Liu Chen
A Byzantine Fault Tolerant Algorithm suiting web services is proposed considering the features of web services. There are significant differences between the algorithm and the Castro and Liskov's well-known practical Byzantine fault tolerance method. First, we have to create replicas on both sides of communicating web services, while in CLBFT's method, replicas are created only on the server side. Second, due to the autonomous behavior of web services, we have to synchronize the timing of the receiving of messages among replicas. The I/O automata model of the algorithm is presented, and it's correctness is formally specified and verified.
针对web服务的特点,提出了一种适合web服务的拜占庭容错算法。该算法与Castro和Liskov著名的实用拜占庭容错方法存在显著差异。首先,我们必须在通信web服务的两端创建副本,而在CLBFT的方法中,副本仅在服务器端创建。其次,由于web服务的自治行为,我们必须同步在副本之间接收消息的时间。给出了该算法的I/O自动机模型,并对其正确性进行了形式化说明和验证。
{"title":"Formal Specification for Byzantine Fault Tolerant Algorithm Suiting Web Services","authors":"Wei Zhou, Liu Chen","doi":"10.1109/IPTC.2011.16","DOIUrl":"https://doi.org/10.1109/IPTC.2011.16","url":null,"abstract":"A Byzantine Fault Tolerant Algorithm suiting web services is proposed considering the features of web services. There are significant differences between the algorithm and the Castro and Liskov's well-known practical Byzantine fault tolerance method. First, we have to create replicas on both sides of communicating web services, while in CLBFT's method, replicas are created only on the server side. Second, due to the autonomous behavior of web services, we have to synchronize the timing of the receiving of messages among replicas. The I/O automata model of the algorithm is presented, and it's correctness is formally specified and verified.","PeriodicalId":388589,"journal":{"name":"2011 2nd International Symposium on Intelligence Information Processing and Trusted Computing","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-10-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133670150","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
期刊
2011 2nd International Symposium on Intelligence Information Processing and Trusted Computing
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1