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

2nd International Conference on Computer Communication and Network Security, CCNS 2021

作者： Yuwen, Shao Zheng, Zhang Bingzheng, Li Xinsheng, Ji State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou China National Digital Switching System Engineering Technological RD Center Zhengzhou China

ISBN: (纸本)9781665427111

Multi-variant execution framework can protect software security. For the problem of performance loss caused by too many voting times in the existing multi-variant execution framework, this paper proposes a multi-variant voting algorithm based on dynamic feedback, which can make the multi-variant continuously improve its corresponding voting strategy at runtime. Using this algorithm, the multi-variant can get a stable voting range, reduce the number of voting, and effectively improve the performance of multi-variant. © 2021 IEEE.

关键词： Runtime Heuristic algorithms Software algorithms Network security Software Computer security

来源：评论

学校读者我要写书评

暂无评论

HRPDF: A Software-Based Heterogeneous Redundant Proactive Defense Framework for Programmable Logic Controller

引用

Journal of Computer Science & Technology 2021年第6期36卷 1307-1324页

作者： Ke Liu Jing-Yi Wang Qiang Wei Zhen-Yong Zhang Jun Sun Rong-Kuan Ma Rui-Long Deng State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou 450001China College of Control Science and Engineering Zhejiang UniversityHangzhou 310027China College of Computer Science and Technology Guizhou UniversityGuiyang 550025China School of Information Systems Singapore Management UniversitySingapore 689867Singapore

Programmable logic controllers(PLCs)play a critical role in many industrial control systems,yet face increasingly serious cyber *** this paper,we propose a novel PLC-compatible software-based defense mechanism,called Heterogeneous Redundant Proactive Defense Framework(HRPDF).We propose a heterogeneous PLC architecture in HRPDF,including multiple heterogeneous,equivalent,and synchronous runtimes,which can thwart multiple types of attacks against PLC without the need of external *** ensure the availability of PLC,we also design an inter-process communication algorithm that minimizes the overhead of *** implement a prototype system of HRPDF and test it in a real-world PLC and an OpenPLC-based device,*** results show that HRPDF can defend against multiple types of attacks with 10.22%additional CPU and 5.56%additional memory overhead,and about 0.6 ms additional time overhead.

关键词： industrial control system programmable logic controller proactive defense heterogeneous redundant architecture

来源：评论

学校读者我要写书评

暂无评论

KextFuzz: fuzzing macOS Kernel EXTensions on apple silicon via exploiting mitigations 23

KextFuzz: fuzzing macOS Kernel EXTensions on apple silicon v...

引用

Proceedings of the 32nd USENIX Conference on Security Symposium

作者： Tingting Yin Zicong Gao Zhenghang Xiao Zheyu Ma Min Zheng Chao Zhang Tsinghua University and Ant Group State Key Laboratory of Mathematical Engineering and Advanced Computing Hunan University Tsinghua University Ant Group Tsinghua University and Zhongguancun Laboratory

ISBN: (纸本)9781939133373

macOS drivers, i.e., Kernel EXTensions (kext), are attractive attack targets for adversaries. However, automatically discovering vulnerabilities in kexts is extremely challenging because kexts are mostly closed-source, and the latest macOS running on customized Apple Silicon has limited tool-chain support. Most existing static analysis and dynamic testing solutions cannot be applied to the latest macOS. In this paper, we present the first smart fuzzing solution KextFuzz to detect bugs in the latest macOS kexts running on Apple Silicon. Unlike existing driver fuzzing solutions, KextFuzz does not require source code, execution traces, hypervisors, or hardware features (e.g., coverage tracing) and thus is universal and practical. We note that macOS has deployed many mitigations, including pointer authentication, code signature, and userspace kernel layer wrappers, to thwart potential attacks. These mitigations can provide extra knowledge and resources for us to enable kernel fuzzing. KextFuzz exploits these mitigation schemes to instrument the binary for coverage tracking, test privileged kext code that is guarded and infrequently accessed, and infer the type and semantic information of the kext interfaces. KextFuzz has found 48 unique kernel bugs in the macOS kexts and got five CVEs. Some bugs could cause severe consequences like non-recoverable denial-of-service or damages.

关键词：

来源：评论

学校读者我要写书评

暂无评论

94LVI Algorithms of OIpU(One-Iteration-per-Update) Type Handling Time-Dependent QP(Quadratic Programming) with Two Constraints 41

94LVI Algorithms of OIpU(One-Iteration-per-Update) Type Hand...

引用

第41届中国控制会议

作者： Yunong Zhang Zhiwen Yuan School of Computer Science and Engineering Sun Yat-sen University Guangdong Key Laboratory of Modern Control Technology Key Laboratory of Machine Intelligence and Advanced Computing Ministry of Education Research Institute of Sun Yat-sen University

ISBN: (数字)9789887581536

ISBN: (纸本)9781665482561

