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

IEEE International Conference on Software engineering and Service Sciences (ICSESS)

作者： Shuai Yi Xueli Hu Hao Wu State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou China Information Engineering University Zhengzhou China

ISBN: (纸本)9781479983544

Automatic reassembly of log file fragments from a collection of mixed fragments is one of the most important process during log file carving. In this paper we propose a general process model and design an algorithm based on graph theory for automatic reassembly of log file fragments. Finally, an experiment is designed and explored and results demonstrated the validity of the proposed model and algorithm.

关键词： Algorithm design and analysis Finite element analysis Graph theory File systems Semantics Probability Manganese

来源：评论

学校读者我要写书评

暂无评论

On-line memorry defragmentation for NVM-based persistent heaps 6

On-line memorry defragmentation for NVM-based persistent hea...

引用

6th IEEE Non-Volatile Memory Systems and Applications Symposium, NVMSA 2017

作者： Li, Lin Jiang, Wei Pan, Rui Zhan, Jinyu Shao, Zili Xiong, Xiankui School of Computer Science and Engineering University of Electronic Science and Technology of China Chengdu China School of Information and Software Engineering University of Electronic Science and Technology of China Chengdu China Department of Computing Hong Kong Polytechnic University Hong Kong Hong Kong Zhongxing Telecommunication Equipment Corporation Nanjing China State Key Lab of Mathematical Engineering and Advanced Computing Wuxi China

ISBN: (纸本)9781538617687

Due to the durability of NVM, we are facing the great challenge of performing efficient memory defragmentation on persistent heaps. To address the problem, we propose an Online Persistent Memory Defragmentation (OPMD) method to manage persistent heaps. Employing two segment trees to track memory allocation and deallocation operations, our method can amortize the cost of global scan, and determine the most valuable objects needed to be moved in logarithmic time. OPMD adopts software transactional memory to move objects and updates object references in constant time using object metadata. We conduct extensive experiments to test the impact of OPMD on the throughput of the operations of linked list and hash table. © 2017 IEEE.

关键词： Resource management Metadata Nonvolatile memory Memory management Tracking Throughput Random access memory

来源：评论

学校读者我要写书评

暂无评论

The Causal Reasoning Ability of Open Large Language Model: A Comprehensive and Exemplary Functional Testing

The Causal Reasoning Ability of Open Large Language Model: A...

引用

IEEE International Conference on Software Quality, Reliability and Security (QRS)

作者： Shun-Hang Li Gang Zhou Zhi-Bo Li Ji-Cang Lu Ning-Bo Huang State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou China Information Engineering University Zhengzhou China

As the intelligent software, the development and application of large language models are extremely hot topics recently, bringing tremendous changes to general AI and software industry. Nonetheless, large language models, especially open source ones, incontrollably suffer from some potential software quality issues such as instability, inaccuracy, and insecurity, making software testing necessary. In this paper, we propose the first solution for functional testing of open large language models to check full-scene availability and conclude empirical principles for better steering large language models, particularly considering their black box and intelligence properties. Specifically, we focus on the model’s causal reasoning ability, which is the core of artificial intelligence but almost ignored by most previous work. First, for comprehensive evaluation, we deconstruct the causal reasoning capability into five dimensions and summary the forms of causal reasoning task as causality identification and causality matching. Then, rich datasets are introduced and further modified to generate test cases along with different ability dimensions and task forms to improve the testing integrity. Moreover, we explore the ability boundary of open large language models in two usage modes: prompting and lightweight fine-tuning. Our work conducts comprehensive functional testing on the causal reasoning ability of open large language models, establishes benchmarks, and derives empirical insights for practical usage. The proposed testing solution can be transferred to other similar evaluation tasks as a general framework for large language models or their derivations.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Multi-Variant Execution Research of Software Diversity

Multi-Variant Execution Research of Software Diversity

引用

作者： Zhenwu Liu Zheng Zhang Jiexin Zhang Hao Liu State key Laboratory of Mathematical Engineering and Advanced Computing PLA Strategic Support Force Information Engineering University

