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

RSMC:A Safety Model Checker for Concurrency and Memory Safety of Rust

Wuhan University Journal of Natural sciences 2020年第2期25卷 129-138页

作者： YAN Fei WANG Qizhong ZHANG Liqiang CHEN Yasha Key Laboratory of Aerospace Information Security and Trusted Computing Ministry of EducationSchool of Cyber Science and EngineeringWuhan UniversityWuhan 430072HubeiChina Institute of Systems Engineering Academy of Military Science of theChinese People’sLiberation ArmyBeijing 100082China

Rust is a system-level programming language that provides thread and memory safety guarantee through a suite of static compiler checking rules and prevents segmentation ***,since compiler checking is too strict to confine Rust's programmability,the developers prefer to use the keyword"unsafe"to bypass compiler checking,through which the caller could interact with OS ***,the code block with"unsafe"would easily lead to some serious bugs such as memory safety violation,race condition and so *** this paper,to verify memory and concurrency safety of Rust programs,we present RSMC(Safety Model Checker for Rust),a tool based on Smack to detect concurrency bugs and memory safety errors in Rust programs,in which we combine concurrency primitives model checking and memory boundary model ***,with an assertion generator,can automatically insert assertions and requires no programmer annotations to verify Rust *** evaluate RSMC on two categories of Rust programs,and the result shows that RSMC can effectively find concurrency bugs and memory safety errors in vulnerable Rust programs,which include unsafe code.

关键词： Rust memory safety concurrency safety model checking

来源：评论

学校读者我要写书评

暂无评论

LMP-GAN: Out-Of-Distribution Detection For Non-Control Data Malware Attacks

引用

IEEE Transactions on Pattern Analysis and Machine Intelligence 2025年 PP卷 PP页

作者： Wood, David Kapp, David Kebede, Temesgen Hirakawa, Keigo Wuhan University School of Computer Science China Wuhan University National Engineering Research Center for Multimedia Software Hubei Key Laboratory of Multimedia and Network Communication Engineering China Zhongguancun Academy China Wuhan University State Key Laboratory of Information Engineering in Surveying Mapping and Remote Sensing China Sun Yat-sen University School of Geography and Planning China Mohamed bin Zayed University of Artificial Intelligence United Arab Emirates Chongqing University College of Computer Science China The University of Tokyo Japan RIKEN Center for Advanced Intelligence Project Japan Intelligent Science & Technology Academy Limited CASIC China iFlytek Company Ltd. National Engineering Research Center of Speech and Language Information Processing China Nanyang Technological University College of Computing & Data Science Singapore Henan Academy of Sciences Aerospace Information Research Institute China

Anomaly detection is a common application of machine learning. Out-of-distribution (OOD) detection in particular is a semi-supervised anomaly detection technique where the detection method is trained only on the inlier (in-distribution) samples - unlike the fully supervised variant, the distribution of the outlier samples are never explicitly modeled in OOD detection tasks. In this work, we design a novel GAN-based OOD detection network specifically designed to protect a cyber-physical signal systems from novel Trojan malware called non-control data (NCD) attack that evades conventional malware detection techniques. Inspired in part by the classical locally most powerful (LMP) test in statistical inferences, the proposed LMP-GAN trains the OOD detector (discriminator) by generating OOD samples that are aimed at making maximal alteration to the inlier samples while evading detection. We experimentally compare the results to the state-of-the-art anomaly detection methods to demonstrate the benefits and the appropriateness of the LMP-GAN OOD detector. © 2025 IEEE.

关键词： Malware

来源：评论

学校读者我要写书评

暂无评论

Boundary stabilization of coupled wave system with spatially-varying coefficients and internal anti-damping

Boundary stabilization of coupled wave system with spatially...

引用

第三十九届中国控制会议

作者： Xiaodan Feng Zhifei Zhang Huazhong University of Science and Technology Hubei Key Laboratory of Engineering Modeling and Scientific Computing Huazhong University of Science and Technology

In this paper, we consider the exponential stabilization of coupled wave equations with spatially-varying coefficients and internal anti-damping. In contrast to the previous work in the literature, the kernel equations of this system are much more complicated. Using the backstepping method, we verify the kernel equations, which is a system of coupled linear wave equations with spatially-varying coefficients. Then by designing a new characteristic line, the well-posedness of the kernel equations is obtained. Finally we use a Lyapunov function to get the exponential stabilization. A numerical example is presented to illustrate the result.

关键词： backstepping boundary control coupled wave system spatially-varying coefficients

来源：评论

学校读者我要写书评

暂无评论

Contrastive Learning for Robust Android Malware Familial Classification

引用

IEEE Transactions on Dependable and Secure computing 2022年 1-14页

