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

A Zero-Knowledge Set Membership Proof Scheme Based on the SM2 Algorithm 24

A Zero-Knowledge Set Membership Proof Scheme Based on the SM...

2024 Guangdong-Hong Kong-Macao Greater Bay Area International Conference on Digital Economy and Artificial Intelligence, DEAI 2024

作者： Zhou, Yin Dai, Bingrong Li, Chao School of Computer and Information Engineering Shanghai Polytechnic University My Street Shanghai201209 China Department of Computing Shanghai Development Center of Computer SoftWare Technology Shanghai201102 China

ISBN: (纸本)9798400717147

With the widespread application of blockchain technology, various range proof protocols based on zero-knowledge proofs have been proposed. However, existing range proof protocols suffer from issues such as high communication overhead and computational complexity. Therefore, this paper introduces an efficient and secure Zero-Knowledge Set Membership Proof Protocol (ZSMPP) to address these challenges. Building upon improvements to the proof structure of range proof protocols, the paper integrates the SM2 identity-based digital signature algorithm, effectively avoiding the time-consuming bilinear pairing operations and reducing computational costs. The proposed protocol offers an efficient and secure solution for the given problem. Experimental results demonstrate that, compared to protocols proposed by Bootle, Deng, Mao, and others, the protocol presented in this paper exhibits superior computational efficiency, providing an efficient and secure solution for data security and individual privacy protection in the digital age. © 2024 ACM.

关键词： Authentication

来源：评论

学校读者我要写书评

暂无评论

Desensitization Method of Image Data in the Internet of Vehicles Based on Instance Segmentation 2

Desensitization Method of Image Data in the Internet of Vehi...

引用

2nd International Conference on Algorithms, Microchips, and Network Applications, AMNA 2023

作者： Li, Shuang Zhou, Yue Zhang, Xin Zhang, Meng School of Computer Science Fudan University 200433 China Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai Development Center of Computer Software Technology 201112 China

ISBN: (纸本)9781510664791

With the continuous development of intelligent connected vehicle industry, cameras and other vehicle-mounted devices are widely used, so the amount of data collection is increasing. There is a large amount of sensitive information hidden in the image data generated by connected vehicles. Once the data leakage event occurs, it may cause very serious consequences. In order to improve the security of connected vehicle data and reduce the threat of sensitive information leakage in image data, this paper provides a desensitization process of connected vehicle image data, and desensitizes sensitive information based on instance segmentation technology. In this paper, a real road image dataset is collected, and realizes desensitization of the modified dataset based on proposed framework. © 2023 SPIE.

关键词： Vehicles

来源：评论

学校读者我要写书评

暂无评论

SP-E: Security Evaluation Framework of In-vehicle Infotainment System based on Threat Analyses and Penetration Tests 2

SP-E: Security Evaluation Framework of In-vehicle Infotainme...

引用

2022 2nd International Conference on Communication technology and Information technology, ICCTIT 2022

作者： Li, Shuang Zhang, Xin Zhou, Yue Zhang, Meng School of Computer Science Fudan University 200433 China Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai Development Center of Computer Software Technology 201112 China

With the increasing requirement of people, the functions of in-vehicle infotainment systems are becoming more and more abundant, and their security also affects the safety of vehicles. Therefore, it is more and more important to evaluate the security of the IVI system. This paper proposes a security evaluation framework for in-vehicle infotainment systems based on threat analyses and penetration tests. By constructing the data flow diagram of application scenarios, analyzing threats, combing the attack link diagram, combining white-box audit and black-box test, we use the characteristics of high efficiency of automatic tools and high accuracy of manual methods to set factor sets, and then the whole IVI system is evaluated by Analytic Hierarchy Process and Fuzzy Comprehensive Evaluation. © Published under licence by IOP Publishing Ltd.

关键词： Data flow analysis

来源：评论

学校读者我要写书评

暂无评论

Multi-scale Texture Network for Industrial Surface Defect Detection 1st

Multi-scale Texture Network for Industrial Surface Defect De...

引用

1st International Conference on Applied Intelligence, ICAI 2023

作者： Wang, Liqiong Huang, Yan Kong, Fanrong Hubei Tobacco Industry Co. Ltd. Hubei430040 China Shanghai Development Center of Computer Software Technology Shanghai201112 China

ISBN: (纸本)9789819708260