As more and more software products are threatened by malicious reverse analysis,along with software products are pirated, tampered with and so on, it is of great significance to study software security protection technology in depth. As a software security protection technology, software diversification introduces uncertainty into the target program and provides probabilistic protection for the target program. Multi-Variant Execution(MVE) are fine-grained implementation of software diversification that produces functionally identical variants at the system call level. This article first introduces the related concepts of multivariant execution. Secondly, it expounds the key technologies of multi-variant execution implementation-variant generation, variant monitor, input/output and synchronization,monitor-variant communication. Security of monitors and different variant communication technologies are analyzed and compared, their advantages and defects are pointed out respectively. Several implementation methods of multi-variant execution design are summarized. Finally, the reasons for the false negatives and false positives of attack events are analyzed, and the prospects and challenges of using multi-variant execution techniques to implement security systems are summarized.

关键词： Multi-Variant Execution Research of Software Diversity

来源：评论

学校读者我要写书评

暂无评论

Exploiting Pure Superword Level Parallelism for Array Indirections

Exploiting Pure Superword Level Parallelism for Array Indire...

引用

International Symposium on Parallel Architectures, Algorithms and Programming (PAAP)

作者： Huihui Sun Rongcai Zhao Wei Gao Yi Gong Gang Li State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou China Information Engineering University Zhengzhou China

SIMD (Single Instruction Multiple Data) extension units are ubiquitous in modern processors. Array indirections raise several challenges for SIMD vectorization including disjoint memory access, unknown alignment and dependence cycle. Existing SIMD automatic vectorization methods fail to handle these challenges very well. This paper presents a new method exploiting Pure SLP (Superword Level Parallelism) to address these problems. Dependence equation is rewritten to work out the dependence testing for index array. To address the problem of non-aligned and disjoint challenges, data alignment in recombinant registers and redundant statements are employed respectively. In addition, a precise cost model is proposed to guarantee positive benefits. Experiments on three typical array indirection applications extracted from SPEC2006 benchmarks verified the validity of this method.

关键词： Arrays Testing Indexes Parallel processing mathematical model Registers Program processors

来源：评论

学校读者我要写书评

暂无评论

The Research and Application of Zero Trust:A Review

SSRN

引用

SSRN 2024年

作者： Meng, Qi Fei, Jinlong Lu, Bin Wang, Xuemeng Wu, Wei Zhang, Zihao Huang, Jing State Key Laboratory of Mathematical Engineering And Advanced Computing PLA Information Engineering University Zhengzhou450000 China

With the emergence of new technologies such as cloud computing, mobile internet, the Internet of Things, and 5G, the internet ecosystem has undergone significant changes. The connections between people and devices have become closer, but they also face more complex and advanced threats. Traditional security concepts and technologies gradually cannot meet the security requirements of the current environment. Zero Trust provides a new paradigm that can effectively solve the current security dilemma in the internet ecosystem. This article starts with the research background of Zero Trust, introduces the emergence and development of Zero Trust, its basic definition, and studies the abstract architecture and deployment models of Zero Trust. It focuses on three key technologies of Zero Trust: identity and access management, micro-segmentation, and software-defined perimeters. The article also summarizes the implementation and practical solutions of Zero Trust by current enterprises, with a detailed explanation of the Google BeyondCorp Zero Trust implementation solution. The latter part of the article emphasizes the research and application of Zero Trust in different academic and application fields, reviewing and summarizing the literature on Zero Trust in academia and applications. Finally, the article summarizes the research and application of Zero Trust and provides an outlook on the future development of Zero Trust. © 2024, The Authors. All rights reserved.

关键词： Ecosystems

来源：评论

学校读者我要写书评

暂无评论

Practical Software Diversification Tool Chain for Dissimilar Redundancy Architecture

Practical Software Diversification Tool Chain for Dissimilar...

引用

IEEE Joint International Information Technology and Artificial Intelligence Conference (ITAIC)

作者： Gaofei Zhang Zheng Zhang Jiang Wang Xinsheng Ji State key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou China Information Engineering University Zhengzhou China

ISBN: (数字)9781728152448

ISBN: (纸本)9781728152455