作者： Wu, Yueming Dou, Shihan Zou, Deqing Yang, Wei Qiang, Weizhong Jin, Hai National Engineering Research Center for Big Data Technology and System Services Computing Technology and System Lab Hubei Engineering Research Center on Big Data Security School of Cyber Science and Engineering Huazhong University of Science and Technology Wuhan China Shanghai Key Laboratory of Intelligent Information Processing School of Computer Science Fudan University Shanghai China University of Texas at Dallas Dallas USA National Engineering Research Center for Big Data Technology and System Services Computing Technology and System Lab Cluster and Grid Computing Lab School of Computer Science and Technology Huazhong University of Science and Technology Wuhan China

Due to its open-source nature, Android operating system has been the main target of attackers to exploit. Malware creators always perform different code obfuscations on their apps to hide malicious activities. Features extracted from these obfuscated samples through program analysis contain many useless and disguised features, which leads to many false negatives. To address the issue, in this paper, we demonstrate that obfuscation-resilient malware family analysis can be achieved through contrastive learning. The key insight behind our analysis is that contrastive learning can be used to reduce the difference introduced by obfuscation while amplifying the difference between malware and other types of malware. Based on the proposed analysis, we design a system that can achieve robust and interpretable classification of Android malware. To achieve robust classification, we perform contrastive learning on malware samples to learn an encoder that can automatically extract robust features from malware samples. To achieve interpretable classification, we transform the function call graph of a sample into an image by centrality analysis. Then the corresponding heatmaps can be obtained by visualization techniques. These heatmaps can help users understand why the malware is classified as this family. We implement IFDroid and perform extensive evaluations on two datasets. Experimental results show that IFDroid is superior to state-of-the-art Android malware familial classification systems. Moreover, IFDroid is capable of maintaining a 98.4% F1 on classifying 69,421 obfuscated malware samples. IEEE

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Multiple-relaxation-time lattice Boltzmann method for the Navier-Stokes and nonlinear convection-diffusion equations: modeling, analysis, and elements

引用

Physical Review E 2020年第2期102卷 023306-023306页

作者： Zhenhua Chai (柴振华) Baochang Shi (施保昌) School of Mathematics and Statistics Huazhong University of Science and Technology Wuhan 430074 China and Hubei Key Laboratory of Engineering Modeling and Scientific Computing Huazhong University of Science and Technology Wuhan 430074 China

In this paper, we first present a unified framework of multiple-relaxation-time lattice Boltzmann (MRT-LB) method for the Navier-Stokes and nonlinear convection-diffusion equations where a block-lower-triangular-relaxation matrix and an auxiliary source distribution function are introduced. We then conduct a comparison of the four popular analysis methods (Chapman-Enskog analysis, Maxwell iteration, direct Taylor expansion, and recurrence equations approaches) that have been used to obtain the macroscopic Navier-Stokes and nonlinear convection-diffusion equations from the MRT-LB method and show that from mathematical point of view, these four analysis methods can give the same equations at the second-order of expansion parameters. Finally, we give some elements that are needed in the implementation of the MRT-LB method and also find that some available LB models can be obtained from this MRT-LB method.

关键词： Lattice-Boltzmann methods

来源：评论

学校读者我要写书评

暂无评论

RIPPB: A Robust and Improved PBFT Protocol for Blockchain

RIPPB: A Robust and Improved PBFT Protocol for Blockchain

引用

IEEE Conference on Industrial Electronics and Applications (ICIEA)

作者： Meng Ding Heng He Rui Qiao Xiaohu Zhou School of Computer Science and Technology Wuhan University of Science and Technology Wuhan China Hubei Province Key Laboratory of Intelligent Information Processing and Real-time Industrial System Wuhan China School of Computing Engineering and Built Environment Birmingham City University Birmingham UK

ISBN: (纸本)9781665409858

In this paper, we propose RIPPB, a robust and improved PBFT protocol for Blockchain, to improve the quality of service for blockchain applications. At RIPPB, we introduce reputation for nodes and use reputation as the voting weight for node consensus to go against Sybil attacks. And we design a novel improved logistic regression model to assign reputations to nodes based on their behavior involved in block generation. With this model, nodes performing Stake-grinding attacks and Bribery attacks, face high reputation penalties, which is unacceptable for malicious nodes to reduce the probability of launching these attacks. In addition, RIPPB adds a pre-commit phase to the PBFT algorithm to reduce the number of inter-node communications, thus improving the performance of the protocol. Cost-of-attack analysis shows the high robustness of our protocol. Experimental results show a 28% improvement in the throughput of our protocol over PBFT.

关键词： Industrial electronics Protocols Quality of service Throughput Robustness Blockchains Behavioral sciences

来源：评论

学校读者我要写书评

暂无评论

Spiking hierarchy in an adaptive exponential integrate-and-fire network synchronization

arXiv

引用

arXiv 2021年

作者： Wu, Xiaoyue Lin, Congping Zhang, Yiwei School of Mathematics and Statistics Huazhong University of Sciences and Technology Wuhan China Center for Mathematical Sciences Huazhong University of Science and Technology Wuhan China Hubei Key Laboratory of Engineering Modeling and Scientific Computing Huazhong University of Science and Technology Wuhan China

