中文
相关论文

相关论文: Maude-HCS: Model Checking the Undetectability-Perf…

200 篇论文

The paper presents StegBlocks, which defines a new concept for performing undetectable hidden communication. StegBlocks is a general approach for constructing methods of network steganography. In StegBlocks, one has to determine objects…

多媒体 · 计算机科学 2015-06-09 Wojciech Fraczek , Krzysztof Szczypiorski

Opacity and attack detectability are important properties for any system as they allow the states to remain private and malicious attacks to be detected, respectively. In this paper, we show that a fundamental trade-off exists between these…

系统与控制 · 电气工程与系统科学 2022-06-14 Varkey M. John , Vaibhav Katewa

Malicious communication behavior is the network communication behavior generated by malware (bot-net, spyware, etc.) after victim devices are infected. Experienced adversaries often hide malicious information in HTTP traffic to evade…

密码学与安全 · 计算机科学 2023-09-08 Xiaochun Yun , Jiang Xie , Shuhao Li , Yongzheng Zhang , Peishuai Sun

In this paper, we develop a new methodology to provide high assurance about privacy in Cooperative Intelligent Transport Systems (C-ITS). Our focus lies on vehicle-to-everything (V2X) communications enabled by Cooperative Awareness Basic…

密码学与安全 · 计算机科学 2023-01-11 Yevhen Zolotavkin , Yurii Baryshev , Vitalii Lukichov , Jannik Mähn , Stefan Köpsell

This document describes a best-effort delay-tolerant communication system that protects the privacy of users in wireless ad-hoc networks by making their communication undetectable. The proposed system is a wireless broadcast-based…

密码学与安全 · 计算机科学 2015-07-31 Ana Barroso

Traffic analysis attacks can counteract end-to-end encryption and use leaked communication metadata to reveal information about communicating parties. With an ever-increasing amount of traffic by an ever-increasing number of networked…

密码学与安全 · 计算机科学 2023-03-02 Mohsen Shirali , Tobias Tefke , Ralf C. Staudemeyer , Henrich C. Poehls

This paper develops Bayesian track extraction algorithms for targets modelled as hidden reciprocal chains (HRC). HRC are a class of finite-state random process models that generalise the familiar hidden Markov chains (HMC). HRC are able to…

计算机视觉与模式识别 · 计算机科学 2016-05-16 George Stamatescu , Langford B White , Riley Bruce-Doust

Sensing privacy and communication confidentiality play fundamentally different but interconnected roles in adversarial wireless environments. Capturing this interplay within a single physical-layer framework is particularly challenging in…

信息论 · 计算机科学 2026-05-11 Sidong Guo , Matthieu R. Bloch

Adversarial environments require agents to navigate a key strategic trade-off: acquiring information enhances situational awareness, but may simultaneously expose them to threats. To investigate this tension, we formulate a…

人工智能 · 计算机科学 2025-10-10 Valerio La Gatta , Dolev Mutzari , Sarit Kraus , VS Subrahmanian

With the emergence of time-critical applications in modern communication networks, there is a growing demand for proactive network adaptation and quality of service (QoS) prediction. However, a fundamental question remains largely…

网络与互联网体系结构 · 计算机科学 2025-04-28 Samie Mostafavi , Simon Egger , György Dán , James Gross

Consider a stochastic process being controlled across a communication channel. The control signal that is transmitted across the control channel can be replaced by a malicious attacker. The controller is allowed to implement any arbitrary…

最优化与控制 · 数学 2017-04-05 Cheng-Zong Bai , Fabio Pasqualetti , Vijay Gupta

Integrating sensing functionalities is envisioned as a distinguishing feature of next-generation mobile networks, which has given rise to the development of a novel enabling technology -- \emph{Integrated Sensing and Communication (ISAC)}.…

信息论 · 计算机科学 2023-05-05 Jiancheng An , Hongbin Li , Derrick Wing Kwan Ng , Chau Yuen

Hidden Markov Chains (HMCs) are commonly used mathematical models of probabilistic systems. They are employed in various fields such as speech recognition, signal processing, and biological sequence analysis. We consider the problem of…

数据结构与算法 · 计算机科学 2016-05-10 Stefan Kiefer , A. Prasad Sistla

This paper quantifies the security of uncertain interconnected systems under stealthy data injection attacks. In particular, we consider a large-scale system composed of a certain subsystem interconnected with an uncertain subsystem, where…

系统与控制 · 电气工程与系统科学 2025-12-03 Anh Tung Nguyen , Sribalaji C. Anand , André M. H. Teixeira

Secure communication is essential in covert and safety-critical settings where verbal interactions may expose user intent or operational context. Wearable gesture-based communication enables low-effort, nonverbal interaction, but existing…

密码学与安全 · 计算机科学 2026-02-10 Tasnia Ashrafi Heya , Sayed Erfan Arefin

In this letter, we analyze the performance trade-off in distributed integrated sensing and communication (ISAC) networks. Specifically, with the aid of stochastic geometry theory, we derive the probability of detection of that of the…

信息论 · 计算机科学 2024-10-15 Xuran Li , Shuaishuai Guo , Tuo Li , Xiaofeng Zou , Dengwang Li

Covert communication offers a method to transmit messages in such a way that it is not possible to detect that the communication is happening at all. In this work, we report an experimental demonstration of covert communication that is…

The increasing complexity of urban environments introduces additional uncertainty to the deployment of the autonomous vehicular network. A novel road infrastructure cooperative detection model using Joint Communication and Sensing (JCS)…

信号处理 · 电气工程与系统科学 2022-11-24 Hao Ma , Zhiqing Wei , Zening Li , Fan Ning , Xu Chen , Zhiyong Feng

A network of unmanned aerial vehicles (UAVs) provides distributed coverage, reconfigurability, and maneuverability in performing complex cooperative tasks. However, it relies on wireless communications that can be susceptible to cyber…

系统与控制 · 电气工程与系统科学 2023-10-27 Rayan Bahrami , Hamidreza Jafarnejadsani

A Covert Channel (CC) exploits legitimate communication mechanisms to stealthily transmit information, often bypassing traditional security controls. Among these, a novel paradigm called History Covert Channels (HCC) leverages past network…

密码学与安全 · 计算机科学 2026-03-03 Christoph Weissenborn , Steffen Wendzel
‹ 上一页 1 2 3 10 下一页 ›