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

2021 6th International Symposium on Advances in Electrical, Electronics and Computer engineering, ISAEECE 2021

作者： Zhang, Xieli Zhu, Yuefei Gu, Chunxiang Miao, Xuyang State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou Henan450001 China Henan Key Laboratory of Network Cryptography Technology Zhengzhou Henan450002 China

The verification of security protocol implementations is notoriously difficult and important. In this paper, combining with the model learning using Tamarin, a formal verification tool of protocol specification, a formal verification method for security protocol implementations is proposed. We extract state machine information from protocol implementations by model learning, and determine suspicious paths in the finite-state machines by cross-validation between different implementations of the same protocol;and then verify whether the suspicious paths violate the security properties of the protocol using Tamarin. It can be used to detect logical errors in protocol implementations and avoid relying on expert experience to make compliance rules from protocol documents when using model checking tools. The effectiveness of this method is demonstrated by the vulnerability detection of the typical ChangeCipherSpec in the TLS protocol implementation. The method proposed can help developers to develop more robust implementations of security protocols. © Published under licence by IOP Publishing Ltd.

关键词： Formal verification

来源：评论

学校读者我要写书评

暂无评论

Versatility of π-d Conjugated Coordination Nickel Metal-Organic Frameworks as Electrode Materials of Metal-Ion Batteries

引用

Energy Material Advances 2024年第1期5卷 120-132页

作者： Zaohong Zhang Kaihui Xu Jing Yang Zhuoyu Ji Yunchen Ge Zhicong Shi Yongwei Zhang Kai Zhang Chuan Wu Jia Hong Pan State Key Laboratory of Featured Metal Materials and Life-Cycle Safety for Composite Structures School of ResourcesEnvironments and MaterialsGuangxi UniversityNanning 530004China Low Carbon Energy Process Intensification Research Institute and MOE Key Laboratory of Resources and Environmental Systems Optimization North China Electric Power UniversityBeijing 102206China Institute of High Performance Computing Agency for ScienceTechnology and Research(A*STAR)Singapore 138632Singapore Guangxi Key Laboratory of Manufacturing Systems and Advanced Manufacturing Technology Guilin University of Electronic TechnologyGuilin 541004China School of Materials Science and Engineering Beijing Institute of TechnologyBeijing 100081China Beijing Key Laboratory of Environmental Science and Engineering School of Materials Science and EngineeringBeijing Institute of TechnologyBeijing 100081China Yangtze Delta Region Academy of Beijing Institute of Technology Jiaxing 314019China

Metal-organic frameworks have emerged as promising electrode materials for metal-ion batteries due to their superior structural ***,they face challenges such as poor reversibility and easy degradation during electrochemical redox ***,we report the synthesis ofπ-d conjugated coordination polymers through NH_(3)-vapor-assisted self-polymerization of NiCl_(2)·6H_(2)O with 1,2,4,5-benzenetetramine tetrahydrochloride(namely,Ni-BTA).The synthesized Ni-BTA exhibits an open lattice structure that enhances the capacity for metal-ion diffusion,ensuring prolonged electrochemical cycling ***,electrochemical characterizations reveal that Ni-BTA functions as a bifunctional material,serving as both cathode and anode materials for lithium-ion batteries(LIBs).After 1,000 cycles at 1.0 A g^(−1),the cathode and anode show high discharge capacities of 199.7 and 338.4 mAh g^(−1),***,symmetrical all-organic batteries constructed with Ni-BTA exhibit a high specific capacity of 30.6 mAh g-1 and an ultrastable coulombic efficiency of approximately≈100%after 6,000 cycles at 1.0 A g^(−1).Furthermore,Ni-BTA exhibits versatility as a robust cathode for aluminum ion batteries(AIBs),delivering a discharge capacity of 18.7 mAh g^(−1) after 10,000 cycles at 1.0 A g^(−1).These findings highlight the potential of Ni-BTA as a versatile and durable electrode materials for both LIBs and AIBs.

关键词： d conjugation electrochemical stability open lattice stru metal ion batteries electrochemical redox processesherewe lithium ion batteries coordination polymers electrode materials

来源：评论

学校读者我要写书评

暂无评论

Medical image registration and its application in retinal images:a review

引用

Visual computing for Industry,Biomedicine,and Art 2024年第1期7卷 142-164页

