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

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

来源：评论

学校读者我要写书评

暂无评论

HRPDF: A Software-Based Heterogeneous Redundant Proactive Defense Framework for Programmable Logic Controller

引用

Journal of Computer Science & Technology 2021年第6期36卷 1307-1324页

作者： Ke Liu Jing-Yi Wang Qiang Wei Zhen-Yong Zhang Jun Sun Rong-Kuan Ma Rui-Long Deng State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou 450001China College of Control Science and Engineering Zhejiang UniversityHangzhou 310027China College of Computer Science and Technology Guizhou UniversityGuiyang 550025China School of Information Systems Singapore Management UniversitySingapore 689867Singapore

Programmable logic controllers(PLCs)play a critical role in many industrial control systems,yet face increasingly serious cyber *** this paper,we propose a novel PLC-compatible software-based defense mechanism,called Heterogeneous Redundant Proactive Defense Framework(HRPDF).We propose a heterogeneous PLC architecture in HRPDF,including multiple heterogeneous,equivalent,and synchronous runtimes,which can thwart multiple types of attacks against PLC without the need of external *** ensure the availability of PLC,we also design an inter-process communication algorithm that minimizes the overhead of *** implement a prototype system of HRPDF and test it in a real-world PLC and an OpenPLC-based device,*** results show that HRPDF can defend against multiple types of attacks with 10.22%additional CPU and 5.56%additional memory overhead,and about 0.6 ms additional time overhead.

关键词： industrial control system programmable logic controller proactive defense heterogeneous redundant architecture

来源：评论

学校读者我要写书评

暂无评论

KextFuzz: fuzzing macOS Kernel EXTensions on apple silicon via exploiting mitigations 23

KextFuzz: fuzzing macOS Kernel EXTensions on apple silicon v...

引用

Proceedings of the 32nd USENIX Conference on Security Symposium

作者： Tingting Yin Zicong Gao Zhenghang Xiao Zheyu Ma Min Zheng Chao Zhang Tsinghua University and Ant Group State Key Laboratory of Mathematical Engineering and Advanced Computing Hunan University Tsinghua University Ant Group Tsinghua University and Zhongguancun Laboratory

ISBN: (纸本)9781939133373

macOS drivers, i.e., Kernel EXTensions (kext), are attractive attack targets for adversaries. However, automatically discovering vulnerabilities in kexts is extremely challenging because kexts are mostly closed-source, and the latest macOS running on customized Apple Silicon has limited tool-chain support. Most existing static analysis and dynamic testing solutions cannot be applied to the latest macOS. In this paper, we present the first smart fuzzing solution KextFuzz to detect bugs in the latest macOS kexts running on Apple Silicon. Unlike existing driver fuzzing solutions, KextFuzz does not require source code, execution traces, hypervisors, or hardware features (e.g., coverage tracing) and thus is universal and practical. We note that macOS has deployed many mitigations, including pointer authentication, code signature, and userspace kernel layer wrappers, to thwart potential attacks. These mitigations can provide extra knowledge and resources for us to enable kernel fuzzing. KextFuzz exploits these mitigation schemes to instrument the binary for coverage tracking, test privileged kext code that is guarded and infrequently accessed, and infer the type and semantic information of the kext interfaces. KextFuzz has found 48 unique kernel bugs in the macOS kexts and got five CVEs. Some bugs could cause severe consequences like non-recoverable denial-of-service or damages.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Thermally Evaporated ZnSe for Efficient and Stable Regular/Inverted Perovskite Solar Cells by Enhanced Electron Extraction

引用

Energy & Environmental Materials 2023年第5期6卷 440-448页

作者： Xin Li Guibin Shen Xin Ren Ng Zhiyong Liu Yun Meng Yongwei Zhang Cheng Mu Zhi Gen Yu Fen Lin Solar Energy Research Institute of Singapore(SERIS) National University of SingaporeSingapore 117574Singapore Key Laboratory of Advanced Light Conversion Materials and Biophotonics Department of ChemistryRenmin University of ChinaBeijing 100872China State Key Laboratory of Digital Manufacturing Equipment and Technology Huazhong University of Science and TechnologyWuhan 430074China School of Materials Science and Engineering Nanyang Technological UniversitySingapore 639798Singapore Shandong Provincial Engineering and Technical Center of Light Manipulation and Shandong Provincial Key Laboratory of Optics and Photonic Devices School of Physics and ElectronicsShandong Normal UniversityJinan 250014China Institute of High Performance Computing A^(*)STARSingapore 138632Singapore

