MIRA: a support infrastructure for cyber command and control operations | IEEE Conference Publication | IEEE Xplore