English
Related papers

Related papers: Transport Level Security: a proof using the Gong-N…

200 papers

This paper is a tutorial on the proven but currently under-appreciated security mechanisms associated with "tagged" or "descriptor" architectures. The tutorial shows how the principles behind such architectures can be applied to mitigate or…

Cryptography and Security · Computer Science 2025-04-24 William Earl Boebert

In this work, we propose an approach for ensuring the safety of vehicles passing through an intelligent intersection. There are many proposals for the design of intelligent intersections that introduce central decision-makers to…

Systems and Control · Electrical Eng. & Systems 2024-05-21 Kaj Munhoz Arfvidsson , Frank J. Jiang , Karl H. Johansson , Jonas Mårtensson

In recent years, state-of-the-art traffic-control devices have evolved from standalone hardware to networked smart devices. Smart traffic control enables operators to decrease traffic congestion and environmental impact by acquiring…

Cryptography and Security · Computer Science 2019-08-06 Aron Laszka , Waseem Abbas , Yevgeniy Vorobeychik , Xenofon Koutsoukos

In the coming 6G era, Internet of Vehicles (IoV) has been evolving towards 6G-enabled IoV with super-high data rate, seamless networking coverage, and ubiquitous intelligence by Artificial Intelligence (AI). Transfer Learning (TL) has great…

Networking and Internet Architecture · Computer Science 2021-11-11 Minrui Xu , Dinh Thai Hoang , Jiawen Kang , Dusit Niyato , Qiang Yan , Dong In Kim

We construct a universal secure network coding. Our construction just modifies the transmission scheme at the source node and works with every linear coding at an intermediate node. We relax the security criterion such that the mutual…

Information Theory · Computer Science 2011-02-17 Ryutaroh Matsumoto

International Telecommunications Union (ITU) defined Next Generation Network (NGN) underlies most wireline and wireless packet-based telecommunications networks. A key design principle of NGN is decoupling of service-related functions from…

Networking and Internet Architecture · Computer Science 2025-12-10 Rashmi Kamran , Shwetha Kiran , Pranav Jha , Rashmi Yadav , Abhay Karandikar , Prasanna Chaporkar

In this paper, we propose a light-weight provably-secure authentication protocol called the NLHB protocol, which is a variant of the HB protocol. The HB protocol uses the complexity of decoding linear codes for security against passive…

Cryptography and Security · Computer Science 2010-02-12 Mukundan Madhavan , Andrew Thangaraj , Yogesh Sankarasubramaniam , Kapali Viswanathan

Today's computing landscape has been gradually shifting to applications targeting distributed and *heterogeneous* systems, such as cloud computing and Internet of Things (IoT) applications. These applications are predominantly *concurrent*,…

Programming Languages · Computer Science 2025-06-13 Tesla Zhang , Sonya Simkin , Rui Li , Yue Yao , Stephanie Balzer

We develop a new Location Verification System (LVS) focussed on network-based Intelligent Transport Systems and vehicular ad hoc networks. The algorithm we develop is based on an information-theoretic framework which uses the received…

Information Theory · Computer Science 2014-10-10 Shihao Yan , Robert Malaney , Ido Nevat , Gareth W. Peters

Testing of network services represents one of the biggest challenges in cyber security. Because new vulnerabilities are detected on a regular basis, more research is needed. These faults have their roots in the software development cycle or…

Cryptography and Security · Computer Science 2018-03-29 Josip Bozic , Lina Marsso , Radu Mateescu , Franz Wotawa

Safety- and security-critical systems have to be thoroughly tested against their specifications. The state of practice is to have _natural language_ specifications, from which test cases are derived manually - a process that is slow,…

Software Engineering · Computer Science 2025-11-25 Kuangxiangzi Liu , Dhiman Chakraborty , Alexander Liggesmeyer , Andreas Zeller

Network penetration testing identifies the exploits and vulnerabilities those exist within computer network infrastructure and help to confirm the security measures. The objective of this paper is to explain methodology and methods behind…

Networking and Internet Architecture · Computer Science 2009-12-26 Nitin A. Naik , Gajanan D. Kurundkar , Santosh D. Khamitkar , Namdeo V. Kalyankar

Cloud applications need network data encryption to isolate from other tenants and protect their data from potential eavesdroppers in the network infrastructure. This paper presents SMT, a protocol design for emerging datacenter transport…

Cryptography and Security · Computer Science 2026-02-16 Tianyi Gao , Xinshu Ma , Suhas Narreddy , Eugenio Luo , Steven W. D. Chien , Michio Honda

Qubit transmission protocols are presently point-to-point, and thus restrictive in their functionality. A quantum router is necessary for the quantum Internet to become a reality. We present a quantum router design based on teleportation,…

Networking and Internet Architecture · Computer Science 2019-03-19 Bernardo A. Huberman , Bob Lund

The previous work showed that the Y00 protocol could stay secure with the eavesdropper's guessing probability on the secret keys being strictly less than one under an unlimitedly long known-plaintext attack with quantum memory. However, an…

Cryptography and Security · Computer Science 2019-02-15 Takehisa Iwakoshi

This paper considers the problem of securing a linear network coding system against an adversary that is both an eavesdropper and a jammer. The network is assumed to transport n packets from source to each receiver, and the adversary is…

Information Theory · Computer Science 2016-11-17 Danilo Silva , Frank R. Kschischang

ChatGPT embarks on a new era of artificial intelligence and will revolutionize the way we approach intelligent traffic safety systems. This paper begins with a brief introduction about the development of large language models (LLMs). Next,…

Computation and Language · Computer Science 2023-09-07 Ou Zheng , Mohamed Abdel-Aty , Dongdong Wang , Zijin Wang , Shengxuan Ding

Signature-based and protocol-based intrusion detection systems (IDS) are employed as means to reveal content-based network attacks. Such systems have proven to be effective in identifying known intrusion attempts and exploits but they fail…

Cryptography and Security · Computer Science 2016-08-22 Fabrizio Angiulli , Luciano Argento , Angelo Furfaro

Importance measures provide a systematic approach to scrutinize critical system components, which are extremely beneficial in making important decisions, such as prioritizing reliability improvement activities, identifying weak-links and…

Formal Languages and Automata Theory · Computer Science 2019-04-04 Waqar Ahmed , Shahid Ali Murtza , Osman Hasan , Sofiene Tahar

Security protocols stipulate how the remote principals of a computer network should interact in order to obtain specific security goals. The crucial goals of confidentiality and authentication may be achieved in various forms, each of…

Cryptography and Security · Computer Science 2018-02-27 Giampaolo Bella , Stefano Bistarelli