作者： Qiushi Nie Xiaoqing Zhang Yan Hu Mingdao Gong Jiang Liu Research Institute of Trustworthy Autonomous Systems and Department of Computer Science and Engineering Southern University of Science and TechnologyShenzhen 518055China Center for High Performance Computing and Shenzhen Key Laboratory of Intelligent Bioinformatics Shenzhen Institute of Advanced TechnologyChinese Academy of SciencesShenzhen 518055China Singapore Eye Research Institute Singapore 169856Singapore State Key Laboratory of Ophthalmology Optometry and Visual ScienceEye HospitalWenzhou Medical UniversityWenzhou 325027China

Medical image registration is vital for disease diagnosis and treatment with its ability to merge diverse informa-tion of images,which may be captured under different times,angles,or *** several surveys have reviewed the development of medical image registration,they have not systematically summarized the existing med-ical image registration *** this end,a comprehensive review of these methods is provided from traditional and deep-learning-based perspectives,aiming to help audiences quickly understand the development of medical image *** particular,we review recent advances in retinal image registration,which has not attracted much *** addition,current challenges in retinal image registration are discussed and insights and prospects for future research provided.

关键词： Computer-aided diagnosis Medical image registration Deep learning Generative model Transformer Retina

来源：评论

学校读者我要写书评

暂无评论

nnTaint: An Optimized Dynamic Taint Analysis Method Based on Neural Network

nnTaint: An Optimized Dynamic Taint Analysis Method Based on...

引用

International Conference on Information, Communication and Networks (ICICN)

作者： Yuming Zhu Weiyu Dong Cyber Security Department State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou China

ISBN: (纸本)9781665490832

As an important program analysis method, taint analysis technology has been widely used in the field of vulnerability detection. However, the existing dynamic taint analysis needs to design instruction-by-instruction taint propagation rules, which is expensive and has a high false positive rate for identifying the implicit control flow of the target program. In view of the above problems, this paper proposes a dynamic taint analysis method nnTaint based on neural network for the existing taint-guided fuzzing technology, which has the characteristics of low cost and low false positives. Comparing nnTaint with the existing taint analysis tools, the operation efficiency is improved by 10.9%-18.8% compared with the traditional taint analysis, which reduces the cost of the existing dynamic taint analysis technology to a certain extent. On the LAVA-M testing datasets and GNU binutils program, nnTaint improves the edge coverage by 4.7%-16% compared with the existing taint-guided fuzzing tools, effectively improving the implicit control flow recognition accuracy of the existing dynamic taint analysis. The results show that nnTaint can improve the efficiency and accuracy of existing dynamic taint analysis tools.

关键词： Costs Instruments Source coding Prototypes Optimization methods Artificial neural networks Fuzzing

来源：评论

学校读者我要写书评

暂无评论

A Survey on Event Tracking in Social Media Data Streams

引用

Big Data Mining and Analytics 2024年第1期7卷 217-243页

作者： Zixuan Han Leilei Shi Lu Liu Liang Jiang Jiawei Fang Fanyuan Lin Jinjuan Zhang John Panneerselvam Nick Antonopoulos School of Computer Science and Communication Engineering and Jiangsu Key Laboratory of Security Technology for Industrial Cyberspace Jiangsu UniversityZhenjiang 212013China School of Computing and Mathematical Sciences University of LeicesterLeicesterLE17RHUK Ocean College Jiangsu University of Science and TechnologyZhenjiang 212100China University Executive Office Edinburgh Napier UniversityEdinburghEH114BNUK

Social networks are inevitable parts of our daily life,where an unprecedented amount of complex data corresponding to a diverse range of applications are *** such,it is imperative to conduct research on social events and patterns from the perspectives of conventional sociology to optimize services that originate from social *** tracking in social networks finds various applications,such as network security and societal governance,which involves analyzing data generated by user groups on social networks in real ***,as deep learning techniques continue to advance and make important breakthroughs in various fields,researchers are using this technology to progressively optimize the effectiveness of Event Detection(ED)and tracking *** this regard,this paper presents an in-depth comprehensive review of the concept and methods involved in ED and tracking in social *** introduce mainstream event tracking methods,which involve three primary technical steps:ED,event propagation,and event ***,we introduce benchmark datasets and evaluation metrics for ED and tracking,which allow comparative analysis on the performance of mainstream ***,we present a comprehensive analysis of the main research findings and existing limitations in this field,as well as future research prospects and challenges.

关键词： Event Detection(ED) event propagation event evolution social networks

来源：评论

学校读者我要写书评

暂无评论

Distributed Truss Computation in Dynamic Graphs

引用

Tsinghua Science and Technology 2023年第5期28卷 873-887页

