Information recording medium, information processing apparatus and method, program recording medium, and information processing system

An information processing apparatus comprising:

• validity-data generating means for generating validity data including secret information to which an algorithm whose presence is verifiable without being exposed is applicable, said validity data being used for verifying the validity of information;
• verifying-parameter generating means for generating a verifying parameter for verifying the presence of the secret information;
• information-to-be-validated generating means for generating information to be validated which includes the verifying parameter and which is validated by the validity data;
• and
• output means for outputting a set of information consisting of the validity data and the information to be validated
• wherein said set of information forms an electronic ticket, and
• wherein said validity-data generating means generates the validity data which includes a secret key in a public key cryptosystern as the secret information, and said verifying-parameter generating means generates a public key corresponding to the secret key as the verifying parameter.

An information processing apparatus comprising:

• validity-data generating means for generating validity data including secret information to which an algorithm whose presence is verifiable without being exposed is applicable, said validity data being used for verifying the validity of information;
• verifying-parameter generating means for generating a verifying parameter for verifying the presence of the secret information;
• information-to-be-validated generating means for generating information to be validated which includes the verifying parameter and which is validated by the validity data;
• and
• output means for outputting a set of information consisting of the validity data and the information to be validated
• wherein said set of information forms an electronic ticket, and
• wherein said information-to-be-validated generating means generates the information to be validated which further comprises an issuer certificate including issuer identifying information for identifying an issuer of the electronic ticket, a public key for verifying the issuer, and a digital signature generated by a predetermined certifying center for the issuer identifying information and the public key, thereby certifying the issuer of the electronic ticket.

An information processing apparatus for processing a set of information which comprises:

• validity data including secret information to which an algorithm whose presence is verifiable without being exposed is applicable, said validity data being used for verifying the validity of information;
• and
• information to be validated, including a verifying parameter for verifying the presence of the secret information, said information being validated by said validity data, said information processing apparatus comprising:
• storage means for storing said set of information;
• information-to-be-validated transmission means for transmitting the information to be validated to a checking device for checking the information to be validated;
• verifying-data generating means for generating verifying data for verifying the presence of the secret information and for transmitting the verifying data to said checking device;
• first encryption means for encrypting the validity data with a first encryption key;
• first decryption means for decrypting the validity data encrypted with the first encryption key by using the first encryption key, wherein said storage means stores the validity data encrypted with the first encryption key;
• second encryption means for encrypting the first encryption key with a second encryption key;
• and p1 second decryption means for decrypting the first encryption key encrypted with the second encryption key by using the second encryption key, wherein said storage means also stores the first encryption key encrypted with the second encryption key.

An information processing apparatus for processing a set of information which comprises:

• validity data including secret information to which an algorithm whose presence is verifiable without being exposed is applicable, said validity data being used for verifying the validity of information;
• and
• information to be validated, including a verifying parameter for verifying the presence of the secret information, said information being validated by said validity data, said information processing apparatus comprising:
• storage means for storing said set of information;
• information-to-be-validated transmission means for transmitting the information to be validated to a checking device for checking the information to be validated;
• and
• varifying-data generating means for generating verifying data for verifying the presence of the secret information and for transmitting the verifying data to said checking device,
• wherein said set of information is an electronic ticket, and
• wherein the secret information is a secret key used in a public key cryptosystem, and the verifying parameter is a public key corresponding to the secret key, and said verifying-data generating means generates the verifying data by performing processing using the secret key.

An information processing method for processing a set of information which comprises:

• validity data including secret information to which an algorithm whose presence is verifiable without being exposed is applicable, said validity data being used for verifying the validity of information;
• and
• information to be validated, including a verifying parameter for verifying the presence of the secret information, said information being validated by said validity data, said information processing method comprising:
• an information-to-be-validated transmission step of transmitting the information to be validated to a checking device for checking the information to be validated;
• and
• a verifying-data generating step of generating verifying data for verifying the presence of the secret information and for transmitting the verifying data to said checking device.

A program recording medium for recording a program which controls a computer to process a set of information, said set of information comprising:

• validity data including secret information to which an algorithm whose presence is verifiable without being exposed is applicable, said validity data being used for verifying the validity of information;
• and
• information to be validated, including a verifying parameter for verifying the presence of the secret information, said information being validated by said validity data, said program comprising:
• an information-to-be-validated transmission step of transmitting the information to be validated to a checking device for checking the information to be validated;
• and
• a verifying-data generating step of generating verifying data for verifying the presence of the secret information and for transmitting the verifying data to said cheeking device.

An information processing apparatus for checking a set of information which comprises:

• validity data including secret information to which an algorithm whose presence is verifiable without being exposed is applicable, said validity data being used for verifying the validity of information;
• and
• information to be validated, including a verifying parameter for verifying the presence of the secret information, said information being validated by said validity data, said information processing apparatus comprising:
• information-to-be-validated receiving means for receiving the information to be validated from an external device;
• verifying-data receiving means for receiving verifying data for verifying the presence of the secret information from said external device;
• and
• presence determining means for determining the presence of the secret information in said external device by using the verifying data and the verifying parameter contained in the information to be validated.

An information processing method for checking a set of information which comprises:

• validity data including secret information to which an algorithm whose presence is verifiable without being exposed is applicable, said validity data being used for verifying the validity of information;
• and
• information to be validated, including a verifying parameter for verifying the presence of the secret information, said information being validated by said validity data, said information processing method comprising:
• an information-to-be-validated receiving step of receiving the information to be validated from an external device;
• a verifying-data receiving step of receiving verifying data for verifying the presence of the secret information from said external device;
• and
• a presence determining step of determining the presence of the secret information in said external device by using the verifying data and the verifying parameter contained in the information to be validated.

A program recording medium for recording a program which controls a computer to perform processing for checking a set of information which comprises:

• validity data including secret information to which an algorithm whose presence is verifiable without being exposed is applicable, said validity data being used for verifying the validity of information;
• and
• information to be validated, including a verifying parameter for verifying the presence of the secret information, said information being validated by said validity data, said program comprising:
• an information-to-be-validated receiving step of receiving the information to be validated from an external device;
• a verifying-data receiving step of receiving verifying data for verifying the presence of the secret information from said external device;
• and
• a presence determining step of determining the presence of the secret information in said external device by using the verifying data and the verifying parameter contained in the information to be validated.

An information processing system comprising a first information processing apparatus, a second information processing apparatus, and a third information processing apparatus, said first information processing apparatus comprising:

• validity-data generating means for generating validity data including secret information to which an algorithm whose presence is verifiable without being exposed is applicable, said validity data being used for verifying the validity of information;
• verifying-parameter generating means for generating a verifying parameter for verifying the presence of the secret information;
• information-to-be-validated generating means for generating information to be validated which includes the verifying parameter and which is validated by the validity data;
• and
• output means for outputting a set of information consisting of the validity data and the information to be validated, said second information processing apparatus comprising:
• storage means for storing said set of information;
• information-to-be-validated transmission means for transmitting the information to be validated to said third information processing apparatus for checking the information to be validated;
• and
• verifying-data generating means for generating verifying data for verifying the presence of the secret information and for transmitting the verifying data to said third information processing apparatus, said third information processing apparatus comprising:
• information-to-be-validated receiving means for receiving the information to be validated from said second information processing apparatus;
• verifying-data receiving means for receiving the verifying data for verifying the presence of the secret information from said second information processing apparatus;
• and
• presence determining means for determining the presence of the secret information in said second information processing apparatus by using the verifying data and the verifying parameter contained in the information to be validated.