IEEE Journal on Selected Areas in Communications最新文献

筛选
英文 中文
Towards Communication-efficient Digital Twin via AI-powered Transmission and Reconstruction 通过人工智能传输和重建实现高效通信的数字孪生
IF 16.4 1区 计算机科学
IEEE Journal on Selected Areas in Communications Pub Date : 2023-11-01 DOI: 10.1109/jsac.2023.3310089
Mi Li, Cen Chen, Xulei Yang, Joey Tianyi Zhou, Tao Zhang, Yangfan Li
{"title":"Towards Communication-efficient Digital Twin via AI-powered Transmission and Reconstruction","authors":"Mi Li, Cen Chen, Xulei Yang, Joey Tianyi Zhou, Tao Zhang, Yangfan Li","doi":"10.1109/jsac.2023.3310089","DOIUrl":"https://doi.org/10.1109/jsac.2023.3310089","url":null,"abstract":"Digital twin technology has recently gathered pace in engineering communities as it allows for the convergence of the real structure and its digital counterpart. 3D point cloud data is a more effective way to describe the real world and to reconstruct the digital counterpart than the conventional 2D images or 360-degree images. Large-scale, e.g., city-scale digital twins, typically collect point cloud data via internet-of-things (IoT) devices and transmit it over wireless networks. However, the existing wireless transmission technology can not carry real-time point cloud transmission for digital twin reconstruction due to mass data volume, high processing overheads, and low delay-tolerance. We propose a novel artificial intelligence (AI) powered end-to-end framework, termed AIRec, for efficient digital twin communication from point cloud compression, wireless channel coding, and digital twin reconstruction. AIRec adopts the encoder-decoder architecture. In the encoder, a novel importance-aware pooling scheme is designed to adaptively select important points with learnable thresholds to reduce the transmission volume. We also design a novel noise-aware joint source and channel coding is proposed to adaptively adjust the transmission strategy based on SNR and map the features to error-resilient channel symbols for wireless transmission to achieve a good tradeoff between the transmission rate and reconstruction quality. The decoder can accurately reconstruct the digital twins from the received symbols. Extensive experiments of typical datasets and comparison with baselines show that we achieve a good reconstruction quality under $24times $ compression ratio.","PeriodicalId":13243,"journal":{"name":"IEEE Journal on Selected Areas in Communications","volume":"1 1","pages":"3624-3635"},"PeriodicalIF":16.4,"publicationDate":"2023-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"62352333","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Digital Twin-enabled Federated Learning in Mobile Networks: From the Perspective of Communication-assisted Sensing 移动网络中数字孪生支持的联邦学习:从通信辅助传感的角度
IF 16.4 1区 计算机科学
IEEE Journal on Selected Areas in Communications Pub Date : 2023-10-01 DOI: 10.1109/jsac.2023.3310082
Junsheng Mu, Wenjia Ouyang, Tao Hong, Weijie Yuan, Yuanhao Cui, Zexuan Jing
{"title":"Digital Twin-enabled Federated Learning in Mobile Networks: From the Perspective of Communication-assisted Sensing","authors":"Junsheng Mu, Wenjia Ouyang, Tao Hong, Weijie Yuan, Yuanhao Cui, Zexuan Jing","doi":"10.1109/jsac.2023.3310082","DOIUrl":"https://doi.org/10.1109/jsac.2023.3310082","url":null,"abstract":"With the continuous evolution of emerging technologies such as mobile network, machine learning (ML), 5G, etc., digital twins (DT) bursts out great potential by its capacity of data analysis, data tracking, data prediction, etc, building a bridge between the physical and information world. Meanwhile, mobile network is moving towards data-driven paradigm, the issue of data privacy and data security seem to be a bottleneck. As a result, federated learning (FL) and mobile network are deeply converging. However, the mobile network is time-varying and the parameters of FL-empowered mobile network is huge and continue to increase with exponential growth of wireless terminals, result in the failure of traditional modeling. In the mobile networks, DT is conducive to prototyping, testing, and optimization, enabling mobile networks to be modelled more efficiently in a virtual environment and thus providing guidance for practical application. To this end, a communication-assisted sensing scenario is considered in this paper with FL in DT-empowered mobile networks. More specifically, two communication-assisted sensing architectures are proposed to improve communication efficiency of mobile network, namely, centralized architecture of federated transfer learning (FTL) and decentralized architecture of FTL. For centralized architecture of FTL, feature extraction of sensing information is conducted by FL between partial nodes and central server while the remaining nodes are used to train the fully connected layers at the central server. Considering data safety during the communication between sensing nodes, a decentralized architecture is designed based on FTL and Blockchain, where the feature extraction module is obtained by the fusion of sharing model (by Blockchain) and local model. The performance of proposed schemes is evaluated and demonstrated by the simulations.","PeriodicalId":13243,"journal":{"name":"IEEE Journal on Selected Areas in Communications","volume":"25 1","pages":"3230-3241"},"PeriodicalIF":16.4,"publicationDate":"2023-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"62352164","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Joint Device Selection and Power Control for Wireless Federated Learning 无线联邦学习的联合设备选择和功率控制
IF 16.4 1区 计算机科学
IEEE Journal on Selected Areas in Communications Pub Date : 2022-05-19 DOI: 10.48550/arXiv.2205.09306
Weihua Guo, Ran Li, Chuan Huang, Xiaoqi Qin, Kaiming Shen, Wei Zhang
{"title":"Joint Device Selection and Power Control for Wireless Federated Learning","authors":"Weihua Guo, Ran Li, Chuan Huang, Xiaoqi Qin, Kaiming Shen, Wei Zhang","doi":"10.48550/arXiv.2205.09306","DOIUrl":"https://doi.org/10.48550/arXiv.2205.09306","url":null,"abstract":"This paper studies the joint device selection and power control scheme for wireless federated learning (FL), considering both the downlink and uplink communications between the parameter server (PS) and the terminal devices. In each round of model training, the PS first broadcasts the global model to the terminal devices in an analog fashion, and then the terminal devices perform local training and upload the updated model parameters to the PS via over-the-air computation (AirComp). First, we propose an AirComp-based adaptive reweighing scheme for the aggregation of local updated models, where the model aggregation weights are directly determined by the uplink transmit power values of the selected devices and which enables the joint learning and communication optimization simply by the device selection and power control. Furthermore, we provide a convergence analysis for the proposed wireless FL algorithm and the upper bound on the expected optimality gap between the expected and optimal global loss values is derived. With instantaneous channel state information (CSI), we formulate the optimality gap minimization problems under both the individual and sum uplink transmit power constraints, respectively, which are shown to be solved by the semidefinite programming (SDR) technique. Numerical results reveal that our proposed wireless FL algorithm achieves close to the best performance by using the ideal FedAvg scheme with error-free model exchange and full device participation.","PeriodicalId":13243,"journal":{"name":"IEEE Journal on Selected Areas in Communications","volume":"40 1","pages":"2395-2410"},"PeriodicalIF":16.4,"publicationDate":"2022-05-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"42679325","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 22
X-ray Spectrometry in the Era of Aberration-Corrected Electron Optical Beam Lines. X 射线光谱学在畸变校正电子光学光束线时代的应用。
IF 2.8 1区 计算机科学
IEEE Journal on Selected Areas in Communications Pub Date : 2022-05-10 DOI: 10.1017/S143192762200068X
Nestor J Zaluzec
{"title":"X-ray Spectrometry in the Era of Aberration-Corrected Electron Optical Beam Lines.","authors":"Nestor J Zaluzec","doi":"10.1017/S143192762200068X","DOIUrl":"10.1017/S143192762200068X","url":null,"abstract":"<p><p>Aberration correction in the analytical transmission electron microscope is most closely associated with improvements in high-resolution imaging. In this paper, the combination of that technology with new system designs, which optimize both electron optics and x-ray detection, is shown to provide more than a tenfold increase in performance over the last 25 years.</p>","PeriodicalId":13243,"journal":{"name":"IEEE Journal on Selected Areas in Communications","volume":"29 1","pages":"1-7"},"PeriodicalIF":2.8,"publicationDate":"2022-05-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84366183","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Quantitative Strain and Topography Mapping of 2D Materials Using Nanobeam Electron Diffraction. 利用纳米束电子衍射绘制二维材料的定量应变和形貌图
IF 2.8 1区 计算机科学
IEEE Journal on Selected Areas in Communications Pub Date : 2022-04-01 DOI: 10.1017/S1431927622000502
Julian Sickel, Marcel Asbach, Christoph Gammer, Rudolf Bratschitsch, Helmut Kohl
{"title":"Quantitative Strain and Topography Mapping of 2D Materials Using Nanobeam Electron Diffraction.","authors":"Julian Sickel, Marcel Asbach, Christoph Gammer, Rudolf Bratschitsch, Helmut Kohl","doi":"10.1017/S1431927622000502","DOIUrl":"10.1017/S1431927622000502","url":null,"abstract":"<p><p>It is known that 2D materials can exhibit a nonflat topography, which gives rise to an inherent strain. Since local curvature and strain influence mechanical, optical, and electrical properties, but are often difficult to distinguish from each other, a robust measurement technique is needed. In this study, a novel method is introduced, which is capable of obtaining quantitative strain and topography information of 2D materials with nanometer resolution. Relying on scanning nanobeam electron diffraction (NBED), it is possible to disentangle strain from the local sample slope. Using the positions of the diffraction spots of a specimen at two different tilts to reconstruct the locations and orientations of the reciprocal lattice rods, the local strain and slope can be simultaneously retrieved. We demonstrate the differences to strain measurements from a single NBED map in theory, simulation, and experiment. MoS2 monolayers with different shapes are used as simulation test structures. The slope and height information are recovered, as well as tensile and angular strain which have an absolute difference of less than 0.2% and 0.2° from the theoretical values. An experimental proof of concept using a freely suspended WSe2 monolayer together with a discussion of the accuracy of the method is provided.</p>","PeriodicalId":13243,"journal":{"name":"IEEE Journal on Selected Areas in Communications","volume":"31 1","pages":"1-15"},"PeriodicalIF":2.8,"publicationDate":"2022-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84370043","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Plumbagin is a NF-κB-inducing kinase inhibitor with dual anabolic and antiresorptive effects that prevents menopausal-related osteoporosis in mice. Plumbagin 是一种 NF-κB 诱导激酶抑制剂,具有合成代谢和抗骨质疏松的双重作用,可预防小鼠更年期相关骨质疏松症。
1区 计算机科学
IEEE Journal on Selected Areas in Communications Pub Date : 2022-04-01 Epub Date: 2022-02-27 DOI: 10.1016/j.jbc.2022.101767
Gengyang Shen, Xin Liu, Wei Lei, Rong Duan, Zhenqiang Yao
{"title":"Plumbagin is a NF-κB-inducing kinase inhibitor with dual anabolic and antiresorptive effects that prevents menopausal-related osteoporosis in mice.","authors":"Gengyang Shen, Xin Liu, Wei Lei, Rong Duan, Zhenqiang Yao","doi":"10.1016/j.jbc.2022.101767","DOIUrl":"10.1016/j.jbc.2022.101767","url":null,"abstract":"<p><p>Osteoporosis is caused by enhanced bone resorption and relatively reduced bone formation. There is an unmet need to develop new agents with both antiresorptive and anabolic effects to treat osteoporosis, although drugs with either effect alone are available. A small molecular compound, plumbagin, was reported to inhibit receptor activator of nuclear factor kappa-B ligand-induced osteoclast (OC) differentiation by inhibiting IκBα phosphorylation-mediated canonical NF-κB activation. However, the key transcriptional factor RelA/p65 in canonical NF-κB pathway functions to promote OC precursor survival but not terminal OC differentiation. Here, we found that plumbagin inhibited the activity of NF-κB inducing kinase, the key molecule that controls noncanonical NF-κB signaling, in an ATP/ADP-based kinase assay. Consistent with this, plumbagin inhibited processing of NF-κB2 p100 to p52 in the progenitor cells of both OCs and osteoblasts (OBs). Interestingly, plumbagin not only inhibited OC but also stimulated OB differentiation in vitro. Importantly, plumbagin prevented trabecular bone loss in ovariectomized mice. This was associated with decreased OC surfaces on trabecular surface and increased parameters of OBs, including OB surface on trabecular surface, bone formation rate, and level of serum osteocalcin, compared to vehicle-treated mice. In summary, we conclude that plumbagin is a NF-κB-inducing kinase inhibitor with dual anabolic and antiresorptive effects on bone and could represent a new class of agent for the prevention and treatment of osteoporosis.</p>","PeriodicalId":13243,"journal":{"name":"IEEE Journal on Selected Areas in Communications","volume":"25 1","pages":"101767"},"PeriodicalIF":0.0,"publicationDate":"2022-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC8958545/pdf/","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84355444","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
Hybrid Active and Passive Sensing for SLAM in Wireless Communication Systems 无线通信系统中SLAM的混合主动和被动传感
IF 16.4 1区 计算机科学
IEEE Journal on Selected Areas in Communications Pub Date : 2022-03-19 DOI: 10.1109/JSAC.2022.3156630.
Jie Yang, Chao-Kai Wen, Shi Jin
{"title":"Hybrid Active and Passive Sensing for SLAM in Wireless Communication Systems","authors":"Jie Yang, Chao-Kai Wen, Shi Jin","doi":"10.1109/JSAC.2022.3156630.","DOIUrl":"https://doi.org/10.1109/JSAC.2022.3156630.","url":null,"abstract":"Integrating sensing functions into future mobile equipment has become an important trend. Realizing different types of sensing and achieving mutual enhancement under the existing communication hardware architecture is a crucial challenge in realizing the deep integration of sensing and communication. In the 5G New Radio context, active sensing can be performed through uplink beam sweeping on the user equipment (UE) side to observe the surrounding environment. In addition, the UE can perform passive sensing through downlink channel estimation to measure the multipath component (MPC) information. This study is the first to develop a hybrid simultaneous localization and mapping (SLAM) mechanism that combines active and passive sensing, in which mutual enhancement between the two sensing modes is realized in communication systems. Specifically, we first establish a common feature associated with the reflective surface to bridge active and passive sensing, thus enabling information fusion. Based on the common feature, we can attain physical anchor initialization through MPC with the assistance of active sensing. Then, we extend the classic probabilistic data association SLAM mechanism to achieve UE localization and continuously refine the physical anchor and target reflections through the subsequent passive sensing. Numerical results show that the proposed hybrid active and passive sensing-based SLAM mechanism can work successfully in tricky scenarios without any prior information on the floor plan, anchors, or agents. Moreover, the proposed algorithm demonstrates significant performance gains compared with active or passive sensing only mechanisms.","PeriodicalId":13243,"journal":{"name":"IEEE Journal on Selected Areas in Communications","volume":"40 1","pages":"2146-2163"},"PeriodicalIF":16.4,"publicationDate":"2022-03-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"41957084","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 20
3-D Deployment of UAV Swarm for Massive MIMO Communications 大规模MIMO通信中无人机群的三维部署
IF 16.4 1区 计算机科学
IEEE Journal on Selected Areas in Communications Pub Date : 2020-09-21 DOI: 10.1145/3411043.3412502
Ning Gao, Xiao Li, Shi Jin, M. Matthaiou
{"title":"3-D Deployment of UAV Swarm for Massive MIMO Communications","authors":"Ning Gao, Xiao Li, Shi Jin, M. Matthaiou","doi":"10.1145/3411043.3412502","DOIUrl":"https://doi.org/10.1145/3411043.3412502","url":null,"abstract":"We consider the uplink transmission between a multi-antenna ground station and an unmanned aerial vehicle (UAV) swarm. The UAVs are assumed as intelligent agents, which can explore their optimal three dimensional (3-D) deployment to maximize the channel capacity of the multiple input multiple output (MIMO) system. Specifically, considering the limitations of each UAV in accessing the global information of the network, we focus on a decentralized control strategy by noting that each UAV in the swarm can only utilize the local information to achieve the optimal 3-D deployment. In this case, the optimization problem can be divided into several optimization sub-problems with respect to the rank function. Due to the non-convex nature of the rank function and the fact that the optimization sub-problems are coupled, the original problem is NP-hard and, thus, cannot be solved with standard convex optimization solvers. Interestingly, we can relax the constraint condition of each sub-problem and solve the optimization problem by a formulated UAVs channel capacity maximization game. We analyze such game according to the designed reward function and the potential function. Then, we discuss the existence of the pure Nash equilibrium in the game. To achieve the best Nash equilibrium of the MIMO system, we develop a decentralized learning algorithm, namely decentralized UAVs channel capacity learning. The details of the algorithm are provided, and then, the convergence, the effectiveness and the computational complexity are analyzed, respectively. Moreover, we give some insightful remarks based on the proofs and the theoretical analysis. Also, extensive simulations illustrate that the developed learning algorithm can achieve a high MIMO channel capacity by optimizing the 3-D UAV swarm deployment with the local information.","PeriodicalId":13243,"journal":{"name":"IEEE Journal on Selected Areas in Communications","volume":"38 1","pages":"3022-3034"},"PeriodicalIF":16.4,"publicationDate":"2020-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90121613","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 14
Dynamic Traffic Management for SD-WAN Inter-Cloud Communication SD-WAN云间通信的动态流量管理
IF 16.4 1区 计算机科学
IEEE Journal on Selected Areas in Communications Pub Date : 2020-07-01 DOI: 10.1109/JSAC.2020.2986957
Z. Duliński, R. Stankiewicz, Grzegorz Rzym, Piotr Wydrych
{"title":"Dynamic Traffic Management for SD-WAN Inter-Cloud Communication","authors":"Z. Duliński, R. Stankiewicz, Grzegorz Rzym, Piotr Wydrych","doi":"10.1109/JSAC.2020.2986957","DOIUrl":"https://doi.org/10.1109/JSAC.2020.2986957","url":null,"abstract":"This article introduces the concept, implementation and evaluation of Dynamic Traffic Management (DTM). This management mechanism minimizes traffic transfer costs on inter-domain links. It works for volume and $95^{th}$ percentile tariffs. DTM reacts dynamically to traffic changes on inter-domain links shifting some part of traffic (manageable traffic) from one link to another. The management mechanism works in a distributed way. It requires cooperation between operators, namely Internet Service Providers (ISPs), receiving and generating traffic. Communication between ISPs is realized by SDN controllers (inter-domain SDN). DTM has been applied to inter-cloud communication for Data Centers (DCs) located in different ISP domains. Moreover, it is cloud-agnostic, i.e., DTM does not engage Cloud Service Providers (CSPs) into management procedures. Evaluation performed in the testbed shows that DTM is capable of decreasing ISP costs of transit traffic up to 29%.","PeriodicalId":13243,"journal":{"name":"IEEE Journal on Selected Areas in Communications","volume":"38 1","pages":"1335-1351"},"PeriodicalIF":16.4,"publicationDate":"2020-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1109/JSAC.2020.2986957","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"42842918","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 27
Atomic Predicates-Based Data Plane Properties Verification in Software Defined Networking Using Spark Spark在软件定义网络中基于原子谓词的数据平面属性验证
IF 16.4 1区 计算机科学
IEEE Journal on Selected Areas in Communications Pub Date : 2020-07-01 DOI: 10.1109/JSAC.2020.2986956
Yicong Zhang, Jie Li, S. Kimura, Wei Zhao, Sajal K. Das
{"title":"Atomic Predicates-Based Data Plane Properties Verification in Software Defined Networking Using Spark","authors":"Yicong Zhang, Jie Li, S. Kimura, Wei Zhao, Sajal K. Das","doi":"10.1109/JSAC.2020.2986956","DOIUrl":"https://doi.org/10.1109/JSAC.2020.2986956","url":null,"abstract":"Software-Defined Networking (SDN) is an innovational network architecture which gives network administrators the ability to directly control the whole network by programming on a centralized controller. Due to network complexity, networks are unlikely to be bug-free. The ability to verify data plane properties will make network management easier for network administrators in SDN. In this paper, we present a novel atomic predicates based data plane properties verification method for SDN using Spark which is a big data processing framework. First, we verify packet reachability which is a fundamental data plane property. Then, we verify other data plane properties such as loop-freedom and nonexistence of black holes. In addition, the proposed method can detect a security threat existing in SDN called firewall bypass threat with packet reachability verification. By adopting atomic predicates, we achieve less computational and storage overhead. We implement the methods and study the performance. The results of experiments show that we can efficiently and accurately detect loops, black holes and firewall bypass threats.","PeriodicalId":13243,"journal":{"name":"IEEE Journal on Selected Areas in Communications","volume":"38 1","pages":"1308-1321"},"PeriodicalIF":16.4,"publicationDate":"2020-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1109/JSAC.2020.2986956","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"43421078","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信