This paper presents three relatively effective numerical algorithms,i.e.,94 LVI algorithms of OIpU(one-iteration-perupdate) type,to handle time-dependent QP(quadratic programming) problems subject to two constraints respectively(i.e.,equality and inequality constraints,equality and bound constraints,or inequality and bound constraints).Specifically,two "bridges" play essential parts of the methods(i.e.,the first "bridge" makes a QP problem convert to an LVI [linear variational inequality],and the second "bridge" makes the LVI convert to a PLPE [piecewise-linear projection equation]).On the basis of the standard94 LVI algorithm,the methods only update once through the solution of the previous sampling time ***,we conduct a number of experiments to substantiate the three algorithms respectively,which use exponential functions,log functions,and trigonometric functions in corresponding coefficients of the experimental examples.

关键词： Quadratic programming Time-dependent Numerical algorithms Linear variational inequalities(LVI)

来源：评论

学校读者我要写书评

暂无评论

BA-Audit: Blockchain-Based Public Auditing for Aggregated Data Sharing in Edge-Assisted IoT 1

引用

4th EAI International Conference on Security and Privacy in New computing Environments, SPNCE 2021

作者： Liu, Mingxi Lu, Ning Yin, Jingli Cheng, Qingfeng Shi, Wenbo School of Computer Science and Engineering Northeastern University Shenyang China School of Computer Science and Technology Xidian University Xi’an China State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou China Strategic Support Force Information Engineering University Zhengzhou China

ISBN: (数字)9783030967918

ISBN: (纸本)9783030967901

With the massive placement of sensors leading to a surge in IoT data, it is wise for system administrators to use data aggregation strategies to collect and share data in edge-assisted IoT scenarios because traditional methods will exhaust bandwidth resources. Users need to verify the integrity of aggregated data to ensure security sharing. However, existing data auditing technologies are disabled because aggregate data has no metadata. This paper proposes a blockchain-based auditing scheme for aggregated data to achieve efficient and secure data sharing. First, we design a hash index balanced tree (HIBT) to reduce the computational expense of signature retrieval. Then, we propose an audit protocol to protect aggregated data immutability. Also, we provide security and performance analysis at the end of the paper. © 2022, ICST Institute for Computer Sciences, Social Informatics and Telecommunications engineering.

关键词： Blockchain

来源：评论

学校读者我要写书评

暂无评论

Modelization and analysis of dynamic heterogeneous redundant system

Modelization and analysis of dynamic heterogeneous redundant...

引用

作者： Wang, Wei Li, Guangsong Gai, Keke Tang, Yazhe Yang, Benchao Si, Xueming State Key Laboratory of Mathematical Engineering and Advanced Computing Information Engineering University Zhengzhou China School of Computer Science and Technology Beijing Institute of Technology Beijing China School of Computer Science and Technology Xi'an Jiaotong University Xi'an China Shanghai Key Laboratory of Data Science Fudan University Shanghai China

With the development and popularization of Internet technology, network security has become the focus of attention. Vulnerabilities and back doors are regarded as two of the main reasons of network security problems. Dynamic heterogeneous redundant (DHR) architecture is a typical framework of cyberspace mimic defense. It can make use of untrusted hardware and software components to construct a high reliable and high security information system. In this article, a mathematical model is set up for the DHR architecture, and the system security is characterized by vulnerability consistency rate and success rate of system attack. The antiattack ability of the DHR system is analyzed using the mathematical model. © 2020 John Wiley & Sons, Ltd.

关键词： Network security

来源：评论

学校读者我要写书评

暂无评论

Analysis of Factors Influencing Driver Lane-Changing Intentions Based on a Naturalistic Trajectory Data Set on Highways 24

Analysis of Factors Influencing Driver Lane-Changing Intenti...

引用

24th COTA International Conference of Transportation Professionals: Resilient, Intelligent, Connected, and Lowcarbon Multimodal Transportation, CICTP 2024

作者： Wang, Guangchen Lu, Guangquan Wang, Jinghua Liu, Miaomiao School of Transportation Science and Engineering Beihang Univ. Beijing China Beijing Key Laboratory for Cooperative Vehicle Infrastructure Systems and Safety Control National Engineering Laboratory for Comprehensive Transportation Big Data Application Technology Beijing Advanced Innovation Center for Big Data and Brain Computing Beihang Univ. Beijing China

ISBN: (数字)9780784485484

ISBN: (纸本)9780784485484

Accurately analyzing and predicting driver lane-changing intentions is of paramount importance, as it significantly enhances the safety of self-driving vehicles in their decision-making processes, holding great promise for the future of intelligent transportation systems. This study extracts fundamental lane-changing characteristic parameters from the Next Generation Simulation (NGSIM) trajectory data set and employs Structural Equation Modeling (SEM) to construct a model that elucidates the factors influencing drivers’ lane-changing intentions. Furthermore, it provides insight into how lane-changing intentions are influenced by lane-changing behavior and explores the intricate connection between intention and associated risks. The results emphasize the substantial negative impact of the longitudinal speed difference between the self-vehicle and the preceding vehicle on lane-changing intentions. Additionally, the consideration of lane-changing risk plays a pivotal role in drivers’ decisions to engage in lane-changing behavior. These findings have significant implications for a deeper comprehension of lane-changing intentions, guiding lane-changing decisions, and enhancing overall traffic safety. © ASCE.

