Modelling adversary actions against a nuclear material accounting system
J.J. Lim, J.G. Huebel · University of North Texas Digital Library (University of North Texas) · 1979
A typical nuclear material accounting system employing double-entry bookkeeping is described. A logic diagram is used to model the interactions of the accounting system and the adversary when he attempts to thwart it. Boolean equations are derived from the logic diagram; solution of these equations yields the accounts and records through which the adversary may disguise a SSNM theft and the collusion requirements needed to accomplish this feat. Some technical highlights of the logic diagram are also discussed.