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

Lightweight and Roubust Key Agreement for Securing IIoT-Driven Flexible Manufacturing systems

IEEE Internet of Things Journal 2025年第11期12卷 17197-17209页

作者： Hammad, Muhammad Badshah, Akhtar Almeer, Mohammed A. Waqas, Muhammad Song, Houbing Chen, Sheng Han, Zhu GIK Institute of Engineering Sciences and Technology Faculty of Mechanical Engineering Topi23640 Pakistan University of Malakand Department of Software Engineering Dir Lower18800 Pakistan University of Bahrain Computer Engineering Department College of Information Technology 32038 Bahrain University of Greenwich Faculty of Engineering and Science Centre for Sustainable Cybersecurity United Kingdom Edith Cowan University School of Engineering PerthWA6027 Australia Department of Information Systems BaltimoreMD United States University of Southampton School of Electronics and Computer Science SouthamptonSO17 1BJ United Kingdom University of Houston Department of Electrical and Computer Engineering HoustonTX77004 United States Kyung Hee University Department of Computer Science and Engineering Seoul446-701 Korea Republic of

The ever-evolving Internet of Things (IoT) has ushered in a new era of intelligent manufacturing across multiple industries. However, the security and privacy of real-time data transmitted over the public channel of the industrial IoT (IIoT) remain formidable challenges. Existing lightweight protocols often omit one or more critical security features, such as anonymity and untraceability, and are susceptible to threats like desynchronization attacks. Additionally, they struggle to achieve an optimal balance between robust security and performance efficiency. To bridge these gaps, we introduce a new lightweight key agreement security scheme that guarantees secure access to the IIoT-enabled flexible manufacturing system (FMS). The strength of our scheme lies in its utilization of the authenticated encryption with associative data (AEAD) primitive, AEGIS, along with hash functions and physical unclonable functions, which secure the IIoT ecosystem. Additionally, our scheme offers flexibility in the form of the addition of new machines, password updates, and revocation in cases of theft or loss. A comprehensive security analysis demonstrates the efficacy of the proposed scheme in thwarting various attacks. The formal analysis, based on the Real-Or-Random (RoR) model, ensures session key indistinguishability, while the informal analysis highlights its resilience against known attacks. The comparative assessment demonstrate that the proposed scheme consistently outperforms the benchmark schemes across multiple dimensions, including security and functionality features, computational and communication overheads, and runtime efficiency. Specifically, the proposed scheme achieves peak performance enhancements of 77.55%, 44.73%, and 69.6% in computational overhead, runtime overhead, and communication overhead, respectively, underscoring its substantial performance advantages. © 2025 IEEE.

关键词： Flexible manufacturing systems

来源：评论

学校读者我要写书评

暂无评论

Image Hiding with High Robustness Based on Dynamic Region Attention in the Wavelet Domain

引用

computer Modeling in engineering & sciences 2024年第10期141卷 847-869页

作者： Zengxiang Li Yongchong Wu Alanoud Al Mazroa Donghua Jiang Jianhua Wu Xishun Zhu Department of Information Engineering Gongqing CollegeNanchang UniversityJiujiang332020China School of Information Engineering Gongqing Institute of Science and TechnologyJiujiang332020China Department of Information Systems College of Computer and Information SciencesPrincess Nourah bint Abdulrahman UniversityRiyadh11671Saudi Arabia School of Computer Science and Engineering Sun Yat-sen UniversityGuangzhou511400China School of Information Engineering Nanchang UniversityNanchang330031China School of Mathematics and Statistics Hainan Normal UniversityHaikou571158China

