Coming to terms with security A handbook on verification and compliance (UNIDIR, 2003)