作者： Ziwei Mo Qi Luo Dongxiao Yu Hao Sheng Jiguo Yu Xiuzhen Cheng School of Computer Science and Technology Shandong UniversityQingdao 266200China State Key Laboratory of Software Development Environment School of Computer Science and Engineering and the Beijing Advanced Innovation Center for Big Data and Brain ComputingBeihang UniversityBeijing 100191China Big Data Institute Qilu University of Technology(Shandong Academy of Sciences)Jinan 250353China

Large-scale graphs usually exhibit global sparsity with local cohesiveness,and mining the representative cohesive subgraphs is a fundamental problem in graph *** k-truss is one of the most commonly studied cohesive subgraphs,in which each edge is formed in at least k 2 triangles.A critical issue in mining a k-truss lies in the computation of the trussness of each edge,which is the maximum value of k that an edge can be in a *** works mostly focus on truss computation in static graphs by sequential ***,the graphs are constantly changing dynamically in the real *** study distributed truss computation in dynamic graphs in this *** particular,we compute the trussness of edges based on the local nature of the k-truss in a synchronized node-centric distributed *** decomposing the trussness of edges by relying only on local topological information is possible with the proposed distributed decomposition ***,the distributed maintenance algorithm only needs to update a small amount of dynamic information to complete the *** experiments have been conducted to show the scalability and efficiency of the proposed algorithm.

关键词： distributed algorithm dynamic graph graph mining cohesive subgraph k-truss

来源：评论

学校读者我要写书评

暂无评论

CinfoFuzz: Fuzzing Method Based on Web Service Correlation Information of Embedded Devices

CinfoFuzz: Fuzzing Method Based on Web Service Correlation I...

引用

International Conference on Information, Communication and Networks (ICICN)

作者： Qi Feng Weiyu Dong Cyberspace Security Department State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou China

ISBN: (纸本)9781665490832

There are many vulnerable vulnerabilities in Web service of embedded devices. However, existing fuzzing methods cannot analyze such Web service efficiently or effectively. Aiming at the above problems, this paper proposes a fuzzing method based on Web service correlation information of embedded devices (Wsci-ed). Based on this method, this paper implements the fuzzing test prototype tool CinfoFuzz, which guides the fuzzing with Wsci-ed. Comparing the performance of CinfoFuzz with the fuzzing tools Boofuzz and Peach, the results show that CinfoFuzz has higher efficiency; in the vulnerability mining experiment of actual software, CinfoFuzz can trigger more vulnerabilities.

关键词： Performance evaluation Correlation Web services Prototypes Computer architecture Fuzzing Software

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

An Extraction Method of Network Security Situation Elements Based on Gradient Lifting Decision Tree

An Extraction Method of Network Security Situation Elements ...

引用

2021 International Conference on advanced computing and Endogenous Security, ICACES 2021

作者： Ma, Zhaorui Zhang, Shicheng Chang, Yiheng Zhou, Qinglei Hu, Xinhao Li, Xia State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou450052 China Zhengzhou University of Light Industry Zhengzhou450002 China

ISBN: (纸本)9781665424493

The primary purpose of acquiring network security situation elements is to detect and discover potential security threats from discrete and isolated data. In the complex network environment, the existing network security situation element acquisition technology has the problems of low extraction accuracy and low extraction efficiency. To solve these problems, a method for extracting network security situation elements based on Gradient Boosting Decision Tree (GBDT) is proposed. This method uses the attribute reduction function of rough set to preprocess the original data, which can effectively reduce redundancy. Furthermore, the initial parameters of GBDT are optimized by quantum particle swarm optimization (QPSO) algorithm to improve stability. Finally, the optimized GBDT classifier is used to classify and train with the reduced data set, and the accuracy of the final classifier is continuously improved by reducing the deviation via iterative optimization. Experiments demonstrate that the proposed algorithm achieves significant results and outperforms several state-of-the-art algorithms to the extraction of network security situation elements on the UNSW-NB15 dataset. © 2022 IEEE.

关键词： Extraction

来源：评论

学校读者我要写书评

暂无评论

A review of cryptographic algorithm recognition technology for binary code

A review of cryptographic algorithm recognition technology f...

引用

2021 International Conference on Computer Network Security and Software engineering, CNSSE 2021

作者： Zhao, Chenxia Kang, Fei Yang, Ju Shu, Hui Zhengzhou University Zhengzhou Henan450001 China State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou Henan450001 China

Aiming at the cryptographic algorithm that may be contained in the binary program, combined with existing research results, several cryptographic algorithm identification techniques are analyzed, including control flow graphs, data flow graphs, feature matching, selection of command statistical attributes, and semantic-based behavior analysis. The recognition effects of related technologies are discussed respectively. © Published under licence by IOP Publishing Ltd.

关键词： Graphic methods

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：