Modeling Medical System Threats with Conditional Probabilities Using Multiple-Valued Logic Decision Diagrams
2013 IEEE 43rd International Symposium on Multiple-Valued Logic (2012)
Victoria, British Columbia Canada
May 14, 2012 to May 16, 2012
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ISMVL.2012.29
Design for medical system reliability has become an area of increasing importance. Medical system threats, which include system failures as well as malicious attacks, often have interdependent events that can adversely affect system operation. To address these problems, we build upon our previous threat cataloging methodology such that a large number of interdependent threats can be efficiently cataloged and analyzed for common features. Our approach utilizes Multiple-Valued Logic for describing the state of a large system and a multiple-valued decision diagram (MDD) for the threat catalog and analysis.
medical system analysis, threat cataloging, MDD, threat probability analysis
Theodore W. Manikas, Mitchell A. Thornton, David Y. Feinstein, "Modeling Medical System Threats with Conditional Probabilities Using Multiple-Valued Logic Decision Diagrams", 2013 IEEE 43rd International Symposium on Multiple-Valued Logic, vol. 00, no. , pp. 244-249, 2012, doi:10.1109/ISMVL.2012.29