Electron transport layers(ETLs)are crucial for achieving efficient and stable planar perovskite solar cells(PSCs).Reports on versatile inorganic ETLs using a simple film fabrication method and applicability for both low-cost planar regular and inverted PSCs with excellent efficiencies(>22%)and high stability are very ***,we employ a novel inorganic ZnSe as ETL for both regular and inverted PSCs to improve the efficiency and stability using a simple thermal evaporation *** TiO_(2)-ZnSe-FAPbl_(3)heterojunction could be formed,resulting in an improved charge collection and a decreased carrier recombination further proved through theoretical *** optimized regular PSCs based on TiO_(2)/ZnSe have achieved 23.25%efficiency with negligible *** addition,the ZnSe ETL can also effectively replace the unstable bathocuproine(BCP)in inverted ***,the ZnSe-based inverted device realizes a champion efficiency of 22.54%.Moreover,the regular device comprising the TiO_(2)/ZnSe layers retains 92%of its initial PCE after 10:00 h under 1 Sun continuous illumination and the inverted device comprising the C_(60)/ZnSe layers maintains over 85%of its initial PCE at 85℃for 10:00 *** highlights one of the best results among universal ETLs in both regular and inverted perovskite photovoltaics.

关键词： high efficiency long-term stability planar regular/inverted perovskite solar cells thermal evaporation ZnSe electron transport layer

来源：评论

学校读者我要写书评

暂无评论

BA-Audit: Blockchain-Based Public Auditing for Aggregated Data Sharing in Edge-Assisted IoT 1

引用

4th EAI International Conference on Security and Privacy in New computing Environments, SPNCE 2021

作者： Liu, Mingxi Lu, Ning Yin, Jingli Cheng, Qingfeng Shi, Wenbo School of Computer Science and Engineering Northeastern University Shenyang China School of Computer Science and Technology Xidian University Xi’an China State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou China Strategic Support Force Information Engineering University Zhengzhou China

ISBN: (数字)9783030967918

ISBN: (纸本)9783030967901

With the massive placement of sensors leading to a surge in IoT data, it is wise for system administrators to use data aggregation strategies to collect and share data in edge-assisted IoT scenarios because traditional methods will exhaust bandwidth resources. Users need to verify the integrity of aggregated data to ensure security sharing. However, existing data auditing technologies are disabled because aggregate data has no metadata. This paper proposes a blockchain-based auditing scheme for aggregated data to achieve efficient and secure data sharing. First, we design a hash index balanced tree (HIBT) to reduce the computational expense of signature retrieval. Then, we propose an audit protocol to protect aggregated data immutability. Also, we provide security and performance analysis at the end of the paper. © 2022, ICST Institute for Computer Sciences, Social Informatics and Telecommunications engineering.

关键词： Blockchain

来源：评论

学校读者我要写书评

暂无评论

引用

4th International Conference on Computer Information Science and Artificial Intelligence, CISAI 2021

作者： Zhu, DI Pang, Jianmin Zhou, Xin Han, Wenjie Zhengzhou University Zhengzhou450002 China Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou450002 China

ISBN: (纸本)9781665406925

As the mainstream of smart contract research, most Ethereum smart contracts do not open their source code, and the bytecode of smart contracts has attracted the attention of researchers. Based on the similarity measurement of smart contract bytecode, a series of tasks such as vulnerability mining, contract upgrading and malicious contract detection can be carried out. This paper proposes a method to measure the similarity of smart contract bytecode. Firstly, the key opcode combination of smart contract is summarized. When traversing the CFG(control flow graph) constructed by decompilation of smart contract bytecode, the opcodes in the basic block are pattern matched, and the features between the basic blocks are extracted according to the in-out degree, so as to enhance the similarity measurement effect of contract semantics in vector space. The experimental results show that the proposed method is greatly improved compared with the baseline. © 2021 IEEE.

关键词： Smart contract

来源：评论

学校读者我要写书评

暂无评论

Taking Myopic Best Response Against the Hedge Algorithm 42

Taking Myopic Best Response Against the Hedge Algorithm

引用

42nd Chinese Control Conference, CCC 2023

作者： Guo, Xinxiang Mu, Yifen School of Mathematical Sciences University of Chinese Academy of Sciences Beijing China Academy of Mathematics and Systems Science The State Key Laboratory of Scientific and Engineering Computing Chinese Academy of Sciences Beijing China Academy of Mathematics and Systems Science The Key Laboratory of Systems and Control Chinese Academy of Sciences Beijing China

