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

2019 2nd International Conference on advanced Materials, Intelligent Manufacturing and Automation, AMIMA 2019

作者： Geng, Yangyang Wang, Yi Liu, Wenwen Wei, Qiang Liu, Ke Wu, Haolan State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou450001 China Department of Research and Development Center Beijing Sifang Automation Co. Ltd Beijing100085 China

Industrial Control System(ICS) testbed is the basis of ICS safety research. In order to build an ICS testbed, it is necessary to have a deep understanding of the current research status. This paper introduced the structure and composition of the typical ICS system. Then it simply analyzed the technical characteristics, system framework and advantages and disadvantages of four types of typical ICS testbeds. Finally, it summarized application scenarios of ICS testbed and pointed out some problems in testbed construction and the development direction of ICS testbed with the fusion of cyber and physical. © Published under licence by IOP Publishing Ltd.

关键词： Testbeds

来源：评论

学校读者我要写书评

暂无评论

Field-aware Evolutionary Fuzzing Based on Input Specifications and Vulnerability Metrics

Field-aware Evolutionary Fuzzing Based on Input Specificatio...

引用

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

作者： Yunchao Wang Zehui Wu Qiang Wei Qingxian Wang State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou China

ISBN: (数字)9781728109459

ISBN: (纸本)9781728109466

Evolutionary fuzzing technology based on genetic algorithm has become one of the most effective vulnerability discovery techniques due to its fast and scalable advantages. How to effectively mutate the seed input plays a crucial role in improving the efficiency of the fuzzing. A good mutation strategy can increase code coverage and vulnerability triggering probability. Existing fuzzing tools generally focus on how to mutate smartly to improve code coverage to find more vulnerabilities (such as passing the branch with magic bytes), but they still face two challenges which substantially reduces the efficiency of vulnerability discovery. First, the input space is huge and current fuzzers are not aware of the input format, resulting in many mutated inputs are invalid. Second, they believe all bytes are equal and mutate them sequentially, wasting lots of time testing some uninteresting bytes. To this end, this paper proposes a field-aware mutation strategy that can find more vulnerabilities by generating fewer but more effective inputs. Specifically, we extract the field and type information of the seed input through the existing input specifications to ensure that the mutation is performed in field level instead of byte level and the optimal mutation strategy is selected. At the same time, the input fields are scored by code assessment based on vulnerability metrics, thus the more important fields (i.e., fields that are more likely to trigger the vulnerability) are prioritized to be mutated. We implemented a prototype tool, FaFuzzer, and evaluated it on two different datasets consisting of a variety of real-world applications. Experiments show that our field-aware strategy can find more vulnerabilities with fewer inputs than existing tools, while maintaining high code coverage. We found many unknown bugs in five widely used real-world applications and reported them to the relevant vendors.

关键词：

来源：评论

学校读者我要写书评

暂无评论

DSA-NIE: Double Static Attributes Based Node Importance Evaluation of Inter-Domain Routing System

DSA-NIE: Double Static Attributes Based Node Importance Eval...

引用

International Conference on Computer and Communications (ICCC)

作者： Huihu Zhu Han Qiu Junhu Zhu Qingxian Wang State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou China

ISBN: (数字)9781728147437

ISBN: (纸本)9781728147444

Assessing the importance of AS nodes is important for the protection of inter-domain routing system security. However, the existing literature on node importance evaluation methods based on static attributes are difficult to accurately characterize nodes. And which based on dynamic attributes have high time complexity. To address these problems, we analyze the relationship between static structural attributes and dynamic attributes after node failure. It is found that the degree can indirectly reflect the impact of the UPDATE packet propagation and the number of routing paths can reflect the impact caused by load redistribution. And then, we build static attribute characterization model of node failure effect. After that an evaluation method DSA-NIE is put forward. Given the two static attributes, DSA-NIE could effectively assessment of the importance of nodes. When compared with SD-KNI algorithm, the time complexity has been reduced to O(lmn). And the experiment result shows that the failure effect of the key nodes assessed by the DSA-NIE is 7.4% higher than the average, and up to 12.9% higher.