Neuronal network synchronization has received wide interests. Network connection structure is known to play a key role in its synchronization. In the present manuscript, we study the influence of initial membrane potentials together with network topology on bursting synchronization, in particular the sequential spiking order in stabilized inter bursts. We find a hierarchical phenomenon on spiking order. We grade neurons into different layers: Primary neurons are those initiate the spike and lower-layer neurons are then determined via network connections successively. This constructs a directed graph to indicate spiking propagation among different layers of neurons. Neurons in upper layers spike earlier than those in lower layers. More interestingly, we find that among the same layer, neuron spiking order is mainly associated with stimuli they receive from upper layer via network connections;more stimuli leads to earlier spiking. Furthermore, we find that with effectively the same stimuli from upper layer, neurons with less connections spike earlier. © 2021, CC BY.

关键词： Neurons

来源：评论

学校读者我要写书评

暂无评论

Stabilization of Continuous-Time Markov/Semi-Markov Jump Linear Systems Via Finite Data-Rate Feedback

SSRN

引用

SSRN 2022年

作者： Wang, Jingyi Feng, Jianwen Xu, Chen Wu, Xiaoqun Lü, Jinhu College of Mathematics and Statistics Shenzhen University Shenzhen518060 China School of Mathematics and Statistics Hubei Key Laboratory of Computational Science Wuhan University Wuhan China State Key Laboratory of Software Development Environment School of Automation Science and Electrical Engineering Beijing Advanced Innovation Center for Big Data and Brain Computing Beihang University Beijing China

This letter investigates almost sure exponential stabilization of continuous-time Markov jump linear systems (MJLSs) under communication data-rate constraints by introducing sampling and quantization into the feedback control. Different from previous works, the sampling times and the jump times are independent of each other in this letter. The quantization is recursively adjusted on the sampling time, and its updating strategy does not depend on the switching in a sampling interval. In other words, the explicit value of the switching signal in a sampling interval is not necessary. The numerically testable condition is developed to ensure almost sure exponential stabilization of MJLSs under the proposed communication and control protocols. We also drop the assumption of stabilizability of all individual modes required in previous works about the switched systems. Moreover, we extend the result to the case of continuous-time semi-Markov jump linear systems (semi-MJLSs) via the semi-Markov kernel approach. Finally, some numerical examples are presented to illustrate the effectiveness on stabilization of the proposed communication and control protocols. © 2022, The Authors. All rights reserved.

关键词： Markov processes

来源：评论

学校读者我要写书评

暂无评论

A provable-secure and practical two-party distributed signing protocol for SM2 signature algorithm

引用

Frontiers of Computer science 2020年第3期14卷 203-215页

作者： Yudi ZHANG Debiao HE Mingwu ZHANG Kim-Kwang Raymond CHOO Key Laboratory of Aerospace Information Security and Trusted Computing of Ministry of Education School of Cyber Science and EngineeringWuhan UniversityWuhan 430072China School of Computer Sciences Hubei University of TechnologyWuhan 430068China Department of Information Systems and Cyber Security and Department of Electrical and Computer Engineering University of Texas at San AntonioSan AntonioTX 78249USA

Mobile devices are widely used for data access,communications and ***,storing a private key for signature and other cryptographic usage on a single mobile device can be challenging,due to its computational ***,a number of(t,n)threshold secret sharing schemes designed to minimize private key from leakage have been proposed in the ***,existing schemes generally suffer from key reconstruction *** this paper,we propose an efficient and secure two-party distributed signing protocol for the SM2 signature *** latter has been mandated by the Chinese government for all electronic commerce *** proposed protocol separates the private key to storage on two devices and can generate a valid signature without the need to reconstruct the entire private *** prove that our protocol is secure under nonstandard ***,we implement our protocol using MIRACL Cryptographic SDK to demonstrate that the protocol can be deployed in practice to prevent key disclosure.

关键词： SM2 signature two-party signing wireless environment provable security threshold secret sharing

来源：评论

学校读者我要写书评

暂无评论

Global well-posedness and blow-up for the damped perturbation of Camassa-Holm type equations

arXiv

引用

arXiv 2020年

作者： Zhang, Lei SCHOOL OF MATHEMATICS AND STATISTICS HUBEI KEY LABORATORY OF ENGINEERING MODELING AND SCIENTIFIC COMPUTING HUAZHONG UNIVERSITY OF SCIENCE AND TECHNOLOGY HUBEI WUHAN430074 China

In this paper, we prove global well-posedness of strong solutions to a class of perturbed Camassa-Holm type equations in Besov spaces. It is shown that the existence of global solutions depends only on the L1-integrability of the time-dependent parameters, but not on the shape or smoothness conditions on initial data. As a by-product, we obtain a new global-in-time result for the weakly dissipative Camassa-Holm type equations in Besov spaces, which considerably improves the results in [11, 21, 22]. Moreover, we derive two kinds of precise blow-up criteria for a certain perturbed Camassa-Holm type equations in Sobolev space, which in some sense tell us how the time-dependent parameters affect the singularity formation of strong solutions. Copyright © 2020, The Authors. All rights reserved.

关键词： Sobolev spaces

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：