Search Results - "Computer network protocols"

It Takes a Village: Bridging the Gaps between Current and Formal Specifications for Protocols.

Authors: Basin, David Foster, Nate McMillan, Kenneth L. et al.

Source: Communications of the ACM. Aug2025, Vol. 68 Issue 8, p50-61. 12p.

Subject Terms: *COMPUTER network protocols, *INTERNET protocols, *TECHNICAL specifications, FORMAL methods (Computer science)

Company/Entity: IEEE Standards Board , INTERNET Engineering Task Force (Organization)

PSPSP: A tool for automated verification of stateful protocols in Isabelle/HOL.

Authors: Hess, Andreas Viktor Mödersheim, Sebastian Alexander Brucker, Achim D et al.

Source: Journal of Computer Security. Nov2025, Vol. 33 Issue 6, p425-469. 45p.

Subject Terms: *TRANSACTION systems (Computer systems), *COMPUTER network protocols, *ALGORITHMS, RESEARCH protocols

Unveiling the Covert Vulnerabilities in Multi-Factor Authentication Protocols: A Systematic Review and Security Analysis.

Authors: Ang, Kok Wee Chekole, Eyasu Getahun Zhou, Jianying

Source: ACM Computing Surveys. Nov2025, Vol. 57 Issue 11, p1-37. 37p.

Subject Terms: *CYBER physical systems, *ARTIFICIAL intelligence, *PERSONAL identification numbers, KEY agreement protocols (Computer network protocols), INTERNET of medical things, MULTI-factor authentication

Blockchain Agnostic Protocols: An Analysis of the State of the Art.

Authors: Bigiotti, Alessandro Mostarda, Leonardo Navarra, Alfredo et al.

Source: ACM Computing Surveys. Feb2026, Vol. 58 Issue 2, p1-36. 36p.

Subject Terms: *BLOCKCHAINS, *COMPUTER network protocols, *TECHNOLOGICAL innovations

多网关无线医疗传感器网络中基于 PUF 的 轻量级匿名认证协议.

Alternate Title: Lightweight PUF-based anonymous authentication protocol for multi-gateway wireless medical sensor network.

Authors: 王 雄 李伟麟 张泽昊 et al.

Source: Application Research of Computers / Jisuanji Yingyong Yanjiu. Oct2025, Vol. 42 Issue 10, p3152-3158. 7p.

Subject Terms: *COMPUTER network protocols, *KEY agreement protocols (Computer network protocols), *SECURITY systems, *MOBILE health, *MULTI-factor authentication

Sliding Mode Platooning Control of Automated Vehicles Under Round‐Robin Protocols.

Authors: Liu, Pengyuan Ju, Yamei Ding, Derui et al.

Source: International Journal of Robust & Nonlinear Control. Dec2025, Vol. 35 Issue 18, p7736-7747. 12p.

Subject Terms: *SLIDING mode control, *COMPUTER network protocols, *TRAFFIC speed, *COMPUTER simulation, *AUTONOMOUS vehicles

Cryptanalysis of a key exchange protocol based on a digital semiring.

Authors: Ponmaheshkumar, A. Kotov, M. Perumal, R.

Source: Communications in Algebra. 2025, Vol. 53 Issue 12, p5226-5236. 11p.

Subject Terms: *KEY agreement protocols (Computer network protocols), *SEMIRINGS (Mathematics), *CRYPTOGRAPHY, *QUADRATIC equations, *BRANCH & bound algorithms, *COMPUTATIONAL complexity, *PUBLIC key cryptography

ChebIoD: a Chebyshev polynomial-based lightweight authentication scheme for internet of drones environments.

Authors: Al-Mekhlafi, Zeyad Ghaleb Altmemi, Jalal M. H. Al-Shareeda, Mahmood A. et al.

Source: Scientific Reports. 9/25/2025, Vol. 15 Issue 1, p1-21. 21p.

Subject Terms: *KEY agreement protocols (Computer network protocols), *DRONE aircraft, *AUTHENTICATION (Law), *SECURITY management, *COMPUTER performance, *COMPUTER network protocols, *MULTI-factor authentication

Shells & Terminals.

Authors: APFELBÖCK, HERMANN

Source: PC Welt Plus. 2025, Issue 6, Special section p2-5. 4p.

Subject Terms: *COMPUTER network protocols, *USER interfaces

RSMA-assisted SHAPTINs: secrecy performance under imperfect hardware and channel estimation errors.

Authors: Feng, Zhou Kefeng, Guo Jian, Cheng et al.

Source: Neural Computing & Applications. Sep2025, Vol. 37 Issue 26, p22161-22178. 18p.

Subject Terms: *CHANNEL estimation, *MULTIPLE access protocols (Computer network protocols), *TELECOMMUNICATION satellites, *MONTE Carlo method, *TELECOMMUNICATION systems

