Treffer 1 - 20 von 39.271

1

It Takes a Village: Bridging the Gaps between Current and Formal Specifications for Protocols.
Basin, David ; Foster, Nate ; McMillan, Kenneth L. ; et al.
Communications of the ACM. Aug2025, Vol. 68 Issue 8, p50-61. 12p.

Computer network protoco... Internet protocols Technical specifications Formal methods (Computer... IEEE Standards Board Internet Engineering Tas...
Zeitschrift
3

PSPSP: A tool for automated verification of stateful protocols in Isabelle/HOL.
Hess, Andreas Viktor ; Mödersheim, Sebastian Alexander ; Brucker, Achim D ; et al.
Journal of Computer Security. Nov2025, Vol. 33 Issue 6, p425-469. 45p.

Transaction systems (Com... Computer network protoco... Algorithms Research protocols
Fachzeitschrift
4

Selection of Optimal Cluster Head Using MOPSO and Decision Tree for Cluster-Oriented Wireless Sensor Networks.
Mishra, Rahul ; Jha, Sudhanshu Kumar ; Prakash, Shiv ; et al.
Future Internet. Dec2025, Vol. 17 Issue 12, p577. 22p.

Computer network protoco... Decision trees Wireless sensor networks Particle swarm optimizat... Network performance Energy consumption
Fachzeitschrift
5

Survey of Intra-Node GPU Interconnection in Scale-Up Network: Challenges, Status, Insights, and Future Directions.
Song, Xiaoyong ; Zhou, Danyuan ; Li, Kai ; et al.
Future Internet. Dec2025, Vol. 17 Issue 12, p537. 43p.

Computer network protoco... Computer networks Graphics processing unit... Scalability Scientific observation
Fachzeitschrift
6

Research of the Cellular Communication Protocols Security.
Cherckesova, L. V. ; Safaryan, O. A. ; Pinevich, E. V. ; et al.
Pakistan Journal of Life & Social Sciences. 2024, Vol. 22 Issue 2, p21092-21109. 18p.

Wireless communications Computer network protoco... Telecommunication Software engineering Denial of service attack... Long-Term Evolution (Tel...
Fachzeitschrift
7

Cell-Sequence-Based Covert Signal for Tor De-Anonymization Attacks.
Xin, Ran ; Wang, Yapeng ; Huang, Xiaohong ; et al.
Future Internet. Sep2025, Vol. 17 Issue 9, p403. 26p.

Computer network protoco... Computer network securit... Anonymity Signals & signaling Finite state machines
Fachzeitschrift
8

Shells & Terminals.
APFELBÖCK, HERMANN
PC Welt Plus. 2025, Issue 6, Special section p2-5. 4p.

Computer network protoco... User interfaces
Zeitschrift
9

The Future of Blockchain Consensus.
GRAMOLI, VINCENT ; QIANG TANG
Communications of the ACM. Jul2023, Vol. 66 Issue 7, p79-80. 2p. 2 Color Photographs.

Blockchains Computer network protoco... Asynchronous transfer mo...
Zeitschrift
10

A Hybrid Zero Trust Deployment Model for Securing O-RAN Architecture in 6G Networks.
Hashem Eiza, Max ; Akwirry, Brian ; Raschella, Alessandro ; et al.
Future Internet. Aug2025, Vol. 17 Issue 8, p372. 29p.

Computer network securit... Computer network protoco... 6G networks Security systems Radio access networks
Fachzeitschrift
11

An Energy-Efficient Scheme for Waking Co-Channel TDMA in LoRa Networks via the Integration of Bidirectional Timestamp Correction and Address Recognition.
Xu, Zongliang ; Yu, Guicai ; Luo, Yingcong ; et al.
Future Internet. Aug2025, Vol. 17 Issue 8, p369. 17p.

Computer network protoco... Energy consumption Time division multiple a... Synchronization Radio networks
Fachzeitschrift
12

Rethinking Modbus-UDP for Real-Time IIoT Systems.
Cibrario Bertolotti, Ivan
Future Internet. Aug2025, Vol. 17 Issue 8, p356. 21p.

Real-time computing Computer network protoco... Automation Computer network reliabi... Broadcast engineering Cyber physical systems
Fachzeitschrift
13

Lower-Latency Screen Updates over QUIC with Forward Error Correction.
Eghbal, Nooshin ; Lu, Paul
Future Internet. Jul2025, Vol. 17 Issue 7, p297. 25p.

Computer network protoco... Streaming technology Data transmission system... Forward error correction
Fachzeitschrift
14

Exponential Backoff and Its Security Implications for Safety-Critical OT Protocols over TCP/IP Networks.
Boeding, Matthew ; Scalise, Paul ; Hempel, Michael ; et al.
Future Internet. Jul2025, Vol. 17 Issue 7, p286. 18p.

TCP/IP Gateways (Computer netwo... Computer network securit... Computer network protoco... Safety Cyber physical systems
Fachzeitschrift
15

Implementation of LoRa TDMA-Based Mobile Cell Broadcast Protocol for Vehicular Networks.
Greitans, Modris ; Gaigals, Gatis ; Levinskis, Aleksandrs
Information. Jun2025, Vol. 16 Issue 6, p447. 19p.

Telecommunication system... Computer network protoco... Time division multiple a... Vehicular ad hoc network... Cell phones
Fachzeitschrift
16

Taking a Long Look at QUIC: An Approach for Rigorous Evaluation of Rapidly Evolving Transport Protocols.
Kakhki, Arash Molavi ; Jero, Samuel ; Choffnes, David ; et al.
Communications of the ACM. Jul2019, Vol. 62 Issue 7, p86-94. 9p. 2 Diagrams, 2 Charts, 8 Graphs.

Internet protocols Application software Personal computer perfor... Mobile computing TCP/IP Transport protocols (Com...
Zeitschrift
17

When AI Amplifies the Biases of Its Users.
Chang, Grace ; Grant, Heidi
Harvard Business Review Digital Articles. 1/23/2026, p1-9. 9p.

Artificial intelligence Computer network protoco... Information retrieval Cognitive bias Machine learning
Zeitschrift
18

RPFUZZ: Efficient network service fuzzing via pruning redundant mutation.
Lin, Wenfeng ; Xu, Fangliang ; Jiang, Zhiyuan ; et al.
Computers & Security. Dec2025, Vol. 159, pN.PAG-N.PAG. 1p.

Computer network protoco... Computer software testin... Network performance Penetration testing (Com...
Fachzeitschrift
19

Survey of network protocol fuzzers: Taxonomy, techniques, and directions.
Zheng, Chaoyang ; Wang, Yunchao ; Huang, Huihui ; et al.
Computers & Security. Dec2025, Vol. 159, pN.PAG-N.PAG. 1p.

Computer network protoco... Software frameworks Taxonomy Penetration testing (Com... Critical analysis
Fachzeitschrift
20

Correctness and security analysis of the protection in transit (PIT) protocol.
Podder, Rakesh ; Abdelgawad, Mahmoud ; Ray, Indrakshi ; et al.
Journal of Systems & Software. Dec2025, Vol. 230, pN.PAG-N.PAG. 1p.

Risk assessment Computer network protoco... Statistical reliability
Fachzeitschrift

Filter