On an encrypted object code obtained by encrypting an object code, there is discriminated whether an inhibited code defined in data format is present in a code concerning such encrypted object code, and, in case such inhibited code is judged absent, the encrypted object code is determined as an encryption result of the object code.