Hidden capacity,concealment,security,and robustness are essential indicators of hiding ***,hiding algorithms tend to focus on algorithmic capacity,concealment,and security but often overlook the robustness of the *** practical applications,the container can suffer from damage caused by noise,cropping,and other attacks during transmission,resulting in challenging or even impossible complete recovery of the secret *** image hiding algorithm based on dynamic region attention in the multi-scale wavelet domain is proposed to address this issue and enhance the robustness of hiding *** this proposed algorithm,a secret image of size 256×256 is first decomposed using an eight-level Haar wavelet *** wavelet transform generates one coefficient in the approximation component and twenty-four detail bands,which are then embedded into the carrier image via a hiding *** the recovery process,the container image is divided into four non-overlapping parts,each employed to reconstruct a low-resolution secret *** lowresolution secret images are combined using densemodules to obtain a high-quality secret *** experimental results showed that even under destructive attacks on the container image,the proposed algorithm is successful in recovering a high-quality secret image,indicating that the algorithm exhibits a high degree of robustness against various *** proposed algorithm effectively addresses the robustness issue by incorporating both spatial and channel attention mechanisms in the multi-scale wavelet domain,making it suitable for practical *** conclusion,the image hiding algorithm introduced in this study offers significant improvements in robustness compared to existing *** ability to recover high-quality secret images even in the presence of destructive attacksmakes it an attractive option for various *** research and experimentation can explore the algorith

关键词： Image hiding robustness wavelet transform dynamic region attention

来源：评论

学校读者我要写书评

暂无评论

Recent Developments in Authentication Schemes Used in Machine-Type Communication Devices in Machine-to-Machine Communication: Issues and Challenges

引用

computers, Materials & Continua 2024年第4期79卷 93-115页

作者： Shafi Ullah Sibghat Ullah Bazai Mohammad Imran Qazi Mudassar Ilyas Abid Mehmood Muhammad Asim Saleem Muhmmad Aasim Rafique Arsalan Haider Ilyas Khan Sajid Iqbal Yonis Gulzar Kauser Hameed Department of Computer Engineering Balochistan University of Information TechnologyEngineering and Management SciencesQuetta87300Pakistan Department of Information Technology Balochistan University of Information TechnologyEngineeringand Management SciencesQuetta87300Pakistan Department of Information Systems College of Computer Sciences and Information TechnologyKing Faisal UniversityHofuf in Al-Ahsa31982Saudi Arabia Department of Management Information Systems College of Business AdministrationKing Faisal UniversityHofuf in Al-Ahsa31982Saudi Arabia Department of Software Engineering College of ComputingRiphah International UniversityFaisalabad44000Pakistan Department of Electrical Engineering Balochistan University of Information Technology Engineeringand Management SciencesQuetta87300Pakistan Department of Mathematics College of Science Al-ZulfiMajmaah UniversityAl-Majmaah11952Saudi Arabia

Machine-to-machine (M2M) communication plays a fundamental role in autonomous IoT (Internet of Things)-based infrastructure, a vital part of the fourth industrial revolution. Machine-type communication devices(MTCDs) regularly share extensive data without human intervention while making all types of decisions. Thesedecisions may involve controlling sensitive ventilation systems maintaining uniform temperature, live heartbeatmonitoring, and several different alert systems. Many of these devices simultaneously share data to form anautomated system. The data shared between machine-type communication devices (MTCDs) is prone to risk dueto limited computational power, internal memory, and energy capacity. Therefore, securing the data and devicesbecomes challenging due to factors such as dynamic operational environments, remoteness, harsh conditions,and areas where human physical access is difficult. One of the crucial parts of securing MTCDs and data isauthentication, where each devicemust be verified before data transmission. SeveralM2Mauthentication schemeshave been proposed in the literature, however, the literature lacks a comprehensive overview of current M2Mauthentication techniques and the challenges associated with them. To utilize a suitable authentication schemefor specific scenarios, it is important to understand the challenges associated with it. Therefore, this article fillsthis gap by reviewing the state-of-the-art research on authentication schemes in MTCDs specifically concerningapplication categories, security provisions, and performance efficiency.

关键词： Authentication cyber security internet of things machine-type communication devices machine-to-machine communication

来源：评论

学校读者我要写书评

暂无评论