With the rapid development of the information society, there are corresponding tool solutions for various daily problems. Aiming at the complex generation process and inconvenient operation of heterogeneous components in a security defense system constructed with dissimilar redundancy, in this paper, we propose a practical basic software application isomerization tool chain, which integrates a series of key technologies of heterogeneous structures. At the same time, corresponding automated tests are provided for users to conduct comprehensive evaluation. Experimental evaluation shows that the tool chain will be able to provide heterogeneous component support for security defense technologies based on dissimilarity redundancy construction and improve the security of software systems.

关键词： Redundancy Computer architecture Tools Software Hardware Security Testing

来源：评论

学校读者我要写书评

暂无评论

High-payload image-hiding scheme based on best-block matching and multi-layered syndrome-trellis codes

Lecture Notes in Computer Science (including subseries Lectu...

引用

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2014年 8787卷 336-350页

作者： Han, Tao Fei, Jinlong Liu, Shengli Chen, Xi Yuefei, Zhu Zhengzhou Information Science and Technology Institute Zhengzhou China State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou China

Image steganography has been widely used in the domain of privacy protection, such as the storage and transmission of the secret images. This paper presents a novel image-hiding scheme to embed the secret image into an innocent cover image. We use a block matching procedure to search for the best-matching block for each secret image block. Then the k-means clustering method is used to select k representative blocks for the not-well-matched secret image blocks. Moreover, the bases and indexes of the well-matched blocks together with the representative blocks are compressed by the Huffman coding. Finally, we use multi-layered syndrome-trellis codes (STC) to embed all the relevant data into multiple least significant bit (LSB) planes of the cover image. The results of experiments show that the proposed method outperforms some previous image-hiding methods. © Springer International Publishing Switzerland 2014.

关键词： Clustering algorithms

来源：评论

学校读者我要写书评

暂无评论

A Hybrid Loss Network for Localization of Image Manipulation 19th

A Hybrid Loss Network for Localization of Image Manipulation

引用

19th International Workshop on Digital Forensics and Watermarking, IWDW 2020

作者： Yin, Qilin Wang, Jinwei Luo, Xiangyang Nanjing University of Information Science and Technology and Engineering Research Center of Digital Forensics Ministry of Education Nanjing210044 China State Key Laboratory of Mathematical Engineering and Advanced Computing Henan450001 China Shanxi Key Laboratory of Network and System Security Xidian University Xi’an710071 China

ISBN: (纸本)9783030694487

With the development of information security, localization of image manipulations havs become a hot topic. In this paper, a hybrid loss network is proposed for the manipulated image forensics. First, the patch prediction module extracts corresponding features representing the discrepancy of the tampered region boundaries. Then, these features are constrained by the Pixel Normalization, thereby improving the classification performance for the tampered patches. Finally, multi-scale patch prediction masks and semantic information are fused to segment out the tampered regions. The experiments demonstrate the proposed model can achieve high performance. © 2021, Springer Nature Switzerland AG.

关键词： Pixels

来源：评论

学校读者我要写书评

暂无评论

A parallel target-directed analysis method for malware behaviors

A parallel target-directed analysis method for malware behav...

引用

International Conference on Cyberspace Technology (CCT 2014)

作者： Yanfeng Qin Qingxian Wang Yongjun Zeng Qi Xi Luoyang University of Foreign Languages China State Key Laboratory of Mathematical Engineering and Advanced Computing China

ISBN: (纸本)9781510802704

To improve the efficiency of analyzing malware behaviors and increase the validity of the test data, this paper proposes a parallel target-directed analysis method for malware behaviors, which combines static analysis with concolic testing techniques. It first uses static analysis techniques to identify and locate those interactive or input points and sensitive behavior functions. Then based on the distributed platform, by combining symbolic execution and concrete dynamic execution together and taking malware sensitive behaviors as the leading target, the parallel target-directed algorithm of searching sensitive paths and the method of leading and approaching sensitive behaviors are designed. It leads to traverse the sensitive functions, obtain the sensitive paths which can reach the sensitive behavior areas by path backtracking, and generate the corresponding test data. Finally, it finishes the analysis and test of malware behaviors. Experiments show that, compared with fuzz and full paths covering and traversing technique, this method can generate test data more efficiently, reduce the number of paths to be analyzed, and improve the analysis speed and efficiency of malware behaviors.

关键词： malware parallel analysis sensitive behavior function sensitive path symbolic execution target-directed Spyware observational data Paths

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：