Automated surface defect detection is crucial for ensuring product quality in industrial settings. This paper presents a multi-scale texture network that addresses this challenge by effectively analyzing textures at various scales. The proposed network incorporates a "Multi-Scale Texture Feature Processing" module to generate multi-scale texture tokens for comprehensive surface analysis. Additionally, a "Multi-Head Feature Encoding" mechanism captures local details and global patterns, leading to improved accuracy. Besides, we introduce a multi-scale perceptual loss function that guides training by optimizing images at different scales while preserving perceptual similarity. Experimental results demonstrate the effectiveness of our approach, offering high accuracy in automated surface defect detection. © The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2024.

关键词： Surface analysis

来源：评论

学校读者我要写书评

暂无评论

Research on stream processing engine and benchmarking framework 19

Research on stream processing engine and benchmarking framew...

引用

19th IEEE International Conference on Networking, Sensing and Control, ICNSC 2022

作者： Le, Qionghua Chen, Mingang Chen, Wenjie Shanghai Development Center of Computer Software Technology Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai China

ISBN: (纸本)9781665472432

Stream computing engine is an important part of big data system, and benchmarking is one of the main means to measure the engine's performance. In this paper, we compare the differences between two engines, Spark Streaming and Flink, in stream processing technologies. Then the open source benchmarking frameworks supporting stream processing and their respective characteristics are studied, and the HiBench testing framework is selected to test the two stream processing engines. The test results show that Flink is better than Spark Streaming in terms of performance in shuffle, stateful computation and windowed computation. © 2022 IEEE.

关键词： Benchmarking

来源：评论

学校读者我要写书评

暂无评论

Object Oriented BDD and Executable Human-Language Module Specification 26

Object Oriented BDD and Executable Human-Language Module Spe...

引用

26th ACIS International Winter Conference on software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD-Winter 2023

作者： Lee, Eric Gong, Jiayu Cao, Qinghong Intelligent Technology Co. Ltd. Shanghai China Shanghai Key Laboratory of Computer Software Testing & Evaluation Shanghai Development Center of Computer Software Technology Shanghai China System Operation Department Shanghai Stock Exchange Shanghai China

ISBN: (纸本)9798350345865

This paper presents an approach to software development which uses a generative AI Model as compiler to translate human language requirements into high-level programming language. We propose an executable human-language module specification and a tool to support it, which has been used successfully for human-language UI test automation. We anticipate further development of this approach to enable complex software to be programmed in human language, allowing for more intuitive and efficient software development. © 2023 IEEE.

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

Honeytoken-Detector: A Symbolic Execution-Based Honeypot Token Detection Tool 26

Honeytoken-Detector: A Symbolic Execution-Based Honeypot Tok...

引用

26th ACIS International Winter Conference on software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD-Winter 2023

作者： Liu, Yi Cai, Lizhi School of Information Science and Engineering East China University of Science and Technology Shanghai China Shanghai Development Center of Computer Software Technology Shanghai Key Laboratory of Computer Testing & Evaluating Shanghai China

ISBN: (纸本)9798350345865

Smart contracts have emerged as one of the most successful applications in the blockchain domain, playing a significant role in various blockchain ecosystems. Inspired by smart contracts, a multitude of cryptographic assets have been created. To standardize these assets, industry standards such as ERC20 (Ethereum Request for Comments 20), ERC721, and ERC1155 have been proposed. In recent years, smart contracts have frequently fallen victim to attacks. Honeypot contracts, disguised as ERC20-compliant tokens, are widely prevalent on the blockchain, enticing victims to make purchases. Such malicious smart contracts exhibiting deceptive behavior are collectively referred to as honeypot tokens. This paper focuses on ERC20-compliant smart contracts and defines six common types of honeypot issues. Building upon advancements in smart contract vulnerability detection, we propose an enhanced symbolic execution-based detection tool called Honeytoken-Detector. We conduct experiments on both contracts known to have similar issues and actual token contracts from the real world. The experimental results demonstrate the effectiveness of our tool in identifying vulnerabilities. © 2023 IEEE.

关键词： Smart contract

来源：评论

学校读者我要写书评

暂无评论

3DGCformer: 3-Dimensional Graph Convolutional transformer for multi-step origin–destination matrix forecasting

引用

Applied Intelligence 2025年第6期55卷 1-18页

作者： Huang, Yiou Deng, Hao Zhao, Shengjie School of Computer Science and Technology Tongji University Shanghai China Key Laboratory of Embedded System and Service Computing Shanghai China Engineering Research Center of Key Software Technologies for Smart City Perception and Planning Ministry of Education Shanghai China

