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

3rd International Conference on Computer Science and Communication Technology, ICCSCT 2022

作者： Liu, Zijing Zhang, Zheng Xi, Ruicheng Zhu, Pengzhe State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou450001 China

ISBN: (纸本)9781510661240

Multi Variant eXecution (MVX) is a security defense technique that uses software diversity to protect system from attacks. MVX improves security capability by enhancing system endogenous security compared to traditional passive defense techniques. However, the current MVX technique lacks formal theoretical analysis and cannot effectively assess the overall security of the system. To address the constraint relationship between complex attack means and dynamic defense environment, we construct a novel atomic combination attack chain model, which decomposes macro attack means into single atomic attack behaviors and provides theoretical support for analyzing the security capability of dynamic systems. Then, the defense model of the MVX system is established, and the defense model's security capability is analyzed using the attack model. Finally, the advantages and shortcomings of the security defense capability of the MVX system are evaluated based on a typical kernel attack example, and system optimization improvement measures are proposed. © 2022 SPIE.

关键词： Network security

来源：评论

学校读者我要写书评

暂无评论

A Bidirectional Data Packet Tampering Method for Linux System

A Bidirectional Data Packet Tampering Method for Linux Syste...

引用

2022 International Conference on Network Communication and Information Security, ICNCIS 2022

作者： Lv, Siou Yang, Pengfei Liu, Shengli State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou450001 China

ISBN: (纸本)9781510661134

Network data security is very important for each user and service provider, and every process of network data transmission is at risk of being tampered with. In this paper, we proposed a bidirectional tampering method of network data for Linux system. In this method we uses the combination of Netfilter and iptables, and uses the NetfilterQueue module in Python to tamper with the packets entering and leaving a Linux host. This tampering operation is transparent to upper users and may cause domain name redirection or many other serious consequences which threaten the security of hosts. Finally, the feasibility of this tampering method is verified by experiments. © 2022 SPIE.

关键词： Python

来源：评论

学校读者我要写书评

暂无评论

Research on key Techniques for Reverse engineering of Deep Learning Models for x86 Executable Files 24

Research on Key Techniques for Reverse Engineering of Deep L...

引用

2024 7th International Conference on Computer Information Science and Artificial Intelligence, CISAI 2024

作者： Shi, Meng Lin, Wei Deng, Wenbo College of Cyberspace Security Information Engineering University Henan Zhengzhou China State Key Laboratory of Mathematical Engineering and Advanced Computing Department of Cyberspace Security Henan Zhengzhou China

ISBN: (纸本)9798400707254

In recent years, with the continuous development of machine learning and deep learning, their related applications have gradually appeared in our field of vision, showing explosive growth. A deep learning compiler optimizes a deep learning model, compiles it, and generates a binary file. When this binary file is placed into an edge device, the device can perform model inference. However, the generated binary file shares characteristics with ordinary executable files, meaning that important information within the binary file could potentially be leaked through disassembly. This paper leverages this critical characteristic by reverse-engineering the binary library files of the model to extract key parameters and thereby restore the model’s framework. Using model library files deployed on edge devices, combined with disassembly, model prediction, dynamic analysis, and other methods, this study successfully recovers the model’s operators, topology, and network hyperparameters. Experimental evaluations demonstrate that the framework of the model can be accurately reconstructed, and the substitute model trained using the original dataset achieves accuracy comparable to that of the original model. © 2024 Copyright held by the owner/author(s).

关键词： Contrastive Learning

来源：评论

学校读者我要写书评

暂无评论

Pixel+ and Pixel++: Compact and Efficient Forward-Secure Multi-Signatures for PoS Blockchain Consensus 33

Pixel+ and Pixel++: Compact and Efficient Forward-Secure Mul...

引用

33rd USENIX Security Symposium, USENIX Security 2024

作者： Wei, Jianghong Tian, Guohua Wang, Ding Guo, Fuchun Susilo, Willy Chen, Xiaofeng Xidian University China State Key Laboratory of Mathematical Engineering and Advanced Computing China College of Cyber Science Nankai University China School of Computing and Information Technology University of Wollongong Australia

ISBN: (纸本)9781939133441

Multi-signature schemes have attracted considerable attention in recent years due to their popular applications in PoS blockchains. However, the use of general multi-signature schemes poses a critical threat to the security of PoS blockchains once signing keys get corrupted. That is, after an adversary obtains enough signing keys, it can break the immutable nature of PoS blockchains by forking the chain and modifying the history from some point in the past. Forward-secure multi-signature (FS-MS) schemes can overcome this issue by periodically updating signing keys. The only FS-MS construction currently available is Drijvers et al's Pixel, which builds on pairing groups and only achieves forward security at the time period level. In this work, we present new FS-MS constructions that either are free from pairing or capture forward security at the individual message level (i.e., fine-grained forward security). Our first construction Pixel+ works for a maximum number of time periods T. Pixel+ signatures consist of only one group element, and can be verified using two exponentiations. It is the first FS-MS from RSA assumption, and has 3.5x and 22.8x faster signing and verification than Pixel, respectively. Our second FS-MS construction Pixel++ is a pairing-based one. It immediately revokes the signing key's capacity of re-signing the message after creating a signature on this message, rather than at the end of the current time period. Thus, it provides more practical forward security than Pixel. On the other hand, Pixel++ is almost as efficient as Pixel in terms of signing and verification. Both Pixel+ and Pixel++ allow for non-interactive aggregation of signatures from independent signers and are proven to be secure in the random oracle model. In addition, they also support the aggregation of public keys, significantly reducing the storage overhead on PoS blockchains. We demonstrate how to integrate Pixel+ and Pixel++ into PoS blockchains. As a proof-of-concept, we prov

