首页 > 最新文献

IEEE Transactions on Network Science and Engineering最新文献

英文 中文
GAXG: A Global and Self-Adaptive Optimal Graph Topology Generation Framework for Explaining Graph Neural Networks GAXG:用于解释图神经网络的全局和自适应最优图拓扑生成框架
IF 6.7 2区 计算机科学 Q1 ENGINEERING, MULTIDISCIPLINARY Pub Date : 2024-07-30 DOI: 10.1109/TNSE.2024.3435839
Xiaofeng Liu;Chenqi Guo;Mingjun Zhao;Yinglong Ma
Numerous explainability techniques have been developed to reveal the prediction principles of Graph Neural Networks (GNNs) across diverse domains. However, many existing approaches, particularly those concentrating on model-level explanations, tend to grapple with the tunnel vision problem, leading to less-than-optimal outcomes and constraining users' comprehensive understanding of GNNs. Furthermore, these methods typically require hyperparameters to mold the explanations, introducing unintended human biases. In response, we present GAXG, a global and self-adaptive optimal graph topology generation framework for explaining GNNs' prediction principles at model-level. GAXG addresses the challenges of tunnel vision and hyperparameter reliance by integrating a strategically tailored Monte Carlo Tree Search (MCTS) algorithm. Notably, our tailored MCTS algorithm is modified to incorporate an Edge Mask Learning and Simulated Annealing-based subgraph screening strategy during the expansion phase, resolving the inherent time-consuming challenges of the tailored MCTS and enhancing the quality of the generated explanatory graph topologies. Experimental results underscore GAXG's effectiveness in discovering global explanations for GNNs, outperforming leading explainers on most evaluation metrics.
为了揭示图神经网络(GNN)在不同领域的预测原理,人们开发了许多可解释性技术。然而,现有的许多方法,尤其是那些专注于模型级解释的方法,往往会遇到隧道视野问题,导致结果不尽如人意,并限制了用户对 GNN 的全面理解。此外,这些方法通常需要超参数来塑造解释,从而引入了意外的人为偏差。为此,我们提出了 GAXG,这是一种全局性的自适应最优图拓扑生成框架,用于在模型层面解释 GNN 的预测原理。GAXG 通过整合战略性定制的蒙特卡洛树搜索(MCTS)算法,解决了隧道视野和超参数依赖的难题。值得注意的是,我们的定制 MCTS 算法经过修改,在扩展阶段纳入了基于边缘掩码学习和模拟退火的子图筛选策略,从而解决了定制 MCTS 固有的耗时难题,并提高了生成的解释图拓扑的质量。实验结果表明,GAXG 在发现 GNN 的全局解释方面非常有效,在大多数评估指标上都优于领先的解释器。
{"title":"GAXG: A Global and Self-Adaptive Optimal Graph Topology Generation Framework for Explaining Graph Neural Networks","authors":"Xiaofeng Liu;Chenqi Guo;Mingjun Zhao;Yinglong Ma","doi":"10.1109/TNSE.2024.3435839","DOIUrl":"10.1109/TNSE.2024.3435839","url":null,"abstract":"Numerous explainability techniques have been developed to reveal the prediction principles of Graph Neural Networks (GNNs) across diverse domains. However, many existing approaches, particularly those concentrating on model-level explanations, tend to grapple with the tunnel vision problem, leading to less-than-optimal outcomes and constraining users' comprehensive understanding of GNNs. Furthermore, these methods typically require hyperparameters to mold the explanations, introducing unintended human biases. In response, we present GAXG, a global and self-adaptive optimal graph topology generation framework for explaining GNNs' prediction principles at model-level. GAXG addresses the challenges of tunnel vision and hyperparameter reliance by integrating a strategically tailored Monte Carlo Tree Search (MCTS) algorithm. Notably, our tailored MCTS algorithm is modified to incorporate an Edge Mask Learning and Simulated Annealing-based subgraph screening strategy during the expansion phase, resolving the inherent time-consuming challenges of the tailored MCTS and enhancing the quality of the generated explanatory graph topologies. Experimental results underscore GAXG's effectiveness in discovering global explanations for GNNs, outperforming leading explainers on most evaluation metrics.","PeriodicalId":54229,"journal":{"name":"IEEE Transactions on Network Science and Engineering","volume":"11 6","pages":"6007-6023"},"PeriodicalIF":6.7,"publicationDate":"2024-07-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141866352","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Leader-Following Consensus Control of Unknown Nonlinear MASs Under False Data Injection Attacks 虚假数据注入攻击下未知非线性 MAS 的领导者追随共识控制
IF 6.7 2区 计算机科学 Q1 ENGINEERING, MULTIDISCIPLINARY Pub Date : 2024-07-29 DOI: 10.1109/TNSE.2024.3433392
Meirong Wang;Jianqiang Hu;Ahmed Alsaedi;Jinde Cao
This paper studies the distributed leader-following consensus problem of unknown nonlinear multi-agent systems (MASs) under false data injection attacks (FDIAs), where the followers connected to the leader may receive the injected false data from the leader's communication channels. Due to the existence of FDIAs, the real and broken leader state value is not available to the followers and cannot be used by followers' controllers, thus an attack compensator based on the errors between the predictive value and the actual measured value is added to the controller to mitigate the adverse effects of attacks. Fuzzy logic systems (FLSs) and Neural Network (NN) techniques are applied to approximate the unknown nonlinear dynamic by estimating the weight matrix. The proposed controller combines attack compensation with unknown nonlinear function compensation, and finally obtains sufficient conditions for the MASs to be ultimately uniformly bounded (UUB). Two algorithms are presented for undirected and directed communication topologies respectively and the simulation results verify the feasibility of the proposed consensus algorithms.
本文研究了未知非线性多Agent系统(MAS)在虚假数据注入攻击(FDIAs)下的分布式领导者-跟随者共识问题,在这种情况下,与领导者相连的跟随者可能会从领导者的通信信道接收到注入的虚假数据。由于 FDIAs 的存在,跟随者无法获得真实的、被破坏的领导者状态值,跟随者的控制器也无法使用,因此需要在控制器中加入一个基于预测值与实际测量值之间误差的攻击补偿器,以减轻攻击的不利影响。模糊逻辑系统(FLS)和神经网络(NN)技术通过估计权重矩阵来近似未知的非线性动态。所提出的控制器将攻击补偿与未知非线性函数补偿相结合,最终获得了 MAS 最终均匀有界(UUB)的充分条件。针对无向和有向通信拓扑分别提出了两种算法,仿真结果验证了所提共识算法的可行性。
{"title":"Leader-Following Consensus Control of Unknown Nonlinear MASs Under False Data Injection Attacks","authors":"Meirong Wang;Jianqiang Hu;Ahmed Alsaedi;Jinde Cao","doi":"10.1109/TNSE.2024.3433392","DOIUrl":"10.1109/TNSE.2024.3433392","url":null,"abstract":"This paper studies the distributed leader-following consensus problem of unknown nonlinear multi-agent systems (MASs) under false data injection attacks (FDIAs), where the followers connected to the leader may receive the injected false data from the leader's communication channels. Due to the existence of FDIAs, the real and broken leader state value is not available to the followers and cannot be used by followers' controllers, thus an attack compensator based on the errors between the predictive value and the actual measured value is added to the controller to mitigate the adverse effects of attacks. Fuzzy logic systems (FLSs) and Neural Network (NN) techniques are applied to approximate the unknown nonlinear dynamic by estimating the weight matrix. The proposed controller combines attack compensation with unknown nonlinear function compensation, and finally obtains sufficient conditions for the MASs to be ultimately uniformly bounded (UUB). Two algorithms are presented for undirected and directed communication topologies respectively and the simulation results verify the feasibility of the proposed consensus algorithms.","PeriodicalId":54229,"journal":{"name":"IEEE Transactions on Network Science and Engineering","volume":"11 5","pages":"4513-4524"},"PeriodicalIF":6.7,"publicationDate":"2024-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141866357","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Scale-Free Collaborative Protocol Design for Exact Output Synchronization of Multi-Agent Systems in the Presence of Disturbances and Measurement Noise With Known Frequencies 在已知频率的干扰和测量噪声条件下实现多代理系统精确输出同步的无规模协作协议设计
IF 6.6 2区 计算机科学 Q1 ENGINEERING, MULTIDISCIPLINARY Pub Date : 2024-07-29 DOI: 10.1109/tnse.2024.3433604
Zhenwei Liu, Meirong Zhang, Ali Saberi, Anton A. Stoorvogel
{"title":"Scale-Free Collaborative Protocol Design for Exact Output Synchronization of Multi-Agent Systems in the Presence of Disturbances and Measurement Noise With Known Frequencies","authors":"Zhenwei Liu, Meirong Zhang, Ali Saberi, Anton A. Stoorvogel","doi":"10.1109/tnse.2024.3433604","DOIUrl":"https://doi.org/10.1109/tnse.2024.3433604","url":null,"abstract":"","PeriodicalId":54229,"journal":{"name":"IEEE Transactions on Network Science and Engineering","volume":"19 1","pages":""},"PeriodicalIF":6.6,"publicationDate":"2024-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141866360","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Fully Distributed Adaptive Resilient Control of Networked Heterogeneous Battery Systems with Unknown Parameters 具有未知参数的联网异构电池系统的全分布式自适应弹性控制
IF 6.6 2区 计算机科学 Q1 ENGINEERING, MULTIDISCIPLINARY Pub Date : 2024-07-29 DOI: 10.1109/tnse.2024.3434957
Yangyang Qian, Zongli Lin, Yacov A. Shamash
{"title":"Fully Distributed Adaptive Resilient Control of Networked Heterogeneous Battery Systems with Unknown Parameters","authors":"Yangyang Qian, Zongli Lin, Yacov A. Shamash","doi":"10.1109/tnse.2024.3434957","DOIUrl":"https://doi.org/10.1109/tnse.2024.3434957","url":null,"abstract":"","PeriodicalId":54229,"journal":{"name":"IEEE Transactions on Network Science and Engineering","volume":"42 1","pages":""},"PeriodicalIF":6.6,"publicationDate":"2024-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141866355","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A Novel Proactive Cache Decision Algorithm Based on Prior Knowledge and Aerial Cloud Assistance in Internet of Vehicles 车联网中基于先验知识和空中云辅助的新型主动缓存决策算法
IF 6.7 2区 计算机科学 Q1 ENGINEERING, MULTIDISCIPLINARY Pub Date : 2024-07-25 DOI: 10.1109/TNSE.2024.3433544
Geng Chen;Jingli Sun;Yuxiang Zhou;Qingtian Zeng;Fei Shen
In recent years, mobile data has grown explosively due to the rapid development of Internet of Vehicles (IoV). However, resources of IoV are limited, in order to alleviate the problem of resource shortage, it is necessary to combine the resource rich aerial cloud and the ground edge nodes. In order to improve efficiency of proactive cache, we propose a proactive cache decision algorithm based on prior knowledge and aerial cloud assistance. Firstly, we divide requests into two types: content download requests and task calculation requests. Then the dynamic request graph based on relationship between users and requests is constructed, temporal graph network and long short term memory are used to predict prior information and caching benefit function is proposed based on popularity and supplemented by prior information to indicate cache location of request content. Finally, the problem of maximizing cache benefit is proposed and the theoretical solution is obtained using Lagrange multiplier method as well as simulation solution is obtained based on Deep Deterministic Policy Gradient. The simulation results demonstrate that the proposed caching scheme can greatly improve caching efficiency, reduce latency and energy consumption.Compared to D3QN, Dueling DQN, and Double DQN, system revenue of proposed algorithm has increased by 66.65%, 177.71% and 36.08%.
近年来,随着车联网(IoV)的快速发展,移动数据呈爆炸式增长。然而,车联网的资源是有限的,为了缓解资源短缺的问题,有必要将资源丰富的空中云和地面边缘节点结合起来。为了提高主动缓存的效率,我们提出了一种基于先验知识和空中云辅助的主动缓存决策算法。首先,我们将请求分为两类:内容下载请求和任务计算请求。然后,根据用户和请求之间的关系构建动态请求图,利用时序图网络和长短期记忆预测先验信息,并提出基于流行度的缓存收益函数,辅以先验信息指示请求内容的缓存位置。最后,提出了缓存效益最大化问题,并利用拉格朗日乘数法获得了理论解,同时基于深度确定性策略梯度法获得了仿真解。仿真结果表明,所提出的缓存方案可以大大提高缓存效率,降低延迟和能耗。与 D3QN、Dueling DQN 和 Double DQN 相比,所提出算法的系统收益分别提高了 66.65%、177.71% 和 36.08%。
{"title":"A Novel Proactive Cache Decision Algorithm Based on Prior Knowledge and Aerial Cloud Assistance in Internet of Vehicles","authors":"Geng Chen;Jingli Sun;Yuxiang Zhou;Qingtian Zeng;Fei Shen","doi":"10.1109/TNSE.2024.3433544","DOIUrl":"10.1109/TNSE.2024.3433544","url":null,"abstract":"In recent years, mobile data has grown explosively due to the rapid development of Internet of Vehicles (IoV). However, resources of IoV are limited, in order to alleviate the problem of resource shortage, it is necessary to combine the resource rich aerial cloud and the ground edge nodes. In order to improve efficiency of proactive cache, we propose a proactive cache decision algorithm based on prior knowledge and aerial cloud assistance. Firstly, we divide requests into two types: content download requests and task calculation requests. Then the dynamic request graph based on relationship between users and requests is constructed, temporal graph network and long short term memory are used to predict prior information and caching benefit function is proposed based on popularity and supplemented by prior information to indicate cache location of request content. Finally, the problem of maximizing cache benefit is proposed and the theoretical solution is obtained using Lagrange multiplier method as well as simulation solution is obtained based on Deep Deterministic Policy Gradient. The simulation results demonstrate that the proposed caching scheme can greatly improve caching efficiency, reduce latency and energy consumption.Compared to D3QN, Dueling DQN, and Double DQN, system revenue of proposed algorithm has increased by 66.65%, 177.71% and 36.08%.","PeriodicalId":54229,"journal":{"name":"IEEE Transactions on Network Science and Engineering","volume":"11 6","pages":"5280-5297"},"PeriodicalIF":6.7,"publicationDate":"2024-07-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141772323","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
An Adaptive Pricing Framework for Real-Time AI Model Service Exchange 实时人工智能模型服务交换的自适应定价框架
IF 6.7 2区 计算机科学 Q1 ENGINEERING, MULTIDISCIPLINARY Pub Date : 2024-07-24 DOI: 10.1109/TNSE.2024.3432917
Jiashi Gao;Ziwei Wang;Xuetao Wei
Artificial intelligence (AI) model services offer remarkable efficiency and automation, engaging customers across various tasks. However, not all AI consumers possess sufficient data to drive AI model training or the specialized knowledge to construct high-performance AI model structures; this has led to a trend in AI model service transactions, a novel facet of the digital economy. Unlike conventional digital products, AI models undergo performance degradation over time. This phenomenon occurs as the training data becomes outdated, leading to a “distribution shift” away from the target distribution of the most recent downstream tasks. This degradation decreases consumer demand, making the AI model less competitive and lowering provider revenue. In this work, we analyze the impact of performance degradation on consumers' demand for AI model services and propose an adaptive pricing framework for service providers to maximize revenue in real-time AI model service exchange. Specifically, We propose an optimal transport (OT) distance-based approach to estimate model performance degradation effectively. Building on this methodology, we implement several practical solutions for predicting changes in future demand rates resulting from current pricing configurations. We then propose a demand-driven AI model update mechanism for service providers to maintain high product demand rates while reducing retraining AI models' costs. We finally propose a reinforcement learning-based pricing mechanism that facilitates adaptive and rapid pricing responses to achieve revenue maximization. Extensive experiments in both 2-competitor and multi-competitor markets validate our framework, showing a significant revenue advantage over baseline pricing strategies in AI model service transactions.
人工智能(AI)模型服务提供了显著的效率和自动化,可让客户参与各种任务。然而,并非所有人工智能消费者都拥有足够的数据来驱动人工智能模型训练,或拥有构建高性能人工智能模型结构的专业知识;这导致了人工智能模型服务交易的趋势,成为数字经济的一个新的方面。与传统数字产品不同,人工智能模型的性能会随着时间的推移而下降。这种现象会随着训练数据的过时而发生,导致 "分布转移",偏离最新下游任务的目标分布。这种退化会降低消费者的需求,使人工智能模型失去竞争力,降低提供商的收入。在这项工作中,我们分析了性能退化对消费者对人工智能模型服务需求的影响,并为服务提供商提出了一个自适应定价框架,以便在实时人工智能模型服务交换中实现收益最大化。具体来说,我们提出了一种基于最优传输(OT)距离的方法,以有效估计模型的性能退化。在此方法的基础上,我们实施了几种实用的解决方案,用于预测当前定价配置导致的未来需求率的变化。然后,我们为服务提供商提出了一种需求驱动的人工智能模型更新机制,以保持较高的产品需求率,同时降低人工智能模型的再训练成本。最后,我们提出了一种基于强化学习的定价机制,该机制可促进自适应和快速定价响应,从而实现收入最大化。在两个竞争者和多个竞争者市场中进行的广泛实验验证了我们的框架,表明在人工智能模型服务交易中,与基准定价策略相比,我们的定价策略具有显著的收入优势。
{"title":"An Adaptive Pricing Framework for Real-Time AI Model Service Exchange","authors":"Jiashi Gao;Ziwei Wang;Xuetao Wei","doi":"10.1109/TNSE.2024.3432917","DOIUrl":"10.1109/TNSE.2024.3432917","url":null,"abstract":"Artificial intelligence (AI) model services offer remarkable efficiency and automation, engaging customers across various tasks. However, not all AI consumers possess sufficient data to drive AI model training or the specialized knowledge to construct high-performance AI model structures; this has led to a trend in AI model service transactions, a novel facet of the digital economy. Unlike conventional digital products, AI models undergo performance degradation over time. This phenomenon occurs as the training data becomes outdated, leading to a “distribution shift” away from the target distribution of the most recent downstream tasks. This degradation decreases consumer demand, making the AI model less competitive and lowering provider revenue. In this work, we analyze the impact of performance degradation on consumers' demand for AI model services and propose an adaptive pricing framework for service providers to maximize revenue in real-time AI model service exchange. Specifically, We propose an optimal transport (OT) distance-based approach to estimate model performance degradation effectively. Building on this methodology, we implement several practical solutions for predicting changes in future demand rates resulting from current pricing configurations. We then propose a demand-driven AI model update mechanism for service providers to maintain high product demand rates while reducing retraining AI models' costs. We finally propose a reinforcement learning-based pricing mechanism that facilitates adaptive and rapid pricing responses to achieve revenue maximization. Extensive experiments in both 2-competitor and multi-competitor markets validate our framework, showing a significant revenue advantage over baseline pricing strategies in AI model service transactions.","PeriodicalId":54229,"journal":{"name":"IEEE Transactions on Network Science and Engineering","volume":"11 5","pages":"5114-5129"},"PeriodicalIF":6.7,"publicationDate":"2024-07-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141772325","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Distributionally Robust Chance-Constrained Transmission Expansion Planning Using a Distributed Solution 使用分布式解决方案的分布式稳健机会约束输电扩展规划
IF 6.6 2区 计算机科学 Q1 ENGINEERING, MULTIDISCIPLINARY Pub Date : 2024-07-23 DOI: 10.1109/tnse.2024.3432754
MethodSanaz Mahmoudi, Behnam Alizadeh, Shahab Dehghan
{"title":"Distributionally Robust Chance-Constrained Transmission Expansion Planning Using a Distributed Solution","authors":"MethodSanaz Mahmoudi, Behnam Alizadeh, Shahab Dehghan","doi":"10.1109/tnse.2024.3432754","DOIUrl":"https://doi.org/10.1109/tnse.2024.3432754","url":null,"abstract":"","PeriodicalId":54229,"journal":{"name":"IEEE Transactions on Network Science and Engineering","volume":"24 1","pages":""},"PeriodicalIF":6.6,"publicationDate":"2024-07-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141772321","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
LURK-T: Limited Use of Remote Keys With Added Trust in TLS 1.3 LURK-T:TLS 1.3 中增加信任的远程密钥的有限使用
IF 6.7 2区 计算机科学 Q1 ENGINEERING, MULTIDISCIPLINARY Pub Date : 2024-07-23 DOI: 10.1109/TNSE.2024.3432836
Behnam Shobiri;Sajjad Pourali;Daniel Migault;Ioana Boureanu;Stere Preda;Mohammad Mannan;Amr Youssef
In many web applications, such as Content Delivery Networks (CDNs), TLS credentials are shared, e.g., between the website's TLS origin server and the CDN's edge servers, which can be distributed around the globe. To enhance the security and trust for TLS 1.3 in such scenarios, we propose LURK-T, a provably secure framework which allows for limited use of remote keys with added trust in TLS 1.3. We efficiently decouple the server side of TLS 1.3 into a LURK-T Crypto Service ($mathit {CS}$) and a LURK-T Engine ($mathit {E}$). $mathit {CS}$ executes all cryptographic operations in a Trusted Execution Environment (TEE), upon $mathit {E}$’s requests. $mathit {CS}$ and $mathit {E}$ together provide the whole TLS-server functionality. A major benefit of our construction is that it is application agnostic; the LURK-T Crypto Service could be collocated with the LURK-T Engine, or it could run on different machines. Thus, our design allows for in situ attestation and protection of the cryptographic side of the TLS server, as well as for all setups of CDNs over TLS. To support such a generic decoupling, we provide a full Application Programming Interface (API) for LURK-T. To this end, we implement our LURK-T Crypto Service using Intel SGX and integrate it with OpenSSL. We also test LURK-T's efficiency and show that, from a TLS-client's perspective, HTTPS servers using LURK-T instead a traditional TLS-server have no noticeable overhead when serving files greater than 1 MB. In addition, we provide cryptographic proofs and formal security verification using ProVerif.
在许多网络应用(如内容分发网络(CDN))中,TLS 凭证是共享的,例如在网站的 TLS 源服务器和 CDN 边缘服务器之间共享,而 CDN 边缘服务器可能分布在全球各地。为了提高 TLS 1.3 在这种情况下的安全性和信任度,我们提出了 LURK-T,这是一个可证明安全的框架,允许有限地使用远程密钥,并增加 TLS 1.3 的信任度。我们将 TLS 1.3 的服务器端有效地解耦为 LURK-T Crypto Service($mathit {CS}$)和 LURK-T Engine($mathit {E}$)。根据$mathit {E}$的请求,$mathit {CS}$在可信执行环境(TEE)中执行所有加密操作。$mathit {CS}$ 和 $mathit {E}$ 共同提供整个 TLS 服务器功能。我们的结构的一个主要优点是与应用程序无关;LURK-T 加密服务可以与 LURK-T 引擎放在一起,也可以在不同的机器上运行。因此,我们的设计允许对 TLS 服务器的加密侧进行现场验证和保护,也适用于通过 TLS 建立的 CDN 的所有设置。为了支持这种通用解耦,我们为 LURK-T 提供了完整的应用编程接口(API)。为此,我们使用英特尔 SGX 实现了 LURK-T Crypto 服务,并将其与 OpenSSL 集成。我们还测试了 LURK-T 的效率,结果表明,从 TLS 客户端的角度来看,使用 LURK-T 代替传统 TLS 服务器的 HTTPS 服务器在提供超过 1 MB 的文件时没有明显的开销。此外,我们还使用 ProVerif 提供了加密证明和正式安全验证。
{"title":"LURK-T: Limited Use of Remote Keys With Added Trust in TLS 1.3","authors":"Behnam Shobiri;Sajjad Pourali;Daniel Migault;Ioana Boureanu;Stere Preda;Mohammad Mannan;Amr Youssef","doi":"10.1109/TNSE.2024.3432836","DOIUrl":"10.1109/TNSE.2024.3432836","url":null,"abstract":"In many web applications, such as Content Delivery Networks (CDNs), TLS credentials are shared, e.g., between the website's TLS origin server and the CDN's edge servers, which can be distributed around the globe. To enhance the security and trust for TLS 1.3 in such scenarios, we propose LURK-T, a provably secure framework which allows for limited use of remote keys with added trust in TLS 1.3. We efficiently decouple the server side of TLS 1.3 into a LURK-T Crypto Service (\u0000<inline-formula><tex-math>$mathit {CS}$</tex-math></inline-formula>\u0000) and a LURK-T Engine (\u0000<inline-formula><tex-math>$mathit {E}$</tex-math></inline-formula>\u0000). \u0000<inline-formula><tex-math>$mathit {CS}$</tex-math></inline-formula>\u0000 executes all cryptographic operations in a Trusted Execution Environment (TEE), upon \u0000<inline-formula><tex-math>$mathit {E}$</tex-math></inline-formula>\u0000’s requests. \u0000<inline-formula><tex-math>$mathit {CS}$</tex-math></inline-formula>\u0000 and \u0000<inline-formula><tex-math>$mathit {E}$</tex-math></inline-formula>\u0000 together provide the whole TLS-server functionality. A major benefit of our construction is that it is application agnostic; the LURK-T Crypto Service could be collocated with the LURK-T Engine, or it could run on different machines. Thus, our design allows for in situ attestation and protection of the cryptographic side of the TLS server, as well as for all setups of CDNs over TLS. To support such a generic decoupling, we provide a full Application Programming Interface (API) for LURK-T. To this end, we implement our LURK-T Crypto Service using Intel SGX and integrate it with OpenSSL. We also test LURK-T's efficiency and show that, from a TLS-client's perspective, HTTPS servers using LURK-T instead a traditional TLS-server have no noticeable overhead when serving files greater than 1 MB. In addition, we provide cryptographic proofs and formal security verification using ProVerif.","PeriodicalId":54229,"journal":{"name":"IEEE Transactions on Network Science and Engineering","volume":"11 6","pages":"6313-6327"},"PeriodicalIF":6.7,"publicationDate":"2024-07-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141772324","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Enhanced Emergency Communication Services for Post–Disaster Rescue: Multi-IRS Assisted Air-Ground Integrated Data Collection 增强灾后救援应急通信服务:多红外系统辅助空地一体化数据收集
IF 6.7 2区 计算机科学 Q1 ENGINEERING, MULTIDISCIPLINARY Pub Date : 2024-07-23 DOI: 10.1109/TNSE.2024.3432746
Yi Zhou;Zhanqi Jin;Huaguang Shi;Lei Shi;Ning Lu;Mianxiong Dong
Cellular networks are difficult to meet emergency rescue due to the destruction of base stations and infrastructure caused by natural disasters. Unmanned Ground Vehicles (UGVs) and other mobile communication devices encounter significant challenges when operating in disaster areas due to limited coverage and resources. To tackle this problem, this paper integrates Unmanned Aerial Vehicles (UAVs) into the emergency communication network and constructs an air-ground integration network architecture with UAV-UGV collaboration. Specifically, multi-UGV collaborate to collect disaster information, and multi-aerial intelligent reflecting surfaces with high maneuverability can effectively assist UGVs in transmitting the collected data to the remote control center. However, there is also a serious challenge to optimize the collaboration strategy between UGVs and UAVs. To address the concern, the collaboration between UAVs and UGVs is modeled as bipartite graph, where UAVs and UGVs belong to different sets of nodes, respectively. The problem is transformed into a matching game based on the bipartite graph. A stable Bidirectional Matching Game (BMG) algorithm is proposed, where matching players maximize the utility by adjusting the selection strategy. Extensive experimental results show that the proposed BMG algorithm outperforms other benchmark algorithms in terms of utility for both UAVs and UGVs.
由于自然灾害对基站和基础设施造成破坏,蜂窝网络难以满足紧急救援的需要。由于覆盖范围和资源有限,无人地面飞行器(UGV)和其他移动通信设备在灾区运行时会遇到巨大挑战。为解决这一问题,本文将无人机(UAV)整合到应急通信网络中,并构建了 UAV-UGV 协同工作的空地一体化网络架构。具体来说,多 UGV 协同收集灾害信息,具有高机动性的多空中智能反射面可有效协助 UGV 将收集到的数据传输到远程控制中心。然而,如何优化 UGV 与 UAV 之间的协作策略也是一个严峻的挑战。为了解决这个问题,我们将无人机和无人潜航器之间的协作建模为双向图,其中无人机和无人潜航器分别属于不同的节点集。基于双向图,问题被转化为匹配博弈。提出了一种稳定的双向匹配博弈(BMG)算法,匹配双方通过调整选择策略实现效用最大化。广泛的实验结果表明,所提出的 BMG 算法在 UAV 和 UGV 的效用方面优于其他基准算法。
{"title":"Enhanced Emergency Communication Services for Post–Disaster Rescue: Multi-IRS Assisted Air-Ground Integrated Data Collection","authors":"Yi Zhou;Zhanqi Jin;Huaguang Shi;Lei Shi;Ning Lu;Mianxiong Dong","doi":"10.1109/TNSE.2024.3432746","DOIUrl":"10.1109/TNSE.2024.3432746","url":null,"abstract":"Cellular networks are difficult to meet emergency rescue due to the destruction of base stations and infrastructure caused by natural disasters. Unmanned Ground Vehicles (UGVs) and other mobile communication devices encounter significant challenges when operating in disaster areas due to limited coverage and resources. To tackle this problem, this paper integrates Unmanned Aerial Vehicles (UAVs) into the emergency communication network and constructs an air-ground integration network architecture with UAV-UGV collaboration. Specifically, multi-UGV collaborate to collect disaster information, and multi-aerial intelligent reflecting surfaces with high maneuverability can effectively assist UGVs in transmitting the collected data to the remote control center. However, there is also a serious challenge to optimize the collaboration strategy between UGVs and UAVs. To address the concern, the collaboration between UAVs and UGVs is modeled as bipartite graph, where UAVs and UGVs belong to different sets of nodes, respectively. The problem is transformed into a matching game based on the bipartite graph. A stable Bidirectional Matching Game (BMG) algorithm is proposed, where matching players maximize the utility by adjusting the selection strategy. Extensive experimental results show that the proposed BMG algorithm outperforms other benchmark algorithms in terms of utility for both UAVs and UGVs.","PeriodicalId":54229,"journal":{"name":"IEEE Transactions on Network Science and Engineering","volume":"11 5","pages":"4651-4664"},"PeriodicalIF":6.7,"publicationDate":"2024-07-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141772381","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Hybrid Multi-Server Computation Offloading in Air–Ground Vehicular Networks Empowered by Federated Deep Reinforcement Learning 由联合深度强化学习驱动的空地车载网络中的混合多服务器计算卸载
IF 6.7 2区 计算机科学 Q1 ENGINEERING, MULTIDISCIPLINARY Pub Date : 2024-07-23 DOI: 10.1109/TNSE.2024.3432765
Xiaoqin Song;Quan Chen;Shumo Wang;Tiecheng Song;Lei Xu
The proliferation of computation-intensive and delay-sensitive services in intelligent transportation systems, such as autonomous driving and vehicle-mounted infotainment services, presents a significant challenge for vehicular users (VUs) with limited resources. To address this issue, multi-access edge computing (MEC) has been considered a favorable solution to mitigate computation delay. This paper considers computation offloading for an air-ground integrated computing platform in vehicular networks. Specifically, we first propose a multi-agent twin delayed deep deterministic policy gradient (MATD3) algorithm to optimize the trajectory of UAVs. Then, an algorithm named federated upgraded dueling double deep Q network (FUD3QN) is proposed to meet quality of service (QoS) requirements. The algorithm allocates cross-domain resources after offloading decision-making, aiming to minimize delay and energy consumption while meeting reliability requirements, maximum tolerable delay, communication requirements, and computing limitations. Addressing the non-deterministic polynomial (NP)-hard problem, we employ a multi-agent federated learning and upgraded dueling double deep Q network algorithm (UD3QN) with centralized training and distributed execution. Simulation results illustrate that the MATD3-FUD3QN algorithm proposed significantly surpasses the baselines, highlighting the advantages of introducing UAVs to enhance transmission quality.
在自动驾驶和车载信息娱乐服务等智能交通系统中,计算密集型和延迟敏感型服务的激增给资源有限的车辆用户(VUs)带来了巨大挑战。为解决这一问题,多访问边缘计算(MEC)被认为是缓解计算延迟的有利解决方案。本文考虑了车载网络中空地一体化计算平台的计算卸载问题。具体来说,我们首先提出了一种多代理双延迟深度确定性策略梯度(MATD3)算法来优化无人机的轨迹。然后,我们提出了一种名为联合升级对决双深 Q 网络(FUD3QN)的算法,以满足服务质量(QoS)要求。该算法在卸载决策后分配跨域资源,目的是在满足可靠性要求、最大可容忍延迟、通信要求和计算限制的同时,最大限度地减少延迟和能耗。为了解决这个非确定性多项式(NP)困难问题,我们采用了集中训练和分布式执行的多代理联合学习和升级版对决双深度 Q 网络算法(UD3QN)。仿真结果表明,所提出的 MATD3-FUD3QN 算法明显优于基线算法,凸显了引入无人机提高传输质量的优势。
{"title":"Hybrid Multi-Server Computation Offloading in Air–Ground Vehicular Networks Empowered by Federated Deep Reinforcement Learning","authors":"Xiaoqin Song;Quan Chen;Shumo Wang;Tiecheng Song;Lei Xu","doi":"10.1109/TNSE.2024.3432765","DOIUrl":"10.1109/TNSE.2024.3432765","url":null,"abstract":"The proliferation of computation-intensive and delay-sensitive services in intelligent transportation systems, such as autonomous driving and vehicle-mounted infotainment services, presents a significant challenge for vehicular users (VUs) with limited resources. To address this issue, multi-access edge computing (MEC) has been considered a favorable solution to mitigate computation delay. This paper considers computation offloading for an air-ground integrated computing platform in vehicular networks. Specifically, we first propose a multi-agent twin delayed deep deterministic policy gradient (MATD3) algorithm to optimize the trajectory of UAVs. Then, an algorithm named federated upgraded dueling double deep Q network (FUD3QN) is proposed to meet quality of service (QoS) requirements. The algorithm allocates cross-domain resources after offloading decision-making, aiming to minimize delay and energy consumption while meeting reliability requirements, maximum tolerable delay, communication requirements, and computing limitations. Addressing the non-deterministic polynomial (NP)-hard problem, we employ a multi-agent federated learning and upgraded dueling double deep Q network algorithm (UD3QN) with centralized training and distributed execution. Simulation results illustrate that the MATD3-FUD3QN algorithm proposed significantly surpasses the baselines, highlighting the advantages of introducing UAVs to enhance transmission quality.","PeriodicalId":54229,"journal":{"name":"IEEE Transactions on Network Science and Engineering","volume":"11 6","pages":"5175-5189"},"PeriodicalIF":6.7,"publicationDate":"2024-07-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141772322","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
期刊
IEEE Transactions on Network Science and Engineering
全部 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