YaHui Li, Han Zhang 0009, Jilong Wang 0001, Xingang Shi, Xia Yin, Zhiliang Wang, Jiankun Hu, Congcong Miao, Jianping Wu. Proactively Verifying Quantitative Network Policy Across Unsafe and Unreliable Environments. IEEE Transactions on Information Forensics and Security, 19:10099-10113, 2024. [doi]
Abstract is missing.