关键词： Blockchain

来源：评论

学校读者我要写书评

暂无评论

An Opposition-Based Learning Adaptive Chaotic Particle Swarm Optimization Algorithm

引用

Journal of Bionic engineering 2024年第6期21卷 3076-3097页

作者： Chongyang Jiao Kunjie Yu Qinglei Zhou State Key Laboratory of Mathematical Engineering and Advanced Computing PLA Strategic Support Force Information Engineering UniversityZhengzhou450001China Henan Information Engineering School Zhengzhou Vocational College of Industrial SafetyZhengzhou450000China School of Electrical and Information Engineering Zhengzhou UniversityZhengzhou450001China School of Computer and Artificial Intelligence Zhengzhou UniversityZhengzhou450001China

To solve the shortcomings of Particle Swarm Optimization(PSO)algorithm,local optimization and slow convergence,an Opposition-based Learning Adaptive Chaotic PSO(LCPSO)algorithm was *** chaotic elite opposition-based learning process was applied to initialize the entire population,which enhanced the quality of the initial individuals and the population diversity,made the initial individuals distribute in the better quality areas,and accelerated the search efficiency of the *** inertia weights were adaptively customized during evolution in the light of the degree of premature convergence to balance the local and global search abilities of the algorithm,and the reverse search strategy was introduced to increase the chances of the algorithm escaping the local *** LCPSO algorithm is contrasted to other intelligent algorithms on 10 benchmark test functions with different characteristics,and the simulation experiments display that the proposed algorithm is superior to other intelligence algorithms in the global search ability,search accuracy and convergence *** addition,the robustness and effectiveness of the proposed algorithm are also verified by the simulation results of engineering design problems.

关键词： PSO Opposition-based learning Chaotic motion Inertia weight Intelligent algorithm

来源：评论

学校读者我要写书评

暂无评论

Disentangling Ensemble Models on Adversarial Generalization in Image Classification 5

Disentangling Ensemble Models on Adversarial Generalization ...

引用

5th International Conference on Electronic engineering and Informatics, EEI 2023

作者： Li, Chenwei Pan, Mengyuan Yang, Bo Zhang, Hengwei Henan Key Laboratory of Information Security State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou China Guizhou University School of Chemistry and Chemical Engineering Guiyang China

ISBN: (纸本)9798350327076

Convolutional neural networks are widely used in computer vision and image processing. However, when the original input is added with manually imperceptible perturbations, these deep network models mostly tend to output incorrect predictions. The vulnerability of these models poses great threat to intelligent applications, and these manually imperceptible perturbations are called adversarial examples. Current baseline methods have achieved considerable white-box attack success rate, but black-box rate remains to be improved. To boost the adversarial generalization, ensemble models method is introduced to the process of generating adversarial examples. This paper proposes multiple ensemble strategies with baseline attack methods based on existing ensemble strategy used by former methods. Experiment on ImageNet dataset empirically verifies the optimal ensemble strategy on boosting adversarial generalization. © 2023 IEEE.

关键词： Image classification

来源：评论

学校读者我要写书评

暂无评论

An Improved Authenticated key Agreement Protocol for IoT and Cloud Server 5th

An Improved Authenticated Key Agreement Protocol for IoT an...

引用

5th International Conference on Security and Privacy in New computing Environments, SPNCE 2022

作者： Ma, Yongliu Ma, Yuqian Cheng, Qingfeng State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou China Strategic Support Force Information Engineering University Zhengzhou450001 China

ISBN: (纸本)9783031306228

The internet of things (IoT) is a complex network system with applications in all walks of life. However, there are various risks in the process of information transmission between IoT devices and servers. Recently, research on the security of authenticated key agreement (AKA) protocols in the IoT environment has gradually increased. Iqbal et al. proposed an AKA protocol between IoT and cloud servers and proved that it was secure under the eCK model. This paper shows that the Iqbal et al.’s protocol has two security flaws, which are resisting ephemeral key leakage attack and key compromise impersonation attack, and proposes a new AKA protocol in the IoT environment. Through the security proof and formal analysis, it is proved that the new protocol is secure under the eCK model. Comparing the protocol proposed in this paper with other similar protocols, it is found that the protocol in this paper achieves a balance between security performance and communication consumption. © 2023, ICST Institute for Computer Sciences, Social Informatics and Telecommunications engineering.

