检索结果-内蒙古大学图书馆

35th International Conference on software engineering and Knowledge engineering, SEKE 2023

作者： Li, Peiyang Liu, Zixin Su, Yuening Wang, Hao Jiang, Bo State Key Laboratory of Software Development Environment School of Computer Science and Engineering Beihang University China

Tracking the flow of external inputs in a program with taint-analysis techniques can help developers better identify potential security vulnerabilities in the software. However, directly using the static taint analysis provided by Clang Static Analyzer is inefficient for large-scale software due to the huge but redundant ExplodedGraph generated. Therefore, we propose an efficient Whole-Program Critical Paths Search (CAPS) framework. It first performs a set of optimizations to reduce the ExplodedGraph of each function. Then, it constructs a global exploded graph by inserting call edges among the reduced ExplodedGraphs for each function within the Neo4j graph database. Finally, it proposes loop removal and graph segmentation to optimize the search process for critical paths on the global exploded graph. Our experiments on 3 large-scale software show that CAPS can significantly improve the efficiency of critical path search for large-scale software. © 2023 Knowledge Systems Institute Graduate school. All rights reserved.

关键词： Static analysis

来源：评论

学校读者我要写书评

暂无评论

Active Perception for Grasp Detection via Neural Graspness Field 38

Active Perception for Grasp Detection via Neural Graspness F...

引用

38th Conference on Neural Information Processing Systems, NeurIPS 2024

作者： Ma, Haoxiang Shi, Modi Gao, Boyang Huang, Di State Key Laboratory of Complex and Critical Software Environment School of Computer Science and Engineering Beihang University Beijing China Geometry Robotics

This paper tackles the challenge of active perception for robotic grasp detection in cluttered environments. Incomplete 3D geometry information can negatively affect the performance of learning-based grasp detection methods, and scanning the scene from multiple views introduces significant time costs. To achieve reliable grasping performance with efficient camera movement, we propose an active grasp detection framework based on the Neural Graspness Field (NGF), which models the scene incrementally and facilitates next-best-view planning. Constructed in real-time as the camera moves, the NGF effectively models the grasp distribution in 3D space by rendering graspness predictions from each view. For next-best-view planning, we aim to reduce the uncertainty of the NGF through a graspness inconsistency-guided policy, selecting views based on discrepancies between NGF outputs and a pre-trained graspness network. Additionally, we present a neural graspness sampling method that decodes graspness values from the NGF to improve grasp pose detection results. Extensive experiments on the GraspNet-1Billion benchmark demonstrate significant performance improvements compared to previous works. Real-world experiments show that our method achieves a superior trade-off between grasping performance and time costs. Code is available at https://***/mahaoxiang822/ActiveNGF. © 2024 Neural information processing systems foundation. All rights reserved.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Enhanced Privacy-Preserving WiFi Fingerprint Localization from CL Encryption

引用

Chinese Journal of Electronics 2024年第6期33卷 1435-1446页

作者： Zhiwei WANG Qiuchi ZHU Zhenqi ZHANG School of Computer Nanjing University of Posts and Telecommunications State Key Laboratory of Public Big Data Guizhou University Advanced Cryptography and System Security Key Laboratory of Sichuan Province Chengdu University of Information Engineering Key Laboratory of Computational Science and Application of Hainan Province Hainan Normal University

The WiFi fingerprint-based localization method is considered one of the most popular techniques for indoor localization. In INFOCOM'14, Li et al. proposed a wireless fidelity(WiFi) fingerprint localization system based on Paillier encryption, which is claimed to protect both client C 's location privacy and service provider S's database privacy. However, Yang et al. presented a practical data privacy attack in INFOCOM'18, which allows a polynomial time attacker to obtain S's database. We propose a novel WiFi fingerprint localization system based on CastagnosLaguillaumie(CL) encryption, which has a trustless setup and is efficient due to the excellent properties of CL encryption. To prevent Yang et al.'s attack, the system requires that S selects only the locations from its database that can receive the nonzero signals from all the available access points in C 's nonzero fingerprint in order to determine C's location. Security analysis shows that our scheme is secure under Li et al.'s threat model. Furthermore, to enhance the security level of privacy-preserving WiFi fingerprint localization scheme based on CL encryption, we propose a secure and efficient zero-knowledge proof protocol for the discrete logarithm relations in C's encrypted localization queries.

关键词： Location awareness Threat modeling Data privacy Protocols Databases Fingerprint recognition Trustless services Encryption Servers Wireless fidelity

来源：评论

学校读者我要写书评

暂无评论

Minimizing the cost of periodically replicated systems via model and quantitative analysis

引用

Frontiers of computer Science 2024年第5期18卷 11-24页