Forecasting Human mobility is of great significance in the simulation and control of infectious diseases like COVID-19. To get a clear picture of potential future outbreaks, it is necessary to forecast multi-step Origin–Destination (OD) matrices for a relatively long period in the future. However, multi-step Origin–Destination Matrix Forecasting (ODMF) is a non-trivial problem. First, previous ODMF models only forecast the OD matrix for the next time-step, and they cannot perform well on long-term multi-step forecasts due to error accumulation. Second, many ODMF methods capture spatial and temporal dependencies with separate modules, which is insufficient to model spatio-temporal correlations in the time-varying OD matrix sequence. To address the challenges in multi-step ODMF, we propose 3-Dimensional Graph Convolutional Transformer (3DGCformer). As an enhancement of the original 3DGCN, we propose a novel Origin–Destination Feature Propagation (ODFP) rule between 3DGCN layers and integrate 2 3DGCNs with different spatio-temporal graphs and corresponding feature propagation rules to model the formation of OD flows in a more comprehensive way. For multi-step forecasts, 3DGCformer uses Transformer to capture long-term global temporal dependency, and adapt its decoder using labeled tokens to avoid error accumulation and improve time efficiency. To avoid information loss as the number of regions increases, we propose a patch embedding approach to convert data from 3DGCNs to the Transformer module. We perform extensive experiments on 4 real-world human mobility datasets, and the results show that our proposed model outperforms the state-of-the-art methods. © The Author(s), under exclusive licence to Springer Science+Business Media, LLC, part of Springer Nature 2025.

关键词： Convolution

来源：评论

学校读者我要写书评

暂无评论

An Evaluation System for Large Language Models based on Open-Ended Questions

An Evaluation System for Large Language Models based on Open...

引用

IEEE International Conference on Cyber Security and Cloud Computing (CSCloud)

作者： Zhiyuan Cao Zeyu Ma Mingang Chen Computer and Information Engineering College Shanghai Polytechnic University Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai Development Center of Computer software Technology Shanghai China Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai Development Center of Computer software Technology Mathematical and Science College Shanghai Normal University Shanghai China Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai Development Center of Computer software Technology Shanghai China

ISBN: (数字)9798350376982

ISBN: (纸本)9798350376999

We designed a large language model evaluation system based on open-ended questions. The system accomplished multidimensional evaluation of LLMs using open-ended questions, and it presented evaluation results with evaluation reports. Currently, the evaluation of large-scale language models often exists with two prominent limitations: (1) The evaluation methods are often single-minded, resulting in less credible results. (2) Most evaluations are based on datasets with closed-ended questions, treating generative large language models as discriminative models, which fails to adequately reflect the high output flexibility characteristic of these models. For these two limitations, we proposed an evaluation system for LLMs based on open-ended questions. Our experiments on the adapted open-source datasets demonstrated the effectiveness of this system. The code of the system was released on https://***/JerryMazeyu/GreatLibrarian.

关键词： Adaptation models Cloud computing Accuracy Codes Large language models System performance Reflection

来源：评论

学校读者我要写书评

暂无评论

Automated Functionality and Security Evaluation of Large Language Models

Automated Functionality and Security Evaluation of Large Lan...

引用

IEEE International Conference on Smart Cloud (SmartCloud)

作者： Minjie Ding Ying Shen Mingang Chen Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai Development Center of Computer Software Technology Shanghai China

ISBN: (数字)9798350389500

ISBN: (纸本)9798350389517

Natural language processing (NLP) is rapidly developing. A series of Large Language Models (LLMs) have emerged, represented by ChatGPT, which have made significant breakthroughs in natural language understanding and generation, enabling fluent dialogue with humans, understanding human intentions, and completing complex tasks. However, in addition to the fairness and toxicity of traditional language models, some new problems, including hallucination, have also emerged in LLMs, making them hard to use. Evaluating LLMs manually is challenging due to subjectivity and inefficiency. In this paper, we focused on the fuzzy matching, toxicity detection, and hallucination detection in the evaluation of LLMs automatically, and fine-tune the Mixtral-8x7B Model, which can be deployed in private cloud environment, and prove the effectiveness of our method through experiments.

关键词： Cloud computing Toxicology Accuracy Graphics processing units Chatbots Security Task analysis

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：