关键词： Routing Time complexity Kernel Power system faults Power system protection Security Load modeling

来源：评论

学校读者我要写书评

暂无评论

NIG-AP: a new method for automated penetration testing

引用

Frontiers of Information Technology & Electronic engineering 2019年第9期20卷 1277-1288页

作者： Tian-yang ZHOU Yi-chao ZANG Jun-hu ZHU Qing-xian WANG State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou 450001China China National Digital Switching System Engineering and Technological R&D Center Zhengzhou 450001China

Penetration testing offers strong advantages in the discovery of hidden vulnerabilities in a network and assessing network ***,it can be carried out by only security analysts,which costs considerable time and *** natural way to deal with the above problem is automated penetration testing,the essential part of which is automated attack *** previous studies have explored various ways to discover attack paths,all of them require perfect network information beforehand,which is contradictory to realistic penetration testing *** vividly mimic intruders to find all possible attack paths hidden in a network from the perspective of hackers,we propose a network information gain based automated attack planning(NIG-AP)algorithm to achieve autonomous attack path *** algorithm formalizes penetration testing as a Markov decision process and uses network information to obtain the reward,which guides an agent to choose the best response actions to discover hidden attack paths from the intruder’s *** results reveal that the proposed algorithm demonstrates substantial improvement in training time and effectiveness when mining attack paths.

关键词： Penetration testing Reinforcement learning Classical planning Partially observable Markov decision process

来源：评论

学校读者我要写书评

暂无评论

A biologically plausible audio-visual integration model for continual learning

arXiv

引用

arXiv 2020年

作者： Chen, Wenjie Du, Fengtong Wang, Ye Cao, Lihong State Key Laboratory of Media Convergence and Communication Communication University of China Beijing China Neuroscience and Intelligent Media Institute Communication University of China Beijing China State Key Laboratory of Mathematical Engineering and Advanced Computing Wuxi China

The problem of catastrophic forgetting has a history of more than 30 years and has not been completely solved yet. Since the human brain has natural ability to perform continual lifelong learning, learning from the brain may provide solutions to this problem. In this paper, we propose a novel biologically plausible audio-visual integration model (AVIM) based on the assumption that the integration of audio and visual perceptual information in the medial temporal lobe during learning is crucial to form concepts and make continual learning possible. Specifically, we use multi-compartment Hodgkin-Huxley neurons to build the model and adopt the calcium-based synaptic tagging and capture as the model’s learning rule. Furthermore, we define a new continual learning paradigm to simulate the possible continual learning process in the human brain. We then test our model under this new paradigm. Our experimental results show that the proposed AVIM can achieve state-of-the-art continual learning performance compared with other advanced methods such as OWM, iCaRL and GEM. Moreover, it can generate stable representations of objects during learning. These results support our assumption that concept formation is essential for continuous lifelong learning and suggest the proposed AVIM is a possible concept formation mechanism. Copyright © 2020, The Authors. All rights reserved.

关键词： Brain

来源：评论

学校读者我要写书评

暂无评论

Spinful Topological Phases in Acoustic Crystals with Projective PT Symmetry

引用

Physical Review Letters 2023年第2期130卷 026101-026101页

作者： Yan Meng Shuxin Lin Bin-jie Shi Bin Wei Linyun Yang Bei Yan Zhenxiao Zhu Xiang Xi Yin Wang Yong Ge Shou-qi Yuan Jingming Chen Gui-Geng Liu Hong-xiang Sun Hongsheng Chen Yihao Yang Zhen Gao Department of Electrical and Electronic Engineering Southern University of Science and Technology Shenzhen 518055 China Research Center of Fluid Machinery Engineering and Technology School of Physics and Electronics Engineering Jiangsu University Zhenjiang 212013 China SKLSM Institute of Semiconductors Chinese Academy of Sciences Beijing 100083 China Center for Excellence in Topological Quantum Computation University of Chinese Academy of Sciences Beijing 100190 China Division of Physics and Applied Physics School of Physical and Mathematical Sciences Nanyang Technological University 21 Nanyang Link Singapore 637371 Singapore State Key Laboratory of Acoustics Institute of Acoustics Chinese Academy of Sciences Beijing 100190 China Interdisciplinary Center for Quantum Information State Key Laboratory of Extreme Photonics and Instrumentation ZJU-Hangzhou Global Scientific and Technological Innovation Center Zhejiang University Hangzhou 310027 China International Joint Innovation Center The Electromagnetics Academy at Zhejiang University Zhejiang University Haining 314400 China Key Lab. of Advanced Micro/Nano Electronic Devices & Smart Systems of Zhejiang Jinhua Institute of Zhejiang University Zhejiang University Jinhua 321099 China Shaoxing Institute of Zhejiang University Zhejiang University Shaoxing 312000 China