作者： Chenhao ZHANG Liang WANG Limin XIAO Shixuan JIANG Meng HAN Jinquan WANG Bing WEI Guangjun QIN State Key Laboratory of Software Development Environment Beihang UniversityBeijing 100191China School of Computer Science and Engineering Beihang UniversityBeijing 100191China School of Cyberspace Security Hainan UniversityHaikou 570228China Smart City College Beijing Union UniversityBeijing 100101China

Geographically replicating objects across multiple data centers improves the performance and reliability of cloud storage *** consistent replicas comes with high synchronization costs,as it faces more expensive WAN transport prices and increased *** replication is the widely used technique to reduce the synchronization *** replication strategies in existing cloud storage systems are too static to handle traffic changes,which indicates that they are inflexible in the face of unforeseen loads,resulting in additional synchronization *** propose quantitative analysis models to quantify consistency and synchronization cost for periodically replicated systems,and derive the optimal synchronization period to achieve the best tradeoff between consistency and synchronization *** on this,we propose a dynamic periodic synchronization method,Sync-Opt,which allows systems to set the optimal synchronization period according to the variable load in clouds to minimize the synchronization *** results demonstrate the effectiveness of our *** with the policies widely used in modern cloud storage systems,the Sync-Opt strategy significantly reduces the synchronization cost.

关键词： periodic replication consistency maintenance synchronization cost synchronization strategy

来源：评论

学校读者我要写书评

暂无评论

Trust Score-Based Malicious Vehicle Detection Scheme in Vehicular Network Environments

引用

computers, Materials & Continua 2024年第11期81卷 2517-2545页

作者： Wenming Wang Zhiquan Liu Shumin Zhang Guijiang Liu School of Computer and Information Anqing Normal UniversityAnqing246133China State Key Laboratory for Novel Software Technology Nanjing UniversityNanjing210023China Yunnan Key Laboratory of Service Computing Yunnan University of Finance and EconomicsKunming650221China

Advancements in the vehicular network technology enable real-time interconnection,data sharing,and intelligent cooperative driving among ***,malicious vehicles providing illegal and incorrect information can compromise the interests of vehicle *** mechanisms serve as an effective solution to this *** recent years,many researchers have incorporated blockchain technology to manage and incentivize vehicle nodes,incurring significant overhead and storage requirements due to the frequent ingress and egress of vehicles within the *** this paper,we propose a distributed vehicular network scheme based on trust ***,the designed architecture partitions multiple vehicle regions into ***,cloud supervision systems(CSSs)verify the accuracy of the information transmitted by ***,the trust scores for vehicles are calculated to reward or penalize them based on the trust evaluation *** proposed scheme demonstrates good scalability and effectively addresses the main cause of malicious information distribution among *** theoretical and experimental analysis show that our scheme outperforms the compared schemes.

关键词： Distributed trust mechanism vehicular network privacy protection

来源：评论

学校读者我要写书评

暂无评论

Understanding the effect of cathodic reaction on corrosion-enhanced erosion in sand-entraining electrolyte

引用

材料科学技术（英文版） 2025年第6期209卷 103-116页

作者： Qiliang Zhang Long Hao Wanbin Chen Yi Huang Yunze Xu State Key Laboratory of Structural Analysis Optimization and CAE Software for Industrial EquipmentDalian University of TechnologyDalian 116024China School of Naval Architecture and Ocean Engineering Dalian University of TechnologyDalian 116024China State Key Laboratory for Corrosion and Protection Institute of Metal ResearchChinese Academy of SciencesShenyang 110016China

In this study,the pure erosion behaviour of pure iron and its erosion-corrosion behaviour under different anodic polarization currents were investigated in various cathodic reactions(oxygen reduction,hydrogen ion reduction,and water reduction)using a cylindrical stirring *** corrosion-enhanced erosion(C-E)rates were determined for each *** results revealed that pure iron displayed similar pure erosion behaviour across all three cathodic *** the cathodic reactions involve hydrogen ion reduction or water reduction,the erosion-corrosion of pure iron manifested as uniform damage,with the reduction in hardness being the main cause of the C-E in this ***,in the case of oxy-gen reduction reaction as the cathodic reaction,the erosion-corrosion presented as pitting damage,with the reduction in hardness resulting from localized concentration of anodic current and the formation of easily worn protruding flaky iron structures at the edges of the pits as the main mechanism of the ***,linear and exponential relationships were found between the C-E rate and the anodic current density for uniform damage and pitting damage,***,the concept of surface equivalent hardness was proposed,along with the establishment of a mathematical model for surface equivalent hardness based on the relationships between the C-E rate and the anodic current *** the surface equivalent hardness enables the evaluation of the erosion rate on material surfaces considering the coupled effect.

关键词： Corrosion-enhanced erosion Cathodic reaction Pitting damage Uniform damage Hardness

来源：评论

学校读者我要写书评

暂无评论

