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

International Conference on Information, Communication and Networks (ICICN)

作者： Yuming Zhu Weiyu Dong Cyber Security Department State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou China

ISBN: (纸本)9781665490832

As an important program analysis method, taint analysis technology has been widely used in the field of vulnerability detection. However, the existing dynamic taint analysis needs to design instruction-by-instruction taint propagation rules, which is expensive and has a high false positive rate for identifying the implicit control flow of the target program. In view of the above problems, this paper proposes a dynamic taint analysis method nnTaint based on neural network for the existing taint-guided fuzzing technology, which has the characteristics of low cost and low false positives. Comparing nnTaint with the existing taint analysis tools, the operation efficiency is improved by 10.9%-18.8% compared with the traditional taint analysis, which reduces the cost of the existing dynamic taint analysis technology to a certain extent. On the LAVA-M testing datasets and GNU binutils program, nnTaint improves the edge coverage by 4.7%-16% compared with the existing taint-guided fuzzing tools, effectively improving the implicit control flow recognition accuracy of the existing dynamic taint analysis. The results show that nnTaint can improve the efficiency and accuracy of existing dynamic taint analysis tools.

关键词： Costs Instruments Source coding Prototypes Optimization methods Artificial neural networks Fuzzing

来源：评论

学校读者我要写书评

暂无评论

CinfoFuzz: Fuzzing Method Based on Web Service Correlation Information of Embedded Devices

CinfoFuzz: Fuzzing Method Based on Web Service Correlation I...

引用

International Conference on Information, Communication and Networks (ICICN)

作者： Qi Feng Weiyu Dong Cyberspace Security Department State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou China

ISBN: (纸本)9781665490832

There are many vulnerable vulnerabilities in Web service of embedded devices. However, existing fuzzing methods cannot analyze such Web service efficiently or effectively. Aiming at the above problems, this paper proposes a fuzzing method based on Web service correlation information of embedded devices (Wsci-ed). Based on this method, this paper implements the fuzzing test prototype tool CinfoFuzz, which guides the fuzzing with Wsci-ed. Comparing the performance of CinfoFuzz with the fuzzing tools Boofuzz and Peach, the results show that CinfoFuzz has higher efficiency; in the vulnerability mining experiment of actual software, CinfoFuzz can trigger more vulnerabilities.

关键词： Performance evaluation Correlation Web services Prototypes Computer architecture Fuzzing Software

来源：评论

学校读者我要写书评

暂无评论

Rotation Transformation: A Method to Improve the Transferability of Adversarial Examples

Rotation Transformation: A Method to Improve the Transferabi...

引用

2021 International Conference on Digital Society and Intelligent Systems, DSInS 2021

作者： Li, Zheming Zhang, Hengwei Ma, Junqiang Yang, Bo Li, Chenwei Li, Jingwen Key Laboratory of Information Security of Henan Provincial State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou China PLA Army Staff Department Beijing China

ISBN: (纸本)9781665406307

Convolutional neural network models are fragile to adversarial examples. Adding disturbances that humans cannot observe in clean images can make the model classification error. Among the adversarial attack methods, white-box attacks have achieved a high attack success rate, but the "overfitting"between the adversarial examples and the model has led to a low success rate of black-box attacks. To this end, this paper introduces the data augmentation method into the adversarial examples generation process, establishes a probability model to perform random rotation transformation on clean images, improves the mobility of adversarial examples, and improves the success rate of adversarial examples under black-box setting. The experimental results on ImageNet show that the RO-MI-FGSM method we proposed has a stronger attack effect, achieving a black-box attack success rate up to 80.3%. © 2021 IEEE.

关键词： Neural network models

来源：评论

学校读者我要写书评

暂无评论

A Formal Verification Method for Security Protocol Implementations Based on Model Learning and Tamarin 6

A Formal Verification Method for Security Protocol Implement...

引用

2021 6th International Symposium on Advances in Electrical, Electronics and Computer engineering, ISAEECE 2021

作者： Zhang, Xieli Zhu, Yuefei Gu, Chunxiang Miao, Xuyang State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou Henan450001 China Henan Key Laboratory of Network Cryptography Technology Zhengzhou Henan450002 China