For the classification of topological phases of matter, an important consideration is whether a system is spinless or spinful, as these two classes have distinct symmetry algebra that gives rise to fundamentally different topological phases. However, only recently has it been realized theoretically that in the presence of gauge symmetry, the algebraic structure of symmetries can be projectively represented, which possibly enables the switch between spinless and spinful topological phases. Here, we report the experimental demonstration of this idea by realizing spinful topological phases in “spinless” acoustic crystals with projective space-time inversion symmetry. In particular, we realize a one-dimensional topologically gapped phase characterized by a 2Z winding number, which features double-degenerate bands in the entire Brillouin zone and two pairs of degenerate topological boundary modes. Our Letter thus overcomes a fundamental constraint on topological phases by spin classes.

关键词： Acoustics Edge states Topological insulators 1-dimensional systems Finite-element method Gauge symmetries Projective symmetries Tight-binding model

来源：评论

学校读者我要写书评

暂无评论

Upper Security Bounds for Coherent-One-Way Quantum key Distribution

引用

Physical Review Letters 2020年第26期125卷 260510-260510页

作者： Javier González-Payo Róbert Trényi Weilong Wang Marcos Curty Escuela de Ingeniería de Telecomunicación Department of Signal Theory and Communications University of Vigo Vigo E-36310 Spain State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou Henan 450001 China Henan Key Laboratory of Network Cryptography Technology Zhengzhou Henan 450001 China

The performance of quantum key distribution (QKD) is severely limited by multiphoton pulses emitted by laser sources due to the photon-number splitting attack. Coherent-one-way (COW) QKD has been introduced as a promising solution to overcome this limitation, and thus extend the achievable distance of practical QKD. Indeed, thanks to its experimental simplicity, the COW protocol is already used in commercial applications. Here, we derive simple upper security bounds on its secret key rate, which demonstrate that it scales at most quadratically with the system’s transmittance, thus solving a long-standing problem. That is, in contrast to what has been claimed, this approach is inappropriate for long-distance QKD transmission. Remarkably, our findings imply that all implementations of the COW protocol performed so far are insecure.

关键词： Quantum communication Quantum cryptography

来源：评论

学校读者我要写书评

暂无评论

Factoring integers with sublinear resources on a superconducting quantum processor

arXiv

引用

arXiv 2022年

作者： Yan, Bao Tan, Ziqi Wei, Shijie Jiang, Haocong Wang, Weilong Wang, Hong Luo, Lan Duan, Qianheng Liu, Yiting Shi, Wenhao Fei, Yangyang Meng, Xiangdong Han, Yu Shan, Zheng Chen, Jiachen Zhu, Xuhao Zhang, Chuanyu Jin, Feitong Li, Hekang Song, Chao Wang, Zhen Ma, Zhi Wang, H. Long, Gui-Lu State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou450001 China State Key Laboratory of Low-Dimensional Quantum Physics Department of Physics Tsinghua University Beijing100084 China School of Physics ZJU-Hangzhou Global Scientific and Technological Innovation Center Interdisciplinary Center for Quantum Information Zhejiang Province Key Laboratory of Quantum Technology and Device Zhejiang University Hangzhou310000 China Beijing Academy of Quantum Information Sciences Beijing100193 China Institute of Information Technology Information Engineering University Zhengzhou450001 China Beijing National Research Center for Information Science and Technology School of Information Tsinghua University Beijing100084 China Frontier Science Center for Quantum Information Beijing100084 China