IoT-Supported Indoor Navigation System Using Machine Learning Technique 12th

IoT-Supported Indoor Navigation System Using Machine Learnin...

引用

12th International Conference on Recent Trends in Computing, ICRTC 2024

作者： Christy Jeba Malar, A. Deva Priya, M. Bhuvana, S. Vidhya, K. Sudharsan, S. Suhita, S. Department of Information Technology Sri Krishna College of Technology Tamilnadu Coimbatore India Department of Computer Science and Engineering Karpagam College of Engineering Tamilnadu Coimbatore India School of Computer Science Engineering and Information Systems Vellore Institute of Technology Vellore India

ISBN: (纸本)9789819788354

Indoor Navigation System (INS) supports seamless movement of objects within confined spaces in smart environments. In this paper, a novel INS that relies on ESP32-based Received Signal Strength Indication (RSSI) measurements for precise estimation of distance using K-Nearest Neighbour (K-NN) algorithm is proposed. The system architecture includes three ESP32 nodes functioning as clients, and ESP8266 combined with ESP32 acting as a server. To overcome the limitations of Global Positioning System (GPS) within an indoor environment, Machine Learning (ML)-based prediction models are employed to estimate distance between nodes and predict user locations along with the distance between source and destination. This approach not only addresses the challenges posed by GPS in indoor settings, but also shows the potential of ESP32 devices and predictive algorithms for enhancing navigation accuracy and reliability. © The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2025.

关键词： Global positioning system

来源：评论

学校读者我要写书评

暂无评论

Novel Approach for Enhancing Mental Well-Being Through Machine Learning Techniques 5

Novel Approach for Enhancing Mental Well-Being Through Machi...

引用

5th International Conference on Advancements in Computing, ICAC 2023

作者： Roshani, O.V.D.E. Ayuwardhana, H.M.K.J.J. Rodrigo, P.H.M.S. Hewageegana, R.U. Fernando, Harinda De Silva, Dilshan I. Sri Lanka Institute of Information Technology Faculty of Computing Department of Computer Science and Software Engineering Malabe Sri Lanka Sri Lanka Institute of Information Technology Faculty of Computing Department of Computer Systems Engineering Malabe Sri Lanka

ISBN: (纸本)9798350358131

Frequently, individuals undergo specific episodes of mental health challenges throughout their lifetime. But the COVID pandemic has triggered a surge in mental health disorders arising from isolation, monotonous routines, demanding workloads, financial disparities, and disruptions to daily schedules. Furthermore, the global pandemic has induced constant anxiety and stress. Beyond the pandemic, the competition and intense pressure of the modern world impact mental health. Access to advanced mental health solutions and the necessary familiarity remain limited for most of the population. Given the integration of technology into daily life, diverse remedies, including mobile and web applications, have emerged to tackle the escalating challenge of mental health disorders. This study proposes an accessible and cost-effective approach that employs machine learning to detect stress levels and discern user emotions from journal entries and facial expressions while integrating self-journaling, video recommendations, and visual content generation to stimulate positive emotions and relieve stress. © 2023 IEEE.

关键词： Cost effectiveness

来源：评论

学校读者我要写书评

暂无评论

Status Quo of Hate Content Research using Bibliometric Analysis

Status Quo of Hate Content Research using Bibliometric Analy...

引用

2024 International Conference on Cybernation and Computation, CYBERCOM 2024

作者： Chetty, Naganna Alathur, Sreejith Pai, Vinayak NMAM Institute of Technology Nitte University Department of Information Science & Engineering Mangaluru India Indian Institute of Management Department of Information Systems Kozhikode India Manipal Institute of Technology MAHE Department of Computer Science & Engineering Manipal India

ISBN: (纸本)9798331542344

