Hypothesizing and reasoning about attacks missed by intrusion detection systems | Synapse