关键词： Internet of things

来源：评论

学校读者我要写书评

暂无评论

HDBFuzzer-Target-oriented Hybrid Directed Binary Fuzzer 21

HDBFuzzer-Target-oriented Hybrid Directed Binary Fuzzer

引用

5th International Conference on Computer Science and Application engineering, CSAE 2021

作者： Yu, Yingchao Qin, Xiaojun Gan, Shuitao State Key Laboratory of Mathematical Engineering and Advanced Computing Wuxi China

ISBN: (纸本)9781450389853

In this paper, we propose a target-oriented hybrid directed binary fuzzer (HDBFuzzer) to solve the vulnerability confirmation problem based on binary code similarity comparison. HDBFuzzer combines macro function level direction fuzzing and micro path-constraint directed solving. For some branches with simple or loose constraints, it still uses directed mutation of the directed fuzzing to penetrate while for some really hard-to-penetrate constraints, it resorts to guided concolic execution. At the same time, in order to improve the efficiency of constraint solving, we propose a constraint solving method based on "path abstraction", which approximates the solution space by the linear expression and generates effective input utilizing the highly-effective sampling method towards the linear space. Then, under the guidance by the directed greybox fuzzing, HDBFuzzer can generate input that can quickly reach the vulnerable code region and finally crash the program under the test to confirm the vulnerability hidden in the binary program. We evaluate HDBFuzzer against AFLGo-B and QSYM on LAVA-M dataset and ten real-world programs, and the results show that HDBFuzzer is superior to AFLGo-B and QSYM on the bug discovery, bug reproduction and target reaching capabilities.. © 2021 Association for computing Machinery. All rights reserved.

关键词： Software testing

来源：评论

学校读者我要写书评

暂无评论

Color Image Steganalysis Algorithm Based on Quaternion Convolutional Neural Network 30th

Color Image Steganalysis Algorithm Based on Quaternion Convo...

引用

30th International Conference on Computational and Experimental engineering and Sciences, ICCES 2024

作者： Xu, Meng Wang, Jinwei State Key Laboratory of Mathematical Engineering and Advanced Computing Henan450001 China Department of Computer and Software Nanjing University of Information Science and Technology Nanjing210044 China

ISBN: (纸本)9783031687747

Most of the images on the Internet are color images, and steganalysis of color images is a very critical issue in the field of steganalysis. The current proposed color image steganalysis features mainly rely on manual design, and the steganalysis features do not fully consider the internal connections between the three channels of color images. Most steganalyzers based on deep learning are also designed for grayscale images. In recent years, the continuous introduction of advanced steganography techniques for color images has also brought more severe challenges to the steganography analysis of color images. Quaternions are a tool that can effectively represent color images, and utilizing quaternion transformations can fully exploit the correlation between color image channels. Combining quaternion theory with convolutional neural networks, this paper proposed a color image steganalysis algorithm based on quaternion convolutional neural networks. Firstly, the image is represented by quaternion, and then input into the quaternion convolutional neural network. The convolution kernel in the network is composed of quaternions, and then perform convolution and pooling. The experimental results have demonstrated the significant effectiveness of the proposed network. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2024.

关键词： Convolutional neural networks

来源：评论

学校读者我要写书评

暂无评论

Grover algorithm circuit optimization and noise analysis on integer factorization 7

Grover algorithm circuit optimization and noise analysis on ...

引用

7th International Conference on Intelligent computing and Signal Processing, ICSP 2022

作者： Song, Hui-Chao Liu, Xiao-Nan Jiang, Duo An, Jiale University of Information Engineering State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou China

ISBN: (纸本)9781665478571

The classical computer is restricted by Moore's law and other factors into the development bottleneck, quantum computer by virtue of its natural acceleration advantage into the field of vision. Quantum computing can achieve the acceleration effect compared with classical computing in many fields. In the field of integer decomposition, Shor algorithm can be solved in polynomial time, which breaks the security of RSA public key cryptosystem. However, the quantum bits (logn + 2, where n is the integer to be decomposed) required by Shor algorithm are difficult to be realized on today's quantum computers. Therefore, the hybrid quantum algorithm model of "classical + quantum (Grover algorithm)"is tried to realize the decomposition of large integers. In this paper, based on the previous hybrid quantum algorithm model, considering that the continuous accumulation of errors in the circuit of the quantum algorithm will lead to the failure of the algorithm as the depth increases, part of the circuit of the quantum algorithm oracle is optimized to reduce the consumption of the depth, quantum gate and quantum bit in the circuit of the quantum algorithm, so as to make it easier to run on the actual quantum computer. By running the optimized quantum circuit on the back end of the simulator of IBM Q quantum cloud platform, and trying to add thermal relaxation and depolarization noises to the circuit, the influence of different noises on the circuit under different iterations was explored. © 2022 IEEE.

关键词： Quantum computers

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：