International Journal of Parallel Emergent and Distributed Systems最新文献

{"title":"Enhancing blockchain security through natural language processing and real-time monitoring","authors":"Francesco Salzano, Remo Pareschi","doi":"10.1080/17445760.2023.2272280","DOIUrl":"https://doi.org/10.1080/17445760.2023.2272280","url":null,"abstract":"We describe implementing and testing a security monitoring system for Blockchain-based applications by performing Log Analysis through natural language processing (NLP) techniques and enabling queries via REST API. The study focuses on the Hyperledger Fabric framework, a highly reliable and scalable open-source software platform for private blockchains. The real-time monitoring system aims to detect and prevent attack scenarios on the network structure and smart contracts, such as DDOS, Sybil, and Eclipse. The vulnerability analysis is extended to inspecting Docker containers to detect network-based attacks. Although the case study focuses on Hyperledger Fabric, the techniques used are general and applicable to all Blockchain-based systems and fulfill the need to provide adequate monitoring capabilities for blockchain implementations.","PeriodicalId":45411,"journal":{"name":"International Journal of Parallel Emergent and Distributed Systems","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135684360","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}

{"title":"Verification of cryptocurrency consensus protocols: reenterable colored Petri net model design","authors":"Dmitry A. Zaitsev, Tatiana R. Shmeleva, Zeyu Zhou, Ding Liu","doi":"10.1080/17445760.2023.2273452","DOIUrl":"https://doi.org/10.1080/17445760.2023.2273452","url":null,"abstract":"The reliability of consensus protocols establishes the basis for cryptocurrency cybersecurity. Formal and simulation techniques are appreciated for the verification of proof-of-work agreement protocols, because the formal techniques development process frequently requires a series of assumptions, leading to somewhat unrealistic models. A conventional colored Petri net model, presented by the authors in a previous study, allowed us to refine the Keller and Böhme consensus protocol by applying the simulation technique. In this study, we developed a reenterable colored Petri net model representing a general construct for model-driven development and refinement of consensus protocols and the corresponding software. A considerable benefit of a reenterable model is the invariance of its structure with respect to the net topology, number of attached nodes, and parameters of their software and hardware, which are represented as the marking of dedicated places. Switching of topology tags associated with dynamic objects represents the basic principle of reenterable model functioning. It is shown that, having the same characteristics, in bounds of admissible error of some 2-3%, the reenterable model results in 6 times speed-up of the simulation process and a drastic decrease in time for model editing, especially when the number of nodes exceeds a hundred. Thus, a reenterable model is a valuable complement to possible formal models that allows us to obtain express-evaluations of characteristics in a rather short time and with an acceptable level of adequacy.","PeriodicalId":45411,"journal":{"name":"International Journal of Parallel Emergent and Distributed Systems","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135315540","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}

{"title":"Security and dependability analysis of blockchain systems in partially synchronous networks with Byzantine faults","authors":"Stefano De Angelis, Federico Lombardi, Gilberto Zanfino, Leonardo Aniello, Vladimiro Sassone","doi":"10.1080/17445760.2023.2272777","DOIUrl":"https://doi.org/10.1080/17445760.2023.2272777","url":null,"abstract":"Blockchains enhance trust in decentralized systems through components like distributed consensus, peer-to-peer communication, and trustless computing. Deployed in real networks, they must ensure security and dependability at each level. This paper introduces security and dependability concepts in three key layers: consensus protocols, network infrastructures, and smart contract applications, derived from distributed systems theory and adapted to blockchains. It evaluates these attributes across eight famous blockchains, assuming realistic network deployments and Byzantine fault scenarios to reveal system strengths and weaknesses. The aim is to establish a comprehensive framework for blockchain assessments, providing insight into design choices and potential security issues.","PeriodicalId":45411,"journal":{"name":"International Journal of Parallel Emergent and Distributed Systems","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135316405","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}

{"title":"Fundamental data structures for matrix-free finite elements on hybrid tetrahedral grids","authors":"Nils Kohl, Daniel Bauer, Fabian Böhm, Ulrich Rüde","doi":"10.1080/17445760.2023.2266875","DOIUrl":"https://doi.org/10.1080/17445760.2023.2266875","url":null,"abstract":"AbstractThis paper presents efficient data structures for the implementation of matrix-free finite element methods on block-structured, hybrid tetrahedral grids. It provides a complete categorization of all geometric sub-objects that emerge from the regular refinement of the unstructured, tetrahedral coarse grid and describes efficient iteration patterns and analytical linearization functions for the mapping of coefficients to memory addresses. This foundation enables the implementation of fast, extreme-scalable, matrix-free, iterative solvers, and in particular geometric multigrid methods by design. Their application to the variable-coefficient Stokes system subject to an enriched Galerkin discretization and to the curl-curl problem discretized with Nédélec edge elements showcases the flexibility of the implementation. Finally, the solution of a curl-curl problem with 1.6⋅1011 (more than one hundred billion) unknowns on more than 32,000 processes with a matrix-free full multigrid solver demonstrates its extreme-scalability.Keywords: Matrix-free finite elementshybrid tetrahedral gridsblock-structured gridsparallel data structures AcknowledgmentsThe authors gratefully acknowledge the scientific support and HPC resources provided by the Erlangen National High Performance Computing Center (NHR@FAU) of the Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU).Disclosure statementNo potential conflict of interest was reported by the author(s).Notes1 https://i10git.cs.fau.de/hyteg/hyteg2 https://gauss-allianz.de/en/project/title/CoMPS3 https://www.nhr-verein.deAdditional informationFundingThe authors gratefully acknowledge funding through the joint BMBF project CoMPSFootnote2 (grant 16ME0647K). The authors would like to thank the NHR-Verein e.V.Footnote3 for supporting this work/project within the NHR Graduate School of National High Performance Computing (NHR). The Gauss Centre for Supercomputing e.V. funded this project by providing computing time on the GCS Supercomputer HPE Apollo Hawk at the High Performance Computing Center Stuttgart (grant TN17/44103). NHR funding is provided by federal and Bavarian state authorities. NHR@FAU hardware is partially funded by the German Research Foundation (DFG) – 440719683.","PeriodicalId":45411,"journal":{"name":"International Journal of Parallel Emergent and Distributed Systems","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-10-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136296345","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}

{"title":"Neuropunk revolution in short","authors":"Jordi Vallverdú, Max Talanov","doi":"10.1080/17445760.2023.2263621","DOIUrl":"https://doi.org/10.1080/17445760.2023.2263621","url":null,"abstract":"AbstractThe ‘neuropunk revolution’ represents an innovative approach focused on the integration of human–machine interfaces through nerve and neural pathways. This cutting-edge concept seeks to push the boundaries of human–machine interaction by exploring the intricate connections between the human nervous system and artificial technologies. Neuropunk delves into the realm of cyborg technologies, blurring the lines between humans and machines and opening up new possibilities for augmenting human capabilities. By tapping into nerve and neural pathways, neuropunk envisions a future where individuals can seamlessly interface with technology, leading to enhanced sensory perception, cognitive abilities, and physical performance. This concept encapsulates a rebellious and unconventional spirit, challenging traditional notions of the human body and its relationship with technology. This paper discusses the challenges and potential of neuropunk, exploring the fusion of scientific exploration, technological innovation, and a punk-inspired ethos in advancing human–machine integration. It highlights the emergence of real-time neurosimulations and neuromorphic computing as key tools to achieve these aspirations. Additionally, the integration of neurological and hormonal bioinspiration is examined as a promising approach to the design of neural interfaces, fostering more efficient and effective technologies that align better with the human body. Finally, the paper addresses ethical considerations and research tasks to responsibly navigate the neuropunk revolution, ensuring a future that maximizes the benefits of neural interfaces while mitigating potential risks and promoting ethical principles.Keywords: BCIneurosimulationreal-time neurosimulationneurointerfaceneuroprosthesis Disclosure statementNo potential conflict of interest was reported by the author(s).Additional informationFundingResearch of Prof. Jordi Vallverdú has been able thanks to an ICREA Acadèmia grant. Research of Max Talanov has been partially supported by the Kazan Federal University Strategic Academic Leadership Program (‘PRIORITY-2030’).","PeriodicalId":45411,"journal":{"name":"International Journal of Parallel Emergent and Distributed Systems","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-09-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135199757","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}

{"title":"Blocking aware offline survivable path provisioning of connection requests in elastic optical networks","authors":"Shibsankar Bala, Somesh Gorai, Pradyut Sarkar, Monish Chatterjee","doi":"10.1080/17445760.2023.2263142","DOIUrl":"https://doi.org/10.1080/17445760.2023.2263142","url":null,"abstract":"AbstractSurvivability of Elastic Optical Networks (EONs) from a link failure is an important problem. Shared Backup Path Protection (SBPP) is widely used for protection against a link failure. Backup Spectrum Reservation with Multi Path Protection (BSR-MPP) was introduced to increase backup spectrum sharing by reserving backup spectrum and employing protection with multiple backup paths. We propose a new polynomial-time strategy, Blocking Aware Survivable Path Provisioning (BASPP) that shares backup resources like SBPP and BSR-MPP but can reduce request blocking when opportunity of sharing resources does not exist. Since we address the offline problem of Survivable Routing, Modulation and Spectrum Allocation in EONs, we also propose an Integer Linear Program formulation. Results show appreciable reduction in bandwidth blocking ratio by using BASPP over existing strategies.Keywords: Elastic optical networksroutingmodulationspectrum allocationsurvivabilityblocking aware Disclosure statementNo potential conflict of interest was reported by the author(s).","PeriodicalId":45411,"journal":{"name":"International Journal of Parallel Emergent and Distributed Systems","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-09-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135195386","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}

{"title":"The generalized 4-connectivity of complete-transposition graphs","authors":"Caixi Xue, Shuming Zhou, Hong Zhang, Qifan Zhang","doi":"10.1080/17445760.2023.2261192","DOIUrl":"https://doi.org/10.1080/17445760.2023.2261192","url":null,"abstract":"AbstractThe fault tolerability of the network is usually measured by the classical or generalized connectivity of the graph. For any subset S⊆V(G) with |S|≥2, a tree T is called an S-tree if S⊆V(T). Furthermore, any two S-tree T1 and T2 are internally disjoint if E(T1)∩E(T2)=∅ and V(T1)∩V(T2)=S. We denote by κG(S) the maximum number of pairwise internally disjoint S-trees in G. For an integer k≥2, the generalized k-connectivity of a graph G is defined as κk(G)=min{κG(S)|S⊆V(G) and |S|=k}. In this paper, we establish the generalized 4-connectivity of the Cayley graph CTn generated by complete graphs.Keywords: Fault tolerabilitygeneralized connectivityCayley graphscomplete graphs Disclosure statementNo potential conflict of interest was reported by the author(s).Additional informationFundingThis work was partly supported by the National Natural Science Foundation of China (Nos. 61977016, 61572010, and 62277010), Natural Science Foundation of Fujian Province, China (Nos. 2020J01164, 2017J01738). This work was also partly supported by China Scholarship Council (CSC No. 202108350054).","PeriodicalId":45411,"journal":{"name":"International Journal of Parallel Emergent and Distributed Systems","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-09-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135864485","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}

{"title":"A strongly universal cellular automaton on the heptagrid with five states, but with not rotation invariance of the rules","authors":"M. Margenstern","doi":"10.1080/17445760.2023.2234157","DOIUrl":"https://doi.org/10.1080/17445760.2023.2234157","url":null,"abstract":"In this paper, we prove that there is a strongly universal cellular automaton on the heptagrid with five states under the relaxation of the assumption of rotation invariance for the rules. The result is different from that of a previous paper of the author with six states but with rotationally invariant rules. Here, the structures is more constrained than in the quoted paper with six states and rotation invariance of the rules.","PeriodicalId":45411,"journal":{"name":"International Journal of Parallel Emergent and Distributed Systems","volume":null,"pages":null},"PeriodicalIF":1.1,"publicationDate":"2023-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45198789","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}

{"title":"Fault-tolerance of enhanced hypercubes with faulty subcubes","authors":"Xuemin Wu, Liqiong Xu","doi":"10.1080/17445760.2023.2253951","DOIUrl":"https://doi.org/10.1080/17445760.2023.2253951","url":null,"abstract":"","PeriodicalId":45411,"journal":{"name":"International Journal of Parallel Emergent and Distributed Systems","volume":null,"pages":null},"PeriodicalIF":1.1,"publicationDate":"2023-09-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"41566992","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}

{"title":"1. Introduction","authors":"Lars Braubach, Kai Jander","doi":"10.1080/17445760.2023.2251386","DOIUrl":"https://doi.org/10.1080/17445760.2023.2251386","url":null,"abstract":"","PeriodicalId":45411,"journal":{"name":"International Journal of Parallel Emergent and Distributed Systems","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136119955","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}