Generalized splitting-ring number theoretic transform

引用

Frontiers of computer Science 2024年第4期18卷 205-207页

作者： Zhichuang LIANG Yunlei ZHAO Zhenfeng ZHANG School of Computer Science Fudan UniversityShanghai 200433China State Key Laboratory of Cryptology Beijing 100036China Institute of Software Chinese Academy of SciencesBeijing 100190China

1 Introduction Lattice-based cryptography is one of the most promising routine of post-quantum cryptography(PQC).The fundamental and time-consuming operation in lattice-based schemes is the polynomial multiplication i... 详细信息

关键词： ring splitting polynomial

来源：评论

学校读者我要写书评

暂无评论

Iterative Android automated testing

引用

Frontiers of computer Science 2023年第5期17卷 15-26页

作者： Yi ZHONG Mengyu SHI Youran XU Chunrong FANG Zhenyu CHEN State Key Laboratory for Novel Software Technology Nanjing UniversityNanjing 210093China School of Big Data and Computer Science Chongqing College of Mobile CommunicationChongqing 400065China

With the benefits of reducing time and workforce,automated testing has been widely used for the quality assurance of mobile applications(APPs).Compared with automated testing,manual testing can achieve higher coverage in complex interactive *** the effectiveness of manual testing is highly dependent on the user operation process(UOP)of experienced *** on the UOP,we propose an iterative Android automated testing(IAAT)method that automatically records,extracts,and integrates UOPs to guide the test logic of the tool across the complex Activity *** feedback test results can train the UOPs to achieve higher coverage in each *** extracted 50 UOPs and conducted experiments on 10 popular mobile APPs to demonstrate IAAT’s effectiveness compared with Monkey and the initial automated *** experimental results show a noticeable improvement in the IAAT compared with the test logic without human *** the 60 minutes test time,the average code coverage is improved by 13.98%to 37.83%,higher than the 27.48%of Monkey under the same conditions.

关键词： quality assurance automated testing UOP test coverage

来源：评论

学校读者我要写书评

暂无评论

Granular classifier:Building traffic granules for encrypted traffic classification based on granular computing

引用

Digital Communications and Networks 2024年第5期10卷 1428-1438页

作者： Xuyang Jing Jingjing Zhao Zheng Yan Witold Pedrycz Xian Li State Key Laboratory on Integrated Services Networks School of Cyber EngineeringXidian UniversityChina Department of Electrical and Computer Engineering University of AlbertaCanada Institute for Future(IFF) Qingdao UniversityQingdaoChina

Accurate classification of encrypted traffic plays an important role in network ***,current methods confronts several problems:inability to characterize traffic that exhibits great dispersion,inability to classify traffic with multi-level features,and degradation due to limited training traffic *** address these problems,this paper proposes a traffic granularity-based cryptographic traffic classification method,called Granular Classifier(GC).In this paper,a novel Cardinality-based Constrained Fuzzy C-Means(CCFCM)clustering algorithm is proposed to address the problem caused by limited training traffic,considering the ratio of cardinality that must be linked between flows to achieve good traffic ***,an original representation format of traffic is presented based on granular computing,named Traffic Granules(TG),to accurately describe traffic structure by catching the dispersion of different traffic *** granule is a compact set of similar data with a refined boundary by excluding *** on TG,GC is constructed to perform traffic classification based on multi-level *** performance of the GC is evaluated based on real-world encrypted network traffic *** results show that the GC achieves outstanding performance for encrypted traffic classification with limited size of training traffic and keeps accurate classification in dynamic network conditions.

关键词： Encrypted traffic classification Semi-supervised clustering Granular computing Anomaly detection

来源：评论

学校读者我要写书评

暂无评论

New Results in Cooperative Adaptive Optimal Output Regulation

引用

Journal of Systems Science & Complexity 2024年第1期37卷 253-272页

作者： DONG Yuchen GAO Weinan JIANG Zhong-Ping State Key Laboratory of Synthetical Automation for Process Industries Northeastern UniversityShenyang 110819China Department of Electrical and Computer Engineering Tandon School of EngineeringNew York UniversityBrooklynNY 11201USA

This paper investigates the cooperative adaptive optimal output regulation problem of continuous-time linear multi-agent *** the multi-agent system dynamics are uncertain,solving regulator equations and the corresponding algebraic Riccati equations is challenging,especially for high-order *** this paper,a novel method is proposed to approximate the solution of regulator equations,i.e.,gradient descent *** is worth noting that this method obtains gradients through online data rather than model information.A data-driven distributed adaptive suboptimal controller is developed by adaptive dynamic programming,so that each follower can achieve asymptotic tracking and disturbance ***,the effectiveness of the proposed control method is validated by simulations.

关键词： Adaptive dynamic programming cooperative output regulation gradient descent method multi-agent systems.

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：