检索结果-南通市图书馆

Troy: Efficient Service Deployment for Windows Systems

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Chinese Journal of Electronics 2024年第1期33卷 313-322页

作者： Deyu ZHANG Yu XIE Mucong XU En CHENG Xiaoyan KUI Bangwen HE Yunhao LI school of computer science and engineering Central South University

The modern university computer lab and kindergarden through 12th grade classrooms require a centralized solution to efficiently manage a large number of desktops. The existing solutions either bring virtualization overhead in runtime or requires loading a large image over 30 GB leading to an unacceptable network latency. In this work, we propose Troy which takes advantage of the differencing virtual hard disk techniques in Windows systems.As such, Troy only loads the modifications made on one machine to all other machines. Troy consists of two modules that are responsible to generate an initial image and merge a differencing image with its parent image, respectively. Specifically, we identify the key fields in the virtual hard disk image that links the differencing image and the parent image and find the modified blocks in the differencing images that should be used to replace the blocks in the parent image. We further design a lazy copy solution to reduce the I/O burden in image merging. We have implemented Troy on bare metal machines. The evaluation results show that the performance of Troy is comparable to the native implementation in Windows, without requiring the Windows environment.

关键词： Service deployment Virtual hard disk File system merging Windows system

CToMP: a cycle-task-oriented memory protection scheme for unmanned systems

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

science China(Information sciences) 2024年第6期67卷 399-417页

作者： Chengyan MA Ning XI Di LU Yebo FENG Jianfeng MA school of Cyber engineering Xidian University school of computer science and Technology Xidian University Department of computer and Information science University of Oregon

Memory corruption attacks(MCAs) refer to malicious behaviors of system intruders that modify the contents of a memory location to disrupt the normal operation of computing systems, causing leakage of sensitive data or perturbations to ongoing processes. Unlike general-purpose systems, unmanned systems cannot deploy complete security protection schemes, due to their limitations in size, cost and performance.MCAs in unmanned systems are particularly difficult to defend against. Furthermore, MCAs have diverse and unpredictable attack interfaces in unmanned systems, severely impacting digital and physical sectors. In this paper, we first generalize, model and taxonomize MCAs found in unmanned systems currently, laying the foundation for designing a portable and general defense approach. According to different attack mechanisms,we found that MCAs are mainly categorized into two types — return2libc and return2shellcode. To tackle return2libc attacks, we model the erratic operation of unmanned systems with cycles and then propose a cycle-task-oriented memory protection(CToMP) approach to protect control flows from tampering. To defend against return2shellcode attacks, we introduce a secure process stack with a randomized memory address by leveraging the memory pool to prevent Shellcode from being executed. Moreover, we discuss the mechanism by which CTo MP resists the return-oriented programming(ROP) attack, a novel variant of return2libc attacks. Finally, we implement CTo MP on CUAV V5+ with Ardupilot and Crazyflie. The evaluation and security analysis results demonstrate that the proposed approach CTo MP is resilient to various MCAs in unmanned systems with low footprints and system overhead.

关键词： unmanned system memory corruption attack memory protection system security randomized memory address

Meta label associated loss for fine-grained visual recognition

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

science China(Information sciences) 2024年第6期67卷 230-247页

作者： Yanchao LI Fu XIAO Hao LI Qun LI Shui YU school of computer science Nanjing University of Posts and Telecommunications school of Network engineering Zhoukou Normal University school of computer science University of Technology Sydney

Recently, intensive attempts have been made to design robust models for fine-grained visual recognition, most notably are the impressive gains for training with noisy labels by incorporating a reweighting strategy into a meta-learning framework. However, it is limited to up or downweighting the contribution of an instance for label reweighting approaches in the learning process. To solve this issue, a novel noise-tolerant method with auxiliary web data is proposed. Specifically, first, the associations made from embeddings of well-labeled data with those of web data and back at the same class are measured. Next, its association probability is employed as a weighting fusion strategy into angular margin-based loss, which makes the trained model robust to noisy datasets. To reduce the influence of the gap between the well-labeled and noisy web data, a bridge schema is proposed via the corresponding loss that encourages the learned embeddings to be coherent. Lastly, the formulation is encapsulated into the meta-learning framework, which can reduce the overfitting of models and learn the network parameters to be noise-tolerant. Extensive experiments are performed on benchmark datasets, and the results clearly show the superiority of the proposed method over existing state-of-the-art approaches.

