US7793354B2 - System, Method, and Computer Program for Verifying Data on Information Recording Medium