The verification of security protocol implementations is notoriously difficult and important. In this paper, combining with the model learning using Tamarin, a formal verification tool of protocol specification, a formal verification method for security protocol implementations is proposed. We extract state machine information from protocol implementations by model learning, and determine suspicious paths in the finite-state machines by cross-validation between different implementations of the same protocol;and then verify whether the suspicious paths violate the security properties of the protocol using Tamarin. It can be used to detect logical errors in protocol implementations and avoid relying on expert experience to make compliance rules from protocol documents when using model checking tools. The effectiveness of this method is demonstrated by the vulnerability detection of the typical ChangeCipherSpec in the TLS protocol implementation. The method proposed can help developers to develop more robust implementations of security protocols. © Published under licence by IOP Publishing Ltd.

关键词： Formal verification

来源：评论

学校读者我要写书评

暂无评论

An Extraction Method of Network Security Situation Elements Based on Gradient Lifting Decision Tree

An Extraction Method of Network Security Situation Elements ...

引用

2021 International Conference on advanced computing and Endogenous Security, ICACES 2021

作者： Ma, Zhaorui Zhang, Shicheng Chang, Yiheng Zhou, Qinglei Hu, Xinhao Li, Xia State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou450052 China Zhengzhou University of Light Industry Zhengzhou450002 China

ISBN: (纸本)9781665424493

The primary purpose of acquiring network security situation elements is to detect and discover potential security threats from discrete and isolated data. In the complex network environment, the existing network security situation element acquisition technology has the problems of low extraction accuracy and low extraction efficiency. To solve these problems, a method for extracting network security situation elements based on Gradient Boosting Decision Tree (GBDT) is proposed. This method uses the attribute reduction function of rough set to preprocess the original data, which can effectively reduce redundancy. Furthermore, the initial parameters of GBDT are optimized by quantum particle swarm optimization (QPSO) algorithm to improve stability. Finally, the optimized GBDT classifier is used to classify and train with the reduced data set, and the accuracy of the final classifier is continuously improved by reducing the deviation via iterative optimization. Experiments demonstrate that the proposed algorithm achieves significant results and outperforms several state-of-the-art algorithms to the extraction of network security situation elements on the UNSW-NB15 dataset. © 2022 IEEE.

关键词： Extraction

来源：评论

学校读者我要写书评

暂无评论

A review of cryptographic algorithm recognition technology for binary code

A review of cryptographic algorithm recognition technology f...

引用

2021 International Conference on Computer Network Security and Software engineering, CNSSE 2021

作者： Zhao, Chenxia Kang, Fei Yang, Ju Shu, Hui Zhengzhou University Zhengzhou Henan450001 China State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou Henan450001 China

Aiming at the cryptographic algorithm that may be contained in the binary program, combined with existing research results, several cryptographic algorithm identification techniques are analyzed, including control flow graphs, data flow graphs, feature matching, selection of command statistical attributes, and semantic-based behavior analysis. The recognition effects of related technologies are discussed respectively. © Published under licence by IOP Publishing Ltd.

关键词： Graphic methods

来源：评论

学校读者我要写书评

暂无评论

Efficient Sparse Attention needs Adaptive Token Release

arXiv

引用

arXiv 2024年

作者： Zhang, Chaoran Zou, Lixin Luo, Dan Tang, Min Luo, Xiangyang Li, Zihao Li, Chenliang Wuhan University China Lehigh University United States Monash University Australia State Key Lab of Mathematical Engineering and Advanced Computing China

In recent years, Large Language Models (LLMs) have demonstrated remarkable capabilities across a wide array of text-centric tasks. However, their 'large' scale introduces significant computational and storage challenges, particularly in managing the key-value states of the transformer, which limits their wider applicability. Therefore, we propose to adaptively release resources from caches and rebuild the necessary key-value states. Particularly, we accomplish this by a lightweight controller module to approximate an ideal top-K sparse attention. This module retains the tokens with the highest top-K attention weights and simultaneously rebuilds the discarded but necessary tokens, which may become essential for future decoding. Comprehensive experiments in natural language generation and modeling reveal that our method is not only competitive with full attention in terms of performance but also achieves a significant throughput improvement of up to 221.8%. The code for replication is available on the https://***/WHUIR/ADORE. © 2024, CC BY.

关键词： Modeling languages

来源：评论

学校读者我要写书评

暂无评论

A Multi-Variant Voting Algorithm Based on Dynamic Feedback 2

A Multi-Variant Voting Algorithm Based on Dynamic Feedback

引用

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

来源：评论

学校读者我要写书评

暂无评论

Tuning 2D magnetism in Fe3+XGeTe2 films by element doping

引用

National Science Review 2022年第6期9卷 163-170页

