[Simmons81] G. Simmons, Verification of the Nuclear Test Ban Treaty, IEEE, Oakland Conference on Computer Security, Aug, 1981 []