Performance Modeling Based on GSPN and Markov for Cyberspace Mimic Defense System | IEEE Conference Publication | IEEE Xplore