Program for verifying PKCS#7 packages