VN-SMT: An SMT-based Construction Method on Virtual Network to Defend Insider Reconnaissance

Weijie Wang, Yan Wang, Guokun Xu, Qiujian Lv, Zuxin Chen, Siyuan Li. VN-SMT: An SMT-based Construction Method on Virtual Network to Defend Insider Reconnaissance. In IEEE Wireless Communications and Networking Conference, WCNC 2023, Glasgow, UK, March 26-29, 2023. pages 1-6, IEEE, 2023. [doi]

Abstract

Abstract is missing.