Cryptographic module testing. - Horlick, Jeffrey (Handbook, no.<150-17> no. 150-17, 2000)