Expression of hate content through social media is prevalent and a global issue. The objective of this paper is to conduct analysis on hate content research and suggest policies to combat online hate content. The Scopus database containing published articles is queried with a set of keywords and filtering techniques to obtain relevant documents on hate content research. Different bibliometric analysis approaches such as bibliometric coupling, co-occurrence of keywords and citation analysis of documents are applied on selected dataset. Bibliometric analysis resulted with major sources of hate content research, most associated keywords with hate content and top cited articles. From the year 2015 onwards, there is a rapid increase in hate content research. Currently, different social media and its content are the most associated keywords with hate content. © 2024 IEEE.

关键词： bibliometric analysis bibliometric coupling governance hate content Social media violent

来源：评论

学校读者我要写书评

暂无评论

Identification of Age, Plumage, and Sex of Bird Species Using Pre-Trained Deep Convolutional Neural Network 2

Identification of Age, Plumage, and Sex of Bird Species Usin...

引用

2nd IEEE International Conference on Intelligent and Innovative Technologies in Computing, Electrical and Electronics, ICIITCEE 2024

作者： Banerjee, Sourik Gupta, Richa Pandian, J. Arun Saranya, S. Mariappan, L. Thanga Vellore Institute of Technology Department of Computer Application Vellore India Vellore Institute of Technology School of Computer Science Engineering and Information Systems Vellore India K.Ramakrishnan College of Engineering Department of Computer Science and Engineering Tiruchirappalli India

ISBN: (纸本)9798350306415

The research aims to identify the age, plumage, and sex of bird species using standard Pre-trained Deep Convolutional Neural Networks (Pre-DCNNs). The proposed work involves collecting various bird images, which are then used for training and validating the pre-trained DCNNs. The dataset contains 200 images of four bird species. The dataset was split into twelve labeled classes of images based on age, plumage, and sex. The standard image manipulation techniques such as cropping, flipping, mirroring, rotating, shearing, and skewing were used as image augmentation techniques to increase the size of the proposed dataset. The proposed data is preprocessed, including feature extraction and data cleaning, to ensure the performance of the Pre-Trained DCNNs. The Pre-Trained DCNNs were trained on 90% of the dataset to recognize patterns in bird images. The accuracy of the pre-trained DCNNs was evaluated using metrics such as classification accuracy. The research acknowledged the advantages and limitations of the standard Pre-Trained DCNNs on the age, plumage, and sex of birds using the images. Also, it compares the performance of the Pre-Trained DCNNs on the proposed bird species image dataset. © 2024 IEEE.

关键词： Bird Plumage Identification Bird Species Identification Deep Convolutional Neural Networks Image Augmentation Pre-trained networks

来源：评论

学校读者我要写书评

暂无评论

WIP: An Engaging Undergraduate Intro to Model Checking in software engineering Using TLA+ 54

WIP: An Engaging Undergraduate Intro to Model Checking in So...

引用

54th IEEE Frontiers in Education Conference, FIE 2024

作者： Läufer, Konstantin Mertin, Gunda Thiruvathukal, George K. Loyola University Software and Systems Laboratory Department of Computer Science Chicago United States Institute for Software Engineering and Programming Languages University of Lübeck Germany

ISBN: (纸本)9798350351507

Background: In this Innovative Practice Work in Progress, we present our initial efforts to integrate formal methods, with a focus on model-checking specifications written in Temporal Logic of Actions (TLA+), into computer science education, targeting undergraduate juniors/seniors and graduate students. Many safety-critical systems and services crucially depend on correct and reliable behavior. Formal methods can play a key role in ensuring correct and safe system behavior, yet remain underutilized in educational and industry contexts. Aims: We aim to (1) qualitatively assess the state of formal methods in computer science programs, (2) construct level-appropriate examples that could be included midway into one's undergraduate studies, (3) demonstrate how to address successive 'failuresy' through progressively stringent safety and liveness requirements, and (4) establish an ongoing framework for assessing interest and relevance among students. Methods: We detail our pedagogical strategy for embedding TLA+ into an intermediate course on formal methods at our institution. After starting with a refresher on mathematical logic, students specify the rules of simple puzzles in TLA+ and use its included model checker (known as TLC) to find a solution. We gradually escalate to more complex, dynamic, event-driven systems, such as the control logic of a microwave oven, where students will study safety and liveness requirements. We subsequently discuss explicit concurrency, along with thread safety and deadlock avoidance, by modeling bounded counters and buffers. Results: Our initial findings suggest that through careful curricular design and choice of examples and tools, it is possible to inspire and cultivate a new generation of software engineers proficient in formal methods. Conclusions: Our initial efforts suggest that 84% of our students had a positive experience in our formal methods course. Our future plans include a longitudinal analysis within our own institution and

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

