Using Multiple-Valued Logic Decision Diagrams to Model System Threat Probabilities | IEEE Conference Publication | IEEE Xplore