作者： Shanshan Liu Zihan Li Ke Yang Enze Zhang Awadhesh Narayan Xiaoqian Zhang Jiayi Zhu Wenqing Liu Zhiming Liao Masaki Kudo Takaaki Toriyama Yunkun Yang Qiang Li Linfeng Ai Ce Huang Jiabao Sun Xiaojiao Guo Wenzhong Bao Qingsong Deng Yanhui Chen Lifeng Yin Jian Shen Xiaodong Han Syo Matsumura Jin Zou Yongbing Xu Xiaodong Xu Hua Wu Faxian Xiu State Key Laboratory of Surface Physics and Department of Physics Fudan University Institute for Nanoelectronic Devices and Quantum Computing Fudan University College of Science University of Shanghai for Science and Technology Laboratory for Computational Physical Sciences(MOE) Fudan University Solid State and Structural Chemistry Unit Indian Institute of Science School of Electronic Science and Engineering Nanjing University Department of Physics University of Washington Department of Electronic Engineering Royal Holloway University of London Materials Engineering The University of Queensland Beijing Key Laboratory of Microstructure and Property of Advanced Materials Institute of Microstructure and Property of Advanced Materials Beijing University of Technology The Ultramicroscopy Research Center Kyushu University State Key Laboratory of ASIC and System School of Microelectronics Fudan University Collaborative Innovation Center of Advanced Microstructures Department of Applied Quantum Physics and Nuclear Engineering Kyushu University Centre for Microscopy and Microanalysis The University of Queensland Shanghai Research Center for Quantum Sciences

Two-dimensional（2D） ferromagnetic materials have been discovered with tunable magnetism and orbital-driven nodal-line features. Controlling the 2D magnetism in exfoliated nanoflakes via electric/magnetic fields enables a boosted Curie temperature（TC） or phase transitions. One of the challenges, however, is the realization of high TC2D magnets that are tunable, robust and suitable for large scale fabrication. Here, we report molecular-beam epitaxy growth of wafer-scale Fe3+XGeTe2films with TCabove room temperature. By controlling the Fe composition in Fe3+XGeTe2, a continuously modulated TCin a broad range of 185–320 K has been achieved. This widely tunable TCis attributed to the doped interlayer Fe that provides a 40% enhancement around the optimal composition X = 2. We further fabricated magnetic tunneling junction device arrays that exhibit clear tunneling signals. Our results show an effective and reliable approach, i.e. element doping, to producing robust and tunable ferromagnetism beyond room temperature in a large-scale 2D Fe3+XGeTe2fashion.

关键词： 2D ferromagnetic material Fe3+XGeTe2 film element doping above room temperature TC tunability

来源：评论

学校读者我要写书评

暂无评论

A Cross-Platform Instant Messaging User Association Method Based on Spatio-temporal Trajectory 8th

A Cross-Platform Instant Messaging User Association Method B...

引用

8th International Conference on Artificial Intelligence and Security , ICAIS 2022

作者： Zhou, Pei Luo, Xiangyang Du, Shaoyong Li, Lingling Yang, Yang Liu, Fenlin School of Cyber Science and Engineering Zhengzhou University Zhengzhou450000 China State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou450000 China State Key Laboratory of Information Security Institute of Information Engineering Chinese Academy of Sciences Beijing100093 China School of Intelligent Engineering Zhengzhou University of Aeronautics Zhengzhou450000 China School of Computing and Information Systems Singapore Management University Singapore188065 Singapore

ISBN: (纸本)9783031067600

The current research on cross-platform instant messaging user association is mainly divided into two categories: based on user attributes and based on user behavior. Methods based on user attributes mainly identify users through multiple attributes such as user name and multi-platform user information association based on cell phone number, but user association is not possible when multi-platform user information is inconsistent and users do not grant their address book permissions. Methods based on user behavior mainly calculate the similarity between user trajectories features such as geographic location frequency and co-occurrence, but this method lacks the user’s information, which leads to the inability to fully excavate the sequential features of the trajectory and affects the accuracy of trajectory matching. In order to solve this problem, this paper proposes a cross-platform instant messaging user association algorithm based on temporal trajectories (CPTrajst). We firstly place probes in the area where the target may appear so as to obtain user information, gets user trajectory, then processes the trajectory and performs two trajectory matches, finally associate users of different platforms whose trajectories match, thus increasing the accuracy and reliability of cross-platform instant messaging user association. We conducts specific experiments for users of WeChat and Momo, the most commonly used instant messengers in China. The results show that we can achieve reliable association for these two types of instant messaging users and the user association accuracy can reach 99.5%, which is better than the existing user association algorithms based on trajectory matching. © 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Trajectories

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：