Modeling Worm Propagation and Insider Threat in Air-Gapped Network using Modified SEIQV Model | IEEE Conference Publication | IEEE Xplore