VN-SMT: An SMT-based Construction Method on Virtual Network to Defend Insider Reconnaissance | IEEE Conference Publication | IEEE Xplore