关键词： Autonomous vehicles

来源：评论

学校读者我要写书评

暂无评论

Prepartition: Load Balancing Approach for Virtual Machine Reservations in a Cloud Data Center

引用

Journal of Computer Science & Technology 2023年第4期38卷 773-792页

作者：田文洪徐敏贤周光耀吴逵须成忠 Rajkumar Buyya School of Information and Software Engineering University of Electronic Science and Technology of China Chengdu 610054China Yangtze Delta Region Institute(Huzhou) University of Electronic Science and Technology of ChinaHuzhou 313001China Institute of Advanced Computing and Digital Engineering Shenzhen Institute of Advanced TechnologyChinese Academy of SciencesShenzhen 518055China Department of Computer Science University of VictoriaVictoriaBCV8W 3P6Canada State Key Laboratory of Internet of Things for Smart City University of MacaoMacao 999078China School of Computing and Information Systems University of MelbourneMelbourne 3010Australia

Load balancing is vital for the efficient and long-term operation of cloud data *** virtualization,post(reactive)migration of virtual machines(VMs)after allocation is the traditional way for load balancing and consoli***,it is not easy for reactive migration to obtain predefined load balance objectives and it may interrupt services and bring ***,we provide a new approach,called Prepartition,for load *** partitions a VM request into a few sub-requests sequentially with start time,end time and capacity demands,and treats each sub-request as a regular VM *** this way,it can proactively set a bound for each VM request on each physical machine and makes the scheduler get ready before VM migration to obtain the predefined load balancing goal,which supports the resource allocation in a fine-grained *** with real-world trace and synthetic data show that our proposed approach with offline version(PrepartitionOff)scheduling has 10%–20%better performance than the existing load balancing baselines under several metrics,including average utilization,imbalance degree,makespan and Capacity_*** also extend Prepartition to online load *** results show that our proposed approach also outperforms state-of-the-art online algorithms.

关键词： cloud computing physical machine(PM) virtual machine(VM) reservation load balancing Prepartition

来源：评论

学校读者我要写书评

暂无评论

A Deep Learning Capacity Estimation Method Based on Incremental Capacity Analysis and Differential Thermal Voltammetry 5

A Deep Learning Capacity Estimation Method Based on Incremen...

引用

5th International Conference on Artificial Intelligence Technologies and Applications, ICAITA 2023

作者： Zeng, Sibo Chen, Sheng Yu, Yang Hubei Key Laboratory of Advanced Technology for Automotive Components School of Automotive Engineering Wuhan University of Technology Wuhan China Hubei Collaborative Innovation Center for Automotive Components Technology Wuhan China School of Computing Engineering and Built Environment Glasgow Caledonian University Glasgow United Kingdom

ISBN: (纸本)9781643684840

Precise estimation of Lithium-ion battery capacity is critical for the battery management system (BMS). This paper proposed an innovative method that combinates convolutional neural network and feature curves which are incremental capacity analysis (ICA) and differential thermal voltammetry (DTV). Rather than extracting feature parameters of the IC curve as done in available research, the present method uses the whole IC and DTV curves in a certain range of voltage as the input to avoid complicated annual feature extraction and correlation analysis. The result shows that the max error of capacity estimation is less than 4.46 %, the mean absolute percentage error is less than 1.29 % for each battery, and overall MAPE is below 1.19 %. © 2024 The Authors.

关键词： Lithium-ion batteries

来源：评论

学校读者我要写书评

暂无评论

Adaptive energy-preserving algorithms for guiding center system

引用

Plasma Science and Technology 2023年第4期25卷 11-22页

作者：朱贝贝刘健张嘉炜祝爱卿唐贻发 Department of Applied Mathematics School of Mathematics and PhysicsUniversity of Science and Technology BeijingBeijing 100083Peopleʼs Republic of China School of Nuclear Science and Technology University of Science and Technology of ChinaHefei 230026Peopleʼs Republic of China Advanced algorithm Joint Lab Shandong Computer Science CenterQilu University of TechnologyJinan 250014Peopleʼs Republic of China The State Key Laboratory of Scientific and Engineering Computing The Institute of Computational Mathematics and Scientific/Engineering ComputingAcademy of Mathematics and Systems ScienceChinese Academy of SciencesBeijing 100190Peopleʼs Republic of China School of Mathematical Sciences University of Chinese Academy of SciencesBeijing 100049Peopleʼs Republic of China

We develop two types of adaptive energy preserving algorithms based on the averaged vector field for the guiding center dynamics,which plays a key role in magnetized *** adaptive scheme is applied to the Gauss Legendre’s quadrature rules and time stepsize respectively to overcome the energy drift problem in traditional energy-preserving *** new adaptive algorithms are second order,and their algebraic order is carefully *** results show that the global energy errors are bounded to the machine precision over long time using these adaptive algorithms without massive extra computation cost.

关键词： guiding center system energy-preserving methods adaptive energy conservation

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：