ISBN: (纸本)9789887581543

With the rapid development of artificial intelligence (AI), the game between the human and machine/AI becomes more and more common. The related theoretical analysis becomes significant and necessary, which however is still rare. This problem involves evolution analysis and optimal control of dynamic game systems driven by learning algorithms. In this paper, we consider a finitely repeated two-player zero-sum game. We study the dynamic evolution process of the game system, in which one player employs the Hedge algorithm and the other player takes the myopic best response. By the updating formula of the Hedge algorithm, we define a quantity called the state and construct the state Transition Triangle Graph (STTG). Then, we prove that the game system is periodic after o(T) stages. © 2023 Technical Committee on Control Theory, Chinese Association of Automation.

关键词： Artificial intelligence

来源：评论

学校读者我要写书评

暂无评论

HHL Analysis and Simulation Verification Based on Origin Quantum Platform 4

HHL Analysis and Simulation Verification Based on Origin Qua...

引用

2021 4th International Conference on Mechatronics and Computer Technology engineering, MCTE 2021

作者： Liu, Xiaonan Jing, Lina Han, Lin Gao, Jie State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou450001 China Henan Supercomputing Center Zhengzhou University Zhengzhou450001 China

Solving large-scale linear equations is of great significance in many engineering fields, such as weather forecasting and bioengineering. The classical computer solves the linear equations, no matter adopting the elimination method or Kramer's rule, the time required for solving is in a polynomial relationship with the scale of the equation system. With the advent of the era of big data, the integration of transistors is getting higher and higher. When the size of transistors is close to the order of electron diameter, quantum tunneling will occur, and Moore's Law will not be followed. Therefore, the traditional computing model will not be able to meet the demand. In this paper, through an in-depth study of the classic HHL algorithm, a small-scale quantum circuit model is proposed to solve a 2×2 linear equations, and the circuit diagram and programming are used to simulate and verify on the Origin Quantum Platform. The fidelity under different parameter values reaches more than 90%. For the case where the matrix to be solved is a sparse matrix, the quantum algorithm has an exponential speed improvement over the best known classical algorithm. © 2021 Institute of Physics Publishing. All rights reserved.

关键词： Linear equations

来源：评论

学校读者我要写书评

暂无评论

Image Electronic Evidence Screening Based on Improved SSD 6

Image Electronic Evidence Screening Based on Improved SSD

引用

6th IEEE International Conference on Intelligent computing and Signal Processing, ICSP 2021

作者： Liu, Yafei Jiang, Liehui Liu, Tieming Zhang, Youwei Zhengzhou University Zhongyuan Network Security Research Institute Zhengzhou China State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou China

ISBN: (纸本)9780738143705

With the development of information technology, electronic evidence plays an increasingly important role in the judicial trial. In Judicial Forensics, it is difficult to extract effective electronic evidence accurately and quickly from a large number of electronic data. Traditional means generally take artificial identification to collect, which takes a long time and is not efficient. Using SSD target detection and recognition algorithm instead of traditional means can effectively reduce the time of screening evidence, but the basic SSD neural network is prone to miss detection for small targets. To solve the above problems, an improved SSD-based image electronic evidence screening method is proposed. This method optimizes the SSD neural network adaptively, introduces the attention mechanism module in the shallow convolution layer of the network to improve the representation ability of the feature map, and fuses the image features obtained from different convolution layers with multi-scale features to increase the shallow feature information. The experimental data are used to test the improved algorithm and analyze the experimental results. It is found that compared with the original SSD neural network algorithm, the detection mean average precision of the improved algorithm is increased by 4.7%, reaching 84.3%, which shows the feasibility and effectiveness of the improved algorithm. © 2021 IEEE.

关键词： Multilayer neural networks

来源：评论

学校读者我要写书评

暂无评论

An enhanced key exchange protocol exhibiting key compromise impersonation attacks resistance in mobile commerce environment

引用

Science China(Information Sciences) 2021年第9期64卷 249-251页

作者： Ting CHEN Xinghua LI Qingfeng CHENG School of Cyber Engineering Xidian University State Key Laboratory of Mathematical Engineering and Advanced Computing

Dear editor,Numerous three-party authenticated key exchange(3 PAKE)protocols have been presented, which allow the establishment of a secure session by utilizing a session key shared between two clients with the assistance of a server trusted by both the clients via an unprotected network communication environment. The 3 PAKE protocols can be applied to various scenarios, including mobile commerce environment.

关键词： Information Systems and Communication Service

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：