中文
相关论文

相关论文: Transport Level Security: a proof using the Gong-N…

200 篇论文

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…

密码学与安全 · 计算机科学 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…

系统与控制 · 电气工程与系统科学 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…

密码学与安全 · 计算机科学 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…

网络与互联网体系结构 · 计算机科学 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…

信息论 · 计算机科学 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…

网络与互联网体系结构 · 计算机科学 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…

密码学与安全 · 计算机科学 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*,…

编程语言 · 计算机科学 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…

信息论 · 计算机科学 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…

密码学与安全 · 计算机科学 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,…

软件工程 · 计算机科学 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…

网络与互联网体系结构 · 计算机科学 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…

密码学与安全 · 计算机科学 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,…

网络与互联网体系结构 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

信息论 · 计算机科学 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,…

计算与语言 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

形式语言与自动机理论 · 计算机科学 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…

密码学与安全 · 计算机科学 2018-02-27 Giampaolo Bella , Stefano Bistarelli