Shor’s algorithm has seriously challenged information security based on public key cryptosystems. However, to break the widely used RSA-2048 scheme, one needs millions of physical qubits, which is far beyond current technical capabilities. Here, we report a universal quantum algorithm for integer factorization by combining the classical lattice reduction with a quantum approximate optimization algorithm (QAOA). The number of qubits required is O(logN/loglogN), which is sublinear in the bit length of the integer N, making it the most qubit-saving factorization algorithm to date. We demonstrate the algorithm experimentally by factoring integers up to 48 bits with 10 superconducting qubits, the largest integer factored on a quantum device. We estimate that a quantum circuit with 372 physical qubits and a depth of thousands is necessary to challenge RSA-2048 using our algorithm. Our study shows great promise in expediting the application of current noisy quantum computers, and paves the way to factor large integers of realistic cryptographic significance. © 2022, CC BY-NC-ND.

关键词： Qubits

来源：评论

学校读者我要写书评

暂无评论

Deity: Finding Deep Rooted Bugs in JavaScript Engines

Deity: Finding Deep Rooted Bugs in JavaScript Engines

引用

International Conference on Communication Technology (ICCT)

作者： Hongyang Lin Junhu Zhu Jianshan Peng Dixia Zhu State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou Henan China

Fuzzing [1] is a well-known technique which was employed to provide unexpected or random data as input to JavaScript engines in hopes of finding a security vulnerability. For effective fuzzing, the input must be both syntactically correct and uncommonly randomized for exceptions such as crashes, failing built-in code assertions, or potential memory leaks. In this work, we introduced system Deity which managed to resolve the conflict with innovative AST(Abstract Syntax Tree) [2] based tree mutation and generating methods. It leverages a high-level structural representation of intermediate process JavaScript code. Our evaluation demonstrates the effectiveness of Deity. For large-scale JavaScript engines (njs, mjs, Javascript-Core, ChakraCore, Espruino, Jerryscript) fuzzing, our results significantly show that Deity can improve code coverage and finding more deep rooted bugs (i.e., 35 new bugs, among which we discovered 21 new vulnerabilities with 3 CVEs assigned) over Superion and CodeAlchemist.

关键词： Engines Fuzzing Computer bugs Grammar Syntactics Tools

来源：评论

学校读者我要写书评

暂无评论

Incorporating Multiple Features to Predict Bug Fixing Time with Neural Networks

Incorporating Multiple Features to Predict Bug Fixing Time w...

引用

International Conference on Software Maintenance (ICSM)

作者： Wei Yuan Yuan Xiong Hailong Sun Xudong Liu SKLSDE Lab School of Computer Science and Engineering Beihang University Beijing China Beijing Advanced Innovation Center for Big Data and Brain Computing Beijing China State Key Laboratory of Virtual Reality Technology and Systems Beihang University Beijing China SKLSDE Lab School of Software Beihang University Beijing China

Debugging is a well-known time-consuming task, and knowing how long it would take to resolve bugs is of great importance for allocating the limited resources in a software development team. However, it is challenging to predict bug fixing time since fixing bugs is subject to a plethora of uncertain factors such as types of bugs, program complexity and developers' abilities. Existing work mainly focuses on developers' activities in a bug lifecycle and ignores other important factors. In light of the limitations of existing work, we propose a novel approach to predicting the bug fixing time by incorporating a comprehensive set of relevant features. Specifically, we consider four types of features including developers' activities, developers' sentiments, semantics of bugs, and efforts caused by understanding and analyzing source code, and design particular neural networks to take advantage of these features and make them work efficiently. Experimental results on four real application datasets demonstrate that on the one hand, our approach outperforms the state-of-the-art by over 5% in accuracy and 7.3% in F1-score on average; on the other hand, each type of the features considered in our approach plays an important part in the prediction.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：