关键词： label associated loss weighting noisy samples fine-grained visual recognition noise-tolerant learning meta-learning

SwiftTheft: A Time-Efficient Model Extraction Attack Framework Against Cloud-Based Deep Neural Networks

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Chinese Journal of Electronics 2024年第1期33卷 90-100页

作者： Wenbin YANG Xueluan GONG Yanjiao CHEN Qian WANG Jianshuo DONG school of Cyber science and engineering Wuhan University school of computer science Wuhan University College of Electrical engineering Zhejiang University

With the rise of artificial intelligence and cloud computing, machine-learning-as-a-service platforms,such as Google, Amazon, and IBM, have emerged to provide sophisticated tasks for cloud applications. These proprietary models are vulnerable to model extraction attacks due to their commercial value. In this paper, we propose a time-efficient model extraction attack framework called Swift Theft that aims to steal the functionality of cloud-based deep neural network models. We distinguish Swift Theft from the existing works with a novel distribution estimation algorithm and reference model settings, finding the most informative query samples without querying the victim model. The selected query samples can be applied to various cloud models with a one-time selection. We evaluate our proposed method through extensive experiments on three victim models and six datasets, with up to 16 models for each dataset. Compared to the existing attacks, Swift Theft increases agreement(i.e., similarity) by 8% while consuming 98% less selecting time.

关键词： Artificial intelligence security Model extraction attacks Deep neural networks

What can we learn from quality assurance badges in open-source software?

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

science China(Information sciences) 2024年第4期67卷 146-163页

作者： Feng LI Yiling LOU Xin TAN Zhenpeng CHEN Jinhao DONG Yang LI Xuanzhi WANG Dan HAO Lu ZHANG MoE Key Lab of HCST School of Computer SciencePeking University Department of computer science Purdue University school of computer science & engineering Beihang University(BUAA) Department of computer science University College London(UCL)

In the development of open-source software(OSS), many developers use badges to give an overview of the software and share some key features/metrics conveniently. Among various badges, quality assurance(QA) badges make up a large proportion and are the most prevalent because QA is of vital importance in software development, and ineffective QA may lead to anomalies or defects. In this paper, we focus on QA badges in open-source projects, which present quality assurance information directly and instantly,and aim to produce some interesting findings and provide practical implications. We collect and analyze 100000 projects written in popular programming languages from GitHub and conduct a comprehensive empirical study both inside and outside QA badges. Inside QA badges, we build a category classification for all QA badges based on the properties they focus on, which shows the types of QA badges developers use. Then,we analyze the frequency of the properties that QA badges focus on, and property combinations, too, which present their use status. We find that QA badges focus on various properties while developers give different preferences to different properties. The use status also differs between different programming languages. For example, projects written in C focus on Security to a great extent. Our findings also provide implications for developers and badge providers. Outside QA badges, we conduct a correlation analysis between QA badges and some software metrics that have potential relationships with code quality, contribution quality, and popularity. We find that QA badges have statistically significant correlations with various software metrics.

关键词： quality assurance badge open-source software code quality empirical study

APF-GAN:Exploring asymmetric pre-training and fine-tuning strategy for conditional generative adversarial network

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Computational Visual Media 2024年第1期10卷 187-192页

作者： Yuxuan Li Lingfeng Yang Xiang Li College of computer science Nankai UniversityTianjinChina school of computer science and engineering Nanjing University of Science and TechnologyNanjingChina

The use of generative adversarial network(GAN)-based models for the conditional generation of image semantic segmentation has shown promising results in recent years.However,there are still some limitations,including limited diversity of image style,distortion of detailed texture,unbalanced color tone,and lengthy training time.To address these issues,we propose an asymmetric pre-training and fine-tuning(APF)-GAN model.

关键词： tuning network asymmetric

Identifying influential spreaders in complex networks based on density entropy and community structure

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Chinese Physics B 2024年第5期33卷 765-774页