Cell-Sequence-Based Covert Signal for Tor De-Anonymization Attacks.

Authors: Xin, Ran Wang, Yapeng Huang, Xiaohong et al.

Source: Future Internet. Sep2025, Vol. 17 Issue 9, p403. 26p.

Subject Terms: *Computer network protocols, *Computer network security, Anonymity, Signals & signaling, Finite state machines

Mobile Adhoc Networks: Protocols and Its Challenges.

Authors: Khan, Nikhat Raza Ahmad, Gulfishan Firdose Barskar, Raju et al.

Source: IETE Journal of Research. Sep2025, p1-31. 31p. 7 Illustrations.

Subject Terms: *AD hoc computer networks, *COMPUTER network protocols, *OPTIMIZATION algorithms, *WIRELESS communications, *TELECOMMUNICATION systems, *COMPUTER performance

基于时隙优先级的无人集群动态资源分配协议.

Alternate Title: Dynamic Resource Allocation Protocol for Unmanned Swarm Based on Time Slot Priority.

Authors: 姜希 王甲

Source: Science Technology & Engineering. 2025, Vol. 25 Issue 25, p10749-10755. 7p.

Subject Terms: *RESOURCE allocation, *COMPUTER network protocols, *TIME management, *SIMULATION methods & models, *DISTRIBUTED computing, *AGGREGATION (Robotics)

Research on multi-protocol support technology and standardization in Chiplet interconnection interface.

Authors: HE, Xingyang ZHOU, Hongwei ZHOU, Yuxuan et al.

Source: Computer Engineering & Science / Jisuanji Gongcheng yu Kexue. Sep2025, Vol. 47 Issue 9, p1521-1534. 14p.

Subject Terms: *COMPUTER network protocols, *SYSTEMS on a chip, *STANDARDIZATION, *RESEARCH protocols, *INTEGRATED circuit design

Semi-quantum key agreement protocol based on four-particle entangled χ-state and experiment verification on IBM qiskit.

Authors: Li, Jin-Huan Jiang, She-Xiang Hu, Wen-Wen

Source: Quantum Information Processing. Sep2025, Vol. 24 Issue 9, p1-23. 23p.

Subject Terms: *CRYPTOGRAPHY, *KEY agreement protocols (Computer network protocols), *EAVESDROPPING, *QUANTUM computing, *QUANTUM communication, *QUANTUM states

Performance Analysis of Non-Orthogonal Multiple Access-Enhanced Autonomous Aerial Vehicle-Assisted Internet of Vehicles over Rician Fading Channels.

Authors: Zhang, Zheming He, Yixin Lei, Yifan et al.

Source: Entropy. Sep2025, Vol. 27 Issue 9, p907. 14p.

Subject Terms: *RICIAN channels, *MULTIPLE access protocols (Computer network protocols), *WIRELESS channels, *MOBILE communication systems, *COMPUTER performance, *DRONE aircraft, *DIGITAL communications

A Hybrid Zero Trust Deployment Model for Securing O-RAN Architecture in 6G Networks.

Authors: Hashem Eiza, Max Akwirry, Brian Raschella, Alessandro et al.

Source: Future Internet. Aug2025, Vol. 17 Issue 8, p372. 29p.

Subject Terms: *Computer network security, *Computer network protocols, 6G networks, Security systems, Radio access networks

An Energy-Efficient Scheme for Waking Co-Channel TDMA in LoRa Networks via the Integration of Bidirectional Timestamp Correction and Address Recognition.

Authors: Xu, Zongliang Yu, Guicai Luo, Yingcong et al.

Source: Future Internet. Aug2025, Vol. 17 Issue 8, p369. 17p.

Subject Terms: *Computer network protocols, Energy consumption, Time division multiple access, Synchronization, Radio networks

Rethinking Modbus-UDP for Real-Time IIoT Systems.

Authors: Cibrario Bertolotti, Ivan¹ (AUTHOR)

Source: Future Internet. Aug2025, Vol. 17 Issue 8, p356. 21p.

Subject Terms: *Real-time computing, *Computer network protocols, *Automation, Computer network reliability, Broadcast engineering, Cyber physical systems

User pairing and location planning in multi-UAV assisted downlink NOMA for emergency communications.

Authors: Devipriya, S. Manickam, J. Martin Leo

Source: Wireless Networks (10220038). Aug2025, Vol. 31 Issue 6, p4289-4302. 14p.

Subject Terms: *EMERGENCY communication systems, *MULTIPLE access protocols (Computer network protocols), *ENERGY consumption, *CLUSTER analysis (Statistics), *DRONE aircraft, *SPATIAL arrangement, *MATHEMATICAL optimization, *INTERNET of things