Providing Assurance on the Absence of Unknown Activities

  • Jack L. King
Conference paper


After the startling discovery of a clandestine nuclear weapons program in Iraq, the effectiveness of the verification methodologies used for international agreements on nuclear non-proliferation was called into review. Traditional techniques such as surveillance, containment, and material accountancy [1] are designed to provide assurance that no nuclear material has been diverted for military use. Clearly such techniques can only be applied to known nuclear activities, where direct measurement and observation is possible.


Belief Function Fuzzy Measure Nuclear Activity Nuclear Process Basic Probability Assignment 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    IAEA Safeguards Manual of Operations, Vienna, Austria, (internal document), 1990Google Scholar
  2. 2.
    Avenhaus, R. Material Accountability: Theory, Verification, and Applications. Wiley, Chichester, 1977Google Scholar
  3. 3.
    King, J. L. Improved Analysis of Information on States’ Nuclear Activities. Proceedings of the 35th Annual Meeting of the INMM, Naples, Fla., July 199414Google Scholar
  4. 4.
    IAEA Guidelines for Transfers of Nuclear-Related Dual-Use Equipment, Material and Related Technology. INFCIRC/254/Rev. I/Part 2., Vienna, Austria, rev. 1992.Google Scholar
  5. 5.
    Cohen, L. J. The Probable and the Provable. Ashgate Publishing Co., Brookfield, Vermont, 1991Google Scholar
  6. 6.
    Mason, R.O. Mason, F.M., and Culnam, M.J. Ethics of Information Management. Sage, Thousand Oaks, Calif, 1995.Google Scholar
  7. 7.
    Berger, J.O. Statistical Decision Theory and Bayesian Analysis, 2 ed. Springer-Verlag, New York, 1993Google Scholar
  8. 8.
    Pearl, J. Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference. 2nd ed. Morgan Kaufman, San Mateo, Cal., 1988Google Scholar
  9. 9.
    Schum, D. A. Evidential Foundations of Probabilistic Reasoning. Wiley, New York, 1994Google Scholar
  10. 10.
    Shafer, G. A Mathematical Theory of Evidence. Princeton University Press, Princeton, 1976MATHGoogle Scholar
  11. 11.
    Klir, G. Measures of uncertainty in the Dempster-Shafer theory of evidence, in Yager, R. Fedrizzi, M. and Kacprzyk, J. Advances in the Dempster-Shafer Theory of Evidence. Wiley, New York, 1994Google Scholar
  12. 12.
    Zadeh, L.A. A computational approach to fuzzy quantifiers in natural languages. Computers and Mathematics 1983; 9: 149–184MathSciNetMATHGoogle Scholar
  13. 13.
    Shneiderman, B. Designing the User Interface: Strategies for Effective Human-Computer Interaction. Addison-Wesley, Menlo Park, 1987Google Scholar
  14. 14.
    King, J.L. A Theory of Evidence for Undeclared Nuclear Activities, (to be published in Proceedings of the 36th Annual Meeting of the INMM. Palm Desert, CA, Jul 1995.Google Scholar

Copyright information

© Springer-Verlag London 1996

Authors and Affiliations

  • Jack L. King
    • 1
  1. 1.Safeguards DepartmentInternational Atomic Energy AgencyViennaAustria

Personalised recommendations