作者：苏湛陈磊艾均郑雨语别娜 school of Optical-Electrical and computer engineering University of Shanghai for Science and Technology

In recent years,exploring the relationship between community structure and node centrality in complex networks has gained significant attention from researchers,given its fundamental theoretical significance and practical implications.To address the impact of network communities on target nodes and effectively identify highly influential nodes with strong propagation capabilities,this paper proposes a novel influential spreaders identification algorithm based on density entropy and community structure(DECS).The proposed method initially integrates a community detection algorithm to obtain the community partition results of the networks.It then comprehensively considers the internal and external density entropies and degree centrality of the target node to evaluate its influence.Experimental validation is conducted on eight networks of varying sizes through susceptible–infected–recovered(SIR)propagation experiments and network static attack experiments.The experimental results demonstrate that the proposed method outperforms five other node centrality methods under the same comparative conditions,particularly in terms of information spreading capability,thereby enhancing the accurate identification of critical nodes in networks.

关键词： corrigendum electron impact ionization cross sections carbon monoxide

维普期刊数据库

Formal Verification of Data Modifications in Cloud Block Storage Based on Separation Logic

在线全文

学校读者我要写书评

暂无评论

Chinese Journal of Electronics 2024年第1期33卷 112-127页

作者： Bowen ZHANG Zhao JIN Hanpin WANG Yongzhi CAO Key Laboratory of High Confidence Software Technologies (MOE) School of Computer Science Peking University school of computer and Artificial Intelligence Zhengzhou University school of computer science and Cyber engineering Guangzhou University

Cloud storage is now widely used, but its reliability has always been a major concern. Cloud block storage(CBS) is a famous type of cloud storage. It has the closest architecture to the underlying storage and can provide interfaces for other types. Data modifications in CBS have potential risks such as null reference or data loss.Formal verification of these operations can improve the reliability of CBS to some extent. Although separation logic is a mainstream approach to verifying program correctness, the complex architecture of CBS creates some challenges for verifications. This paper develops a proof system based on separation logic for verifying the CBS data modifications. The proof system can represent the CBS architecture, describe the properties of the CBS system state, and specify the behavior of CBS data modifications. Using the interactive verification approach from Coq, the proof system is implemented as a verification tool. With this tool, the paper builds machine-checked proofs for the functional correctness of CBS data modifications. This work can thus analyze the reliability of cloud storage from a formal perspective.

关键词： Formal verification Separation logic Cloud block storage Verification tool Coq

HTDcr:a job execution framework for high-throughput computing on supercomputers

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

science China(Information sciences) 2024年第1期67卷 69-85页

作者： Jiazhi JIANG Dan HUANG Hu CHEN Yutong LU Xiangke LIAO school of computer science and engineering Sun Yat-sen University school of Software engineering South China University of Technology

High-throughput computing(HTC) is a computing paradigm that aims to accomplish jobs by easily breaking them into smaller,independent components.However,it requires a large amount of computing power for a long time.Most existing HTC frameworks are job-oriented without support for coscheduling with hardware architecture and task-level execution.Also,most of the frameworks reach a limited scale,and their usability needs further improvement.Herein,we present HTDcr,a job execution framework for the HTC on supercomputers.This study aims to improve the throughput,task dispatching,and usability of the framework.In detail,the throughput optimizations include a sophisticated designed task management system,a hierarchical scheduler,and the co-optimization of the task-scheduling strategy with the application and hardware characteristics.The optimizations for usability include a programable execution workflow,mechanisms for more robust and reliable service qualities,and a fine-grained resource allocation system for the colocation of multiple jobs.According to our evaluations,HTDcr can achieve outstanding scalability and high throughput on large-scale clusters for the HTC workload.We evaluate HTDcr with several microbenchmarks and real-world applications on Tianhe-2 and Sunway TaihuLight to demonstrate its effects on existing design mechanisms.For instance,the task scheduling for two real-world applications integrated with the application and hardware characteristics achieves 1.7× and 1.9× speedups over the basic task-scheduling strategy.

关键词： high-throughput computing supercomputer task scheduling middleware password guessing