For defense experts and those following the game of nuclear non-proliferation cat-and-mouse ... As described in a National Academies report, artificial ground freezing and computer-controlled boring ...