Program execution system, data processing apparatus, program execution method, and program
A program execution system including a data holding apparatus; a program providing apparatus; and a data processing apparatus that includes a mechanism for performing secret computing in a secure area is provided. The data holding apparatus transmits encrypted data of data D to the data processing apparatus, the program providing apparatus transmits an encrypted program of a program P to the data processing apparatus, the program providing apparatus transmits a secret key SKp to the data processing apparatus, the data processing apparatus generates a first signature by the secret key SKp on behalf of the program providing apparatus and transmits the first signature to the data holding apparatus, the data holding apparatus verifies the first signature and transmits a secret key SKd to the data processing apparatus, and the data processing apparatus computes, in the secure area, a result P(D) by executing the program P based on the data D.
1 . A program execution system comprising:
a data holding apparatus including a processor and a memory;
a program providing apparatus including a processor and a memory; and
a data processing apparatus that includes a mechanism for performing secret computing in a secure area, the data processing apparatus including a processor and a memory, wherein
the processor of the data holding apparatus is configured to execute instructions stored in the memory of the data holding apparatus to transmit encrypted data obtained by encrypting data D with a public key PKd of the data holding apparatus to the data processing apparatus,
the processor of the program providing apparatus is configured to execute instructions stored in the memory of the program providing apparatus to transmit an encrypted program obtained by encrypting a program P with a public key PKp of the program providing apparatus to the data processing apparatus,
the processor of the program providing apparatus is configured to execute instructions stored in the memory of the program providing apparatus to transmit a secret key SKp encrypted by a first shared key that is shared with the data processing apparatus to the data processing apparatus,
the processor of the data processing apparatus is configured to execute instructions stored in the memory of the data processing apparatus to generate a first signature by the secret key SKp on behalf of the program providing apparatus and transmits the generated first signature to the data holding apparatus,
the processor of the data holding apparatus is configured to execute instructions stored in the memory of the data holding apparatus to verify the first signature by using the public key PKp and transmits a secret key SKd encrypted by a second shared key that is shared with the data processing apparatus to the data processing apparatus, and
the processor of the data processing apparatus is configured to execute instructions stored in the memory of the data processing apparatus to compute, in the secure area, a result P (D) by executing the program P, obtained by decrypting the encrypted program with the secret key SKp, based on the data D obtained by decrypting the encrypted data with the secret key SKd.
2 . The program execution system according to claim 1 , wherein
the data holding apparatus transmits a second signature for a nonce value by the secret key SKd to the data processing apparatus, and
the data processing apparatus performs verification of the second signature by using the public key PKd, and, in a case where the verification of the second signature is successful, the data processing apparatus generates the first signature on behalf of the program providing apparatus and transmits the generated first signature to the data holding apparatus.
3 . A program execution system comprising:
a data holding apparatus including a processor and a memory;
a program providing apparatus including a processor and a memory; and
a data processing apparatus that includes a mechanism for performing secret computing in a first secure area associated with the program providing apparatus and a second secure area associated with the data holding apparatus, the data processing apparatus including a processor and a memory, wherein
the processor of the data holding apparatus is configured to execute instructions stored in the memory of the data holding apparatus to transmit encrypted data obtained by encrypting data D with a public key PKd of the data holding apparatus to the data processing apparatus,
the processor of the program providing apparatus is configured to execute instructions stored in the memory of the program providing apparatus to transmit an encrypted program obtained by encrypting a program P with a public key PKp of the program providing apparatus to the data processing apparatus,
the processor of the program providing apparatus is configured to execute instructions stored in the memory of the program providing apparatus to transmit a secret key SKp encrypted by a first shared key that is shared with the first secure area to the first secure area,
the processor of the data holding apparatus is configured to execute instructions stored in the memory of the data holding apparatus to transmit-a secret key SKd encrypted by a second shared key that is shared with the second secure area to the second secure area,
the processor of the data processing apparatus is configured to execute instructions stored in the memory of the data processing apparatus to perform mutual verification of a first signature by the secret key SKp and a second signature by the secret key SKd between the first secure area and the second secure area, and
the processor of the data processing apparatus is configured to execute instructions stored in the memory of the data processing apparatus to compute, in the first secure area, a result P (D) by executing the program P, obtained by decrypting the encrypted program with the secret key SKp, based on the data D obtained by decrypting the encrypted data with the secret key SKd.
4 . The program execution system according to claim 3 , wherein
the data processing apparatus computes, in the first secure area, PROOF (P) by a proof-carrying code (PCC) for the program P obtained by decrypting the encrypted program with the secret key SKp in a case where the verification is successful,
the data processing apparatus performs verification of the PROOF (P) in the second secure area, and
the data processing apparatus computes the P (D) in the first secure area in a case where the verification of the PROOF (P) is successful.
5 . A data processing apparatus in a program execution system, the program execution system including a data holding apparatus, a program providing apparatus, and the data processing apparatus that includes a mechanism for performing secret computing in a secure area, the data processing apparatus comprising a processor and a memory, wherein the processor is configured to execute instructions stored in the memory to:
receive, from the data holding apparatus, encrypted data obtained by encrypting data D with a public key PKd of the data holding apparatus;
receive, from the program providing apparatus, an encrypted program obtained by encrypting a program P with a public key PKp of the program providing apparatus;
receive, from the program providing apparatus, a secret key SKp encrypted by a first shared key that is shared with the program providing apparatus;
generate a first signature by the secret key SKp on behalf of the program providing apparatus, and transmit the generated first signature to the data holding apparatus;
receive, from the data holding apparatus in which the first signature is verified by using the public key PKp, a secret key SKd encrypted by a second shared key that is shared with the data processing apparatus; and
compute, in the secure area, a result P (D) by executing the program P, obtained by decrypting the encrypted program with the secret key SKp, based on the data D obtained by decrypting the encrypted data with the secret key SKd.
6 . A non-transitory computer-readable recording medium having computer-readable instructions stored thereon, which, when executed, cause a computer including a memory and processor to function as a data processing apparatus of claim 5 .