Addressing verification challenges : proceedings of an International Safeguards Symposium on Addressing Verification Challenges (Proceedings series, ISSN 0074-1884, 2007)