A Transmission and Transformation Fault Detection Algorithm Based on Improved YOLOv5

引用

computers, Materials & Continua 2023年第9期76卷 2997-3011页

作者： Xinliang Tang Xiaotong Ru Jingfang Su Gabriel Adonis School of Information Science and Engineering Hebei University of Science and TechnologyShijiazhuang050000China Department of Computer Science and Information Systems Birkbeck Institute for Data AnalyticsLondonB100ABWC1E 7HXUK

On the transmission line,the invasion of foreign objects such as kites,plastic bags,and balloons and the damage to electronic components are common transmission line *** these faults is of great significance for the safe operation of power ***,a YOLOv5 target detection method based on a deep convolution neural network is *** this paper,Mobilenetv2 is used to replace Cross Stage Partial(CSP)-Darknet53 as the *** structure uses depth-wise separable convolution to reduce the amount of calculation and parameters;improve the detection *** the same time,to compensate for the detection accuracy,the Squeeze-and-Excitation Networks(SENet)attention model is fused into the algorithm framework and a new detection scale suitable for small targets is added to improve the significance of the fault target area in the *** pictures of foreign matters such as kites,plastic bags,balloons,and insulator defects of transmission lines,and sort theminto a data *** experimental results on datasets show that themean Accuracy Precision(mAP)and recall rate of the algorithm can reach 92.1%and 92.4%,*** the same time,by comparison,the detection accuracy of the proposed algorithm is higher than that of other methods.

关键词： Transmission line YOLOv5 multi-scale integration SENet

来源：评论

学校读者我要写书评

暂无评论

Collaborative learning-based inter-dependent task dispatching and co-location in an integrated edge computing system

引用

Digital Communications and Networks 2024年第6期10卷 1837-1850页

作者： Uchechukwu Awada Jiankang Zhang Sheng Chen Shuangzhi Li Shouyi Yang School of Software Henan Institute of Science and TechnologyXinxiang 453003China School of Electrical and Information Engineering Zhengzhou UniversityZhengzhou 450001China Department of Computing and Informatics Bournemouth UniversityPoole BH125BBUK School of Electronics and Computer Science University of SouthamptonSouthampton SO171BJUK Faculty of Information Science and Engineering Ocean University of ChinaQingdao 266100China

Recently,several edge deployment types,such as on-premise edge clusters,Unmanned Aerial Vehicles(UAV)-attached edge devices,telecommunication base stations installed with edge clusters,etc.,are being deployed to enable faster response time for latency-sensitive *** fundamental problem is where and how to offload and schedule multi-dependent tasks so as to minimize their collective execution time and to achieve high resource *** approaches randomly dispatch tasks naively to available edge nodes without considering the resource demands of tasks,inter-dependencies of tasks and edge resource *** approaches can result in the longer waiting time for tasks due to insufficient resource availability or dependency support,as well as provider ***,we present Edge Colla,which is based on the integration of edge resources running across multi-edge *** Colla leverages learning techniques to intelligently dispatch multidependent tasks,and a variant bin-packing optimization method to co-locate these tasks firmly on available nodes to optimally utilize *** experiments on real-world datasets from Alibaba on task dependencies show that our approach can achieve optimal performance than the baseline schemes.

关键词： Edge computing Collaborative learning Resource utilization Execution time Edge federation Gang scheduling

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：