Secure computing system, secure computing method, secure computing apparatus, and program therefor

Information

  • Patent Grant
  • 9300469
  • Patent Number
    9,300,469
  • Date Filed
    Wednesday, January 21, 2009
    15 years ago
  • Date Issued
    Tuesday, March 29, 2016
    8 years ago
Abstract
A third secure computing apparatus generates data Wb associated with each bit b of a segment t that satisfies a relation mA=s*t for a first input value mA and an operator * and data W(1-b) associated with an inversion bit (1-b) of the bit b, transmits the data Wb to a first secure computing apparatus, and transmits data W including the data Wb and the data W(1-b) to a second secure computing apparatus. The second secure computing apparatus uses a segment s that satisfies the relation mA=s*t, a logic circuit function f and the data W to generate data T in which a logic circuit function f(s*X), which is the logic circuit function fin which the segment s is substituted, is concealed, and transmits the data T to the first secure computing apparatus. A computation result f(mA) can be determined from the data T and the data Wb. The first secure computing apparatus obtains the computation result f(mA) using the data T and the data Wb.
Description
TECHNICAL FIELD

The present invention relates to an encryption application technique. In particular, it relates to a technique of providing a computation result for an input value while concealing the input value.


BACKGROUND ART

Non-patent literature 1 discloses an art of providing a computation result while concealing an input value. FIG. 1 is a block diagram showing a configuration of a secure computing system based on the art disclosed in Non-patent literature 1. Referring to FIG. 1, the secure computing system has a secure computing apparatus 81A and a secure computing apparatus 81B.


The secure computing apparatus 81A retains a logic circuit function f(x, y) and a bit string mA, which is to be substituted for x of the logic circuit function. The secure computing apparatus 81B retains the logic circuit function f(x, y) and a bit string mB, which is to be substituted for y of the logic circuit function.


The secure computing apparatuses 81A and 81B communicate with each other, and either or both of the secure computing apparatuses 81A and 81B obtain the computation result f(mA, mB) of the logic circuit function f(x, y). However, the secure computing apparatus 81A obtains no data from which the bit string mB can be readily reconstructed, and the secure computing apparatus 81B obtains no data from which the bit string mA can be readily reconstructed.


Note that the logic circuit function f(x, y) can be implemented as a combination of one or more logic gates g. A logic gate g performs a predetermined logic computation on one or two input bits and outputs one bit representing the computation result. The example of the logic gate may be the AND gate or the OR gate. Input and output sequences of each logic gate g are referred to as a wire. A wire on the input side is referred to as an input wire, and a wire on the output side is referred to as an output wire.


The method disclosed in Non-patent literature 1 will be summarized below. As an example, a procedure by which the secure computing apparatus 81A obtains the computation result f(mA, mB) will be described.


[Step C-1]


The secure computing apparatus 81B, which retains the logic circuit function f(x, y) and the bit string mB to be substituted for y, conceals the logic circuit function f(x, y) by concealing a truth table for each logic gate constituting the logic circuit function f(x, y).


The following is a truth table for a logic gate. In the case of the AND gate, g(0, 0)=g(0, 1)=g(1, 0)=0, and g(1, 1)=1.
















Input wire:
Output wire









0, 0:
g(0, 0)



0, 1:
g(0, 1)



1, 0:
g(1, 0)



1, 1:
g(1, 1)










To conceal a logic gate, the secure computing apparatus 81B associates each input wire and each output wire with a pair of a fixed-length random number, which is associated with the value of the wire, and a random bit, which is associated with the value of the wire. Then, the truth table is reconstructed using the associated pairs of a fixed-length random number and a random bit to conceal the truth table. However, this is not sufficient because even a person who does not know the association between the value of each wire and the pair of a fixed-length random number and a random bit can estimate the logic gate from the pair of a fixed-length random number and a random bit associated with the output wire. Thus, a pseudo-random function is applied to enhance the concealing. In this way, the logic gate can be concealed. Then, the remaining logic gates of the logic circuit function f(x, mB) can be concealed in the same way, thereby concealing the logic circuit function f (x, mB).


More specifically, the secure computing apparatus 81B performs the following steps (a) to (d) to conceal the logic circuit function f(x, mB).


(a) The secure computing apparatus 81B generates fixed-length random numbers

Wi0,Wi1

for each wire i for the logic circuit function f(x, mB) and associates the random numbers with 0 and 1, respectively.


(b) Then, the secure computing apparatus 81B generates a random bit ciε{0, 1}. The random bit ci is used as a randomized label.


(c) Then, the secure computing apparatus 81B associates

(custom characterWi0,cicustom character,custom characterWi1, cicustom character)

with the wire i. In this expression,

c=1−c.

Note that <α, β> means that α is associated with β.


(d) Then, for a logic gate g that receives input wires i and j and provides an output wire k, the secure computing apparatus 81B generates four pieces of labeled data

ci,cj:(Wkg(0,0),g(0,0)⊕ck)⊕FWi0(cj)⊕FWj0(ci),
ci, cj:(Wkg(0,1),g(0,1)⊕ck)⊕FWi0(cj)⊕FWj1(ci),
ci,cj:(Wkg(1,0),g(1,0)⊕ck)⊕FWi1(cj)⊕FWj0(ci),
ci, cj:(Wkg(1,1),g(1,1)⊕ck)⊕FWi1(cj)⊕FWj1(ci),

and arranges the four pieces of labeled data in a random order to generate data Tg. In this expression, the left side of the colon represents a label, the right side of the colon represents data, and FW(x) represents a function that receives x and W and outputs a fixed-length random number that is uniquely determined for a pair of x and W (a pseudo-random function).

α⊕β

represents an exclusive OR of α and β.

(α,β)⊕γ

represents an exclusive OR of a bit concatenated value α|β and γ, where α|β represents the bit concatenated value of α and β.


The random bit ck of the data Tg associated with the last-stage gate g of the logic circuit function f is set at 0.


The data Tg described above is generated for each gate of the logic circuit function f(x, mB), and a set T of the generated data Tg is transmitted to the secure computing apparatus 81A as concealing data for the logic circuit function f(x, mB).


[Step C1-2]


The secure computing apparatus 81A, which retains the bit string mA to be substituted for x, performs a 1-out-of-2 oblivious transfer protocol with the secure computing apparatus 81B. As a result, the secure computing apparatus 81A obtains data

custom characterWib,b⊕cicustom character,

associated with an input wire that is a bit bε{0, 1} of the bit string mA.


[Step C1-3]


Then, using the data Tg received from the secure computing apparatus 81B and

custom characterWib,b⊕cicustom character,

the secure computing apparatus 81A computes the output wire

custom characterWk{circumflex over (b)},{circumflex over (b)}⊕ckcustom character

of the last logic gate g of the logic circuit function f.


[Step C1-4]


Furthermore, from

custom characterWk{circumflex over (b)},{circumflex over (b)}⊕ckcustom character,

the secure computing apparatus 81A obtains a bit

{circumflex over (b)}

of the computation result f(mA, mB).


[Details of Step C1-3]


In step C1-3 in the procedure described above, when the data Tg associated with the gate that receives the input wires i and j and provides the output wire k and

custom characterWib,b⊕cicustom character,custom characterWjd,d⊕cjcustom character(dε{0,1})  (1)

are given, the secure computing apparatus 81A first retrieves data

(Wkg(b,d),g(b,d)⊕ck)⊕FWib)(d⊕cj)⊕FWjd(b⊕ci)  (2)

associated with the label

(b⊕ci,d⊕cj)

from the data Tg. In addition, the secure computing apparatus 81A computes

FWib,(d⊕cj)⊕FWid(b⊕ci).  (3)

The secure computing apparatus 81A performs an exclusive-OR operation of the formulas (2) and (3), thereby obtaining data

(Wkg(b,d),g(b,d)⊕ck)  (4)

associated with the output wire. Then, for example, the secure computing apparatus 81A uses the data associated with the output wire as data for an input wire of another logic gate and performs the same processing for the remaining logic gates to eventually obtain the output wire of the last-stage logic gate g of the logic circuit function f.


[Details of Step C1-4]


Since the random bit ck of the data Tg associated with the last-stage logic gate g of the logic circuit function f is set at 0,

custom character(Wk{circumflex over (b)},{circumflex over (b)}⊕ckcustom character=custom characterWk{circumflex over (b)},{circumflex over (b)}⊕0custom character=custom characterWk{circumflex over (b)},{circumflex over (b)}custom character.

Therefore, the secure computing apparatus 81A can obtain

{circumflex over (b)}

in step C1-4.


As described above, according to the method described in Non-patent literature 1, the secure computing apparatuses 81A and 81B have to perform the 1-out-of-2 oblivious transfer protocol in the second step. The 1-out-of-2 oblivious transfer protocol is characterized in that, when the secure computing apparatus 81B retains data d0 and d1, and the secure computing apparatus 81A retains a bit b, the secure computing apparatus 81A can obtain db but cannot obtain

db,

and the secure computing apparatus 81B cannot obtain the bit b. By using the protocol, leakage of the bit b of the bit string mA from the secure computing apparatus 81A to the secure computing apparatus 81B can be prevented, and at the same time, leakage of information about the logic circuit function f(x, mB) concealed in the data Tg to the secure computing apparatus 81A can be prevented. For detailed information on the protocol, see Non-patent literature 2.


Non-patent literature 3 discloses another art of providing a computation result while concealing an input value. FIG. 2 is a block diagram showing a configuration of a secure computing system based on the art disclosed in Non-patent literature 3. Referring to FIG. 2, the secure computing system has a plurality of transforming apparatuses 901 to 90N and secure computing apparatuses 91A and 91B. The two secure computing apparatuses 91A and 91B form a secure computing apparatus group 91.


The secure computing apparatus group 91 formed by the secure computing apparatuses 91A and 91B uses data mn (1≦n≦N) retained by the transforming apparatuses 901 to 90N to determine a computation result f(m1, . . . , mN) of a logic circuit function f(x1, . . . , xN) without obtaining data from which the input value mn can be readily reconstructed.


In the following, a procedure therefor will be summarized.


[Step C2-1]


First, the secure computing apparatus 91B performs the following steps (a) to (d) to conceal the logic circuit function f. Then, the secure computing apparatus 91B transmits data Tg associated with the logic circuit function to the secure computing apparatus 91A as concealing data for the logic circuit function f(x1, . . . , xN).


(a) The secure computing apparatus 91B generates fixed-length random numbers

Wi0,Wi1

for each wire i for the logic circuit function f(x1, . . . , xN) and associates the random numbers with 0 and 1, respectively.


(b) Then, the secure computing apparatus 91B generates a random bit ciε{0, 1}.


(c) Then, the secure computing apparatus 91B associates

custom characterWi0,cicustom character,custom characterWi1, cicustom character)

with the wire i. In this expression,

c=1−c.


(d) Then, for a logic gate g that receives input wires i and j and provides an output wire k, the secure computing apparatus 91B generates four pieces of labeled data

ci,cj:(Wkg(0,0),g(0,0)⊕ck)⊕FWi0(cj)⊕FWj0(ci),
ci, cj:(Wkg(0,1),g(0,1)⊕ck)⊕FWi0(cj)⊕FWj1(ci),
ci,cj:(Wkg(1,0),g(1,0)⊕ck)⊕FWi1(cj)⊕FWj0(ci),
ci, cj:(Wkg(1,1),g(1,1)⊕ck)⊕FWi1(cj)⊕FWj1(ci),

and arranges the four pieces of labeled data in a random order to generate data Tg. A set T of the generated data Tg is transmitted to the secure computing apparatus 91A as concealing data for the logic circuit function f(x1, . . . , , xN).


[Step C2-2]


The transforming apparatuses 901 to 90N perform a proxy 1-out-of-2 oblivious transfer protocol with the secure computing apparatuses 91A and 91B to, thereby obtaining data

custom characterWib,b⊕cicustom character.


[Step C2-3]


Then, using the data Tg and

custom characterWib,b⊕cicustom character

the secure computing apparatus 91A obtains the output wire

custom characterWk{circumflex over (b)},{circumflex over (b)}⊕ckcustom character

of the last-stage logic gate g of the logic circuit function f.


[Step C2-4]


Furthermore, from

custom characterWk{circumflex over (b)},{circumflex over (b)}⊕ckcustom character

the secure computing apparatus 91A obtains a bit

{circumflex over (b)}

of the computation result f(m1, . . . , mN).


In step C2-2 in the procedure described above, the proxy 1-out-of-2 oblivious transfer protocol is used. This protocol is an extended version of the 1-out-of-2 oblivious transfer protocol. According to this protocol, on behalf of the transforming apparatuses 901 to 90N, the secure computing apparatus 91A can compute

custom characterWib,b⊕cicustom character

without knowing the bit b, which is information about data retained by the transforming apparatuses 901 to 90N.

  • Non-patent literature 1: A. C. Yao, How to generate and exchange secrets, Proc. of FOCS '86, pp. 162 to 167, IEEE Press, 1986
  • Non-patent literature 2: S. Even, O. Goldreich and A. Lempel, A randomized protocol for signing contracts, Communications of the ACM, Vol. 28, No. 6, pp. 637 to 647, 1985
  • Non-patent literature 3: M. Naor, B. Pinkas, and R. Sumner, Privacy preserving auctions and mechanism design, Proc. of ACM EC '99, pp. 129 to 139, ACM Press, 1999


DISCLOSURE OF THE INVENTION
Problem to be Solved by the Invention

As described above, according to the method disclosed in Non-patent literature 1, the secure computing apparatuses 81A and 81B have to perform the 1-out-of-2 oblivious transfer protocol. According to the method disclosed in Non-patent literature 3, the transforming apparatuses 901 to 90N and the secure computing apparatuses 91A and 91B have to perform the 1-out-of-2 oblivious transfer protocol.


As reported in D. Malkhi, N. Nisan, B. Pinkas and Y. Sella, Fairplay—a secure two-party computation system, Proc. of USENIX Security Symposium, pp. 287 to 302, USENIX, 2004, in practice, the amount of computation involved with the 1-out-of-2 oblivious transfer protocol accounts for a large part of computation of the entire secure computing system.


The amount of computation required to perform the proxy 1-out-of-2 oblivious transfer protocol, which is an extended version of the 1-out-of-2 oblivious transfer protocol, is approximately the same as that of the 1-out-of-2 oblivious transfer protocol.


Therefore, in practice, if the amount of processing involved with these protocols can be reduced, the load on the secure computing system can be reduced.


Means to Solve the Problems

A first aspect of the present invention is implemented by a first secure computing apparatus, a second secure computing apparatus that stores a logic circuit function f, and a third secure computing apparatus.


The third secure computing apparatus generates data Wb associated with each bit b of a segment t that satisfies a relation mA=s*t for a first input value mA and an operator * and data W(1-b) associated with an inversion bit (1-b) of the bit b. The third computing apparatus transmits the data Wb to the first secure computing apparatus, and transmits data W including the data Wb and the data W(1-b) to the second secure computing apparatus without identifying the association between the bit b and the inversion bit (1-b) and the data Wb and the data W(1-b).


The second secure computing apparatus uses a segment s that satisfies the relation mA=s*t, the logic circuit function f and the data W to generate data T in which a logic circuit function f(s*X), which is the logic circuit function fin which the segment s is substituted, is concealed. The computation result f(mA) can be determined from the data T and the data Wb. The second secure computing apparatus transmits the data T to the first secure computing apparatus.


The first secure computing apparatus receives the data T and the data Wb, and obtains the computation result f(mA) using the data T and the data Wb.


A second aspect of the present invention is implemented by a first secure computing apparatus that stores a logic circuit function f(x) and a second secure computing apparatus.


An input value m is divided into a segment A and a segment B, and the first secure computing apparatus receives the segment B. The first secure computing apparatus uses the logic circuit function f(x) and the segment B to generate data T in which the logic circuit function f(x) is concealed. A computation result f(m) can be determined from the data T and the segment A.


The second secure computing apparatus receives the segment A and the data T, and obtains the computation result f(m) using the segment A and the data T.


Effects of the Invention

According to the present invention, information about an input value of a logic circuit function f is divided into two segments, and the two segments are input to and processed by different secure computing apparatuses. As a result, the processing load involved with the 1-out-of-2 oblivious transfer protocol or the proxy 1-out-of-2 oblivious transfer protocol can be reduced, and as a result, the load on the secure computing apparatuses can be significantly reduced.





BRIEF DESCRIPTION OF THE DRAWINGS


FIG. 1 is a block diagram showing a configuration of a secure computing system based on an art disclosed in Non-patent literature 1;



FIG. 2 is a block diagram showing a configuration of a secure computing system based on an art disclosed in Non-patent literature 3;



FIG. 3 is a block diagram showing a configuration of a secure computing system according to a first embodiment;



FIGS. 4A, 4B and 4C are block diagrams showing configurations of a secure computing apparatuses included in the secure computing system according to the first embodiment;



FIG. 5 is a sequence diagram showing a specific example of an operation of the secure computing system according to the first embodiment;



FIG. 6 is a block diagram showing a configuration of a secure computing system according to a second embodiment;



FIGS. 7A, 7B and 7C are block diagrams showing configurations of secure computing apparatuses included in the secure computing system according to the second embodiment;



FIG. 8 is a block diagram showing a configuration of a transforming apparatus included in the secure computing system;



FIG. 9 is a sequence diagram showing a specific example of an operation of the secure computing system according to the second embodiment;



FIG. 10 is a block diagram showing a configuration of a secure computing system according to a third embodiment;



FIGS. 11A and 11B are block diagrams showing configurations of secure computing apparatuses included in the secure computing system according to the third embodiment;



FIG. 12 is a sequence diagram showing a specific example of an operation of the secure computing system according to the third embodiment;



FIG. 13 is a block diagram showing a configuration of a secure computing system according to a fourth embodiment;



FIGS. 14A and 14B are block diagrams showing configurations of secure computing apparatuses included in the secure computing system;



FIG. 15 is a block diagram showing a configuration of a transforming apparatus included in the secure computing system; and



FIG. 16 is a sequence diagram showing a specific example of an operation of the secure computing system according to the fourth embodiment.





DESCRIPTION OF REFERENCE NUMERALS






    • 1 to 4: secure computing system





BEST MODES FOR CARRYING OUT THE INVENTION

Embodiments of the present invention will be described in detail with reference to the drawings.


First Embodiment

A secure computing system according to a first embodiment comprises three secure computing apparatuses. Two of the secure computing apparatuses of the secure computing system retain their respective independent input values. The secure computing system according to this embodiment obtains a computation result of a logic circuit function f for the input values while preventing the input value retained by each secure computing apparatus from being known to the other secure computing apparatuses.


<Configuration>



FIG. 3 is a block diagram showing a configuration of a secure computing system 1 according to the first embodiment. FIGS. 4A, 4B and 4C are block diagrams showing configurations of secure computing apparatuses 11A, 11B and 11C included in the secure computing system 1.


As shown in FIG. 3, the secure computing system 1 has the secure computing apparatuses 11A, 11B and 11C (a first, a second and a third secure computing apparatus).


As shown in FIG. 4A, the secure computing apparatus 11A has a storage part 11AA, an input part 11AB, an output part 11AC, a dividing part 11AD, a bit concealing part 11AE, and a secure computing part 11AF. As shown in FIG. 4B, the secure computing apparatus 11B has a storage part 11BA, an input part 11BB, an output part 11BC, a bit concealing part 11BD, and a function concealing part 11BF. As shown in FIG. 4C, the secure computing apparatus 11C has a storage part 11CA, an input part 11CB, an output part 11CC, a bit concealing part 11CD, and a selecting part 11CE.


The secure computing apparatuses 11A, 11B and 11C may be implemented by loading a predetermined program into a well-known computer comprising a central processing unit (CPU), a random-access memory (RAM), a read-only memory (ROM), a communication device, an input interface, an output interface and the like, for example. The secure computing apparatuses 11A, 11B and 11C may include an integrated circuit.


<Processing>


A processing according to this embodiment is an example of the first aspect of the present invention described earlier. In this embodiment, as a pre-processing, an input value mA is stored in the storage part 11AA of the secure computing apparatus 11A, and an input value mB and a logic circuit function f(x, y) are stored in the storage part 11BA of the secure computing apparatus 11B. The secure computing system according to this embodiment obtains a computation result f(mA, mB) of the logic circuit function f(x, y) without letting the input value mA retained by the secure computing apparatus 11A be known to the other secure computing apparatuses and letting the input value mB retained by the secure computing apparatus 11B be known to the other secure computing apparatuses.


First, the secure computing apparatus 11A divides the input value mA into a segment s and a segment t that satisfy a relation mA=s*t for an operator * and transmits the segment s to the secure computing apparatus 11B and the segment t to the secure computing apparatus 11C (step E1-1).


The secure computing apparatus 11C generates data Wb associated with each bit b of the received segment t and data W(1-b) associated with an inversion bit (1-b) of each bit b. Then, the secure computing apparatus 11C transmits data W including the data Wb and the data W(1-b) to the secure computing apparatus 11B and the data Wb to the secure computing apparatus 11A without identifying the association between the bit b and the inversion bit (1-b) and the data Wb and the data W(1-b) (step E1-2).


Using the segment s, the logic circuit function f(x, y), the data W and the input value mB, the secure computing apparatus 11B generates data T in which the logic circuit function f(s*X, mB) is concealed. The logic circuit function f(s*X, mB) is obtained by substituting the segment s and the input value mB into the logic circuit function f(x, y). From the data T and the data Wb, the computation result f(mA, mB) of the logic circuit function f(x, y) for the input values mA and mB can be determined. The secure computing apparatus 11B transmits the data T to the secure computing apparatus 11A (step E1-3).


The secure computing apparatus 11A receives the data T and the data Wb. The secure computing apparatus 11A uses the data T and the data Wb to obtain the computation result f(mA, mB) (step E1-4, 5).


In the following, a specific example of an operation of the secure computing system 1 according to this embodiment will be described.



FIG. 5 is a sequence diagram showing a specific example of an operation of the secure computing system 1 according to the first embodiment.


[Step E1-1]


In this example, the operator * is the exclusive-OR (XOR) operator. The dividing part 11AD in the secure computing apparatus 11A divides the input value mA stored in the storage part 11AA into random segments s and t that satisfy a relation

mA=s⊕t

(step S101). Then, the output part 11AC in the secure computing apparatus 11A transmits the segment s to the secure computing apparatus 11B (step S102) and transmits the segment t to the secure computing apparatus 11C (step S103).


[Step E1-2]


For each input wire i associated with X of s*X, which equals to mA, of the logic circuit function f(s*X, mB), the bit concealing part 11CD in the secure computing apparatus 11C generates data

Wi=(custom characterWi0,cicustom character,custom characterWi1, cicustom character),

which is a set of fixed-length random number data Wi0 and a random bit ci and a set of fixed-length random number data Wi1 and an inversion bit of the random bit ci (this data is a specific example of the data W).


From the data Wi generated as described above, the selecting part 11CE selects a set

custom characterWib′,b′⊕cicustom character

associated with each bit b′ of the actual segment t (step S104). The bit b′ is a w-th lowest bit of the segment t in the case where the input wire i is the w-th lowest bit of the segment t.

custom characterWib′,b′⊕cicustom character

is a specific example of the data Wb.


Then, the output part 11CC in the secure computing apparatus 11C transmits the data Wi to the secure computing apparatus 11B (step S105) and transmits

custom characterWib′,b′⊕cicustom character

to the secure computing apparatus 11A (step S106).


[Step E1-3]


The secure computing apparatus 11B conceals the logic circuit function f(s*X, mB), which is obtained by substituting the segment s and the input value mB into the logic circuit function f(x, y), by performing the following steps (a) to (d). The logic circuit function f(s*X, mB), which is obtained by substituting the segment s and the input value mB into the logic circuit function f(x, y), is a function that includes a function mA=s*X for reconstructing mA from the input segment X=t and a logic circuit function f(x, mB), which is the logic circuit function in which the input value mB is substituted, and substitutes the output value mA of the function mA=s*X into the logic circuit function f(x, mB) to output the computation result f(mA, mB). By the following procedure, each logic gate constituting the logic circuit function f(x, mB) is concealed.


(a) The bit concealing part 11BD in the secure computing apparatus 11B generates fixed-length random numbers

Wi0,Wi1

for each wire i of the logic circuit function f(s*X, mB) and associates the fixed-length random numbers with 0 and 1, respectively. However, for a logic gate constituting the function mA=s*X, an input wire that is a bit of the segment X=t is associated with

Wi0,Wi1

received from the secure computing apparatus 11C.


(b) Then, the bit concealing part 11BD in the secure computing apparatus 11B generates a random bit ci. However, for a logic gate constituting the function mA=s*X, the random bit ci received from the secure computing apparatus 11C is used for an input wire of that is a bit of the segment X=t. Therefore, for the input wire that is a bit of the segment X=t, no random bit ci is newly generated.


(c) Furthermore, the bit concealing part 11BD in the secure computing apparatus 11B associates

(custom characterWi0,cicustom character,custom characterWi1, cicustom character)

with each wire i. However, a wire i associated with a w-th lowest bit of the segment s is associated with

(custom characterWib,b⊕cicustom character,custom characterWib, b⊕cicustom character).

In this expression, b represents the w-th lowest bit of the segment s.


(d) Then, for each logic gate g that receives i and j as input wires and provides k as an output wire, the function concealing part 11BF in the secure computing apparatus 11B generates four pieces of labeled data

ci,cj:(Wkg(0,0),g(0,0)⊕ck)⊕FWi0(cj)⊕FWj0(ci),
ci, cj:(Wkg(0,1),g(0,1)⊕ck)⊕FWi0(cj)⊕FWj1(ci),
ci,cj:(Wkg(1,0),g(1,0)⊕ck)⊕FWi1(cj)⊕FWj0(ci),
ci, cj:(Wkg(1,1),g(1,1)⊕ck)⊕FWi1(cj)⊕FWj1(ci),

and arranges the four pieces of labeled data in a random order to generate data Tg. A set T of the data Tg is data in which the logic circuit function f(s*X, mB) is concealed (step S107). A random bit ck of the data Tg associated with the last-stage gate g of the logic circuit function f(s*X, mB) is set at 0.


The output part 11BC in the secure computing apparatus 11B transmits the set T of the data Tg to the secure computing apparatus 11A as data in which the logic circuit function f(s*X, mB) is concealed (step S108).


[Step E1-4]


The input part 11AB in the secure computing apparatus 11A receives the set T of the data Tg and

custom characterWib′,b′⊕cicustom character

Using the data Tg and

custom characterWib′,b′⊕cicustom character

the secure computing part 11AF in the secure computing apparatus 11A obtains the output wire

custom characterWi{circumflex over (b)},{circumflex over (b)}⊕cicustom character

of the last-stage logic gate g of the logic circuit function f.


[Step E1-5]


From

custom characterWi{circumflex over (b)},{circumflex over (b)}⊕cicustom character

the secure computing part 11AF in the secure computing apparatus 11A obtains a bit

{circumflex over (b)}

of the computation result f(mA, mB) (step S109).


[Details of Step E1-4]


In Step E1-4 in the procedure described above, when the data Tg associated with the gate g that receives the input wires i and j and provides the output wire k and

custom characterWib′,b′⊕cicustom character,custom characterWjd,d⊕cjcustom character(dε{0,1})  (5)

are given to the secure computing part 11AF in the secure computing apparatus 11A, the secure computing part 11AF first extracts the label

(b′⊕ci,d⊕cj)

and data

(Wkg(b′,d),g(b′,d)⊕ck)⊕FWib′)(d⊕cj)⊕FWjd(b′⊕ci)  (6)

associated with the label from the data Tg. In addition, the secure computing part 11AF computes

FWib′)(d⊕cj)⊕FWjd(b′⊕ci)  (7)

The secure computing part 11AF performs an exclusive-OR operation of the formulas (6) and (7), thereby obtaining data

(Wkg(b′,d),g(b′,d)⊕ck)  (8)

associated with the output wire. Then, for example, the secure computing part 11AF uses the data associated with the output wire as data for an input wire of another logic gate and performs the same processing for the remaining logic gates to eventually obtain the output wire of the last-stage logic gate g of the logic circuit function f.


[Details of Step E1-5]


Since the random bit ck of the data Tg associated with the last-stage gate g of the logic circuit function f(s*X, mB) is set at 0,

custom character(Wk{circumflex over (b)},{circumflex over (b)}⊕ckcustom character=custom characterWk{circumflex over (b)},{circumflex over (b)}⊕0custom character=custom characterWk{circumflex over (b)},{circumflex over (b)}custom character.

Therefore, the secure computing part 11AF in the secure computing apparatus 11A can obtain

{circumflex over (b)}.


As described above, according to this embodiment, none of the secure computing apparatuses 11A, 11B and 11C does not have to perform the 1-out-of-2 oblivious transfer protocol, which accounts for a large part of computation performed by the secure computing system according to the art described in Non-patent literature 1. Therefore, the load on the secure computing apparatuses 11A, 11B and 11C can be significantly reduced.


Since the secure computing apparatus 11C, which is added in this embodiment, receives only the segment t of the input value mA, the secure computing apparatus 11C does not compromise the confidentiality of the input values mA and mB.


Although XOR is used as an example of the operator * in this embodiment, the present invention is not limited thereto. The operator * may be any operator, such as the addition operator, the subtraction operator and the multiplication operator.


Second Embodiment

A second embodiment is a modification of the first embodiment. The second embodiment generally differs from the first embodiment in the following points.

    • In the first embodiment, the secure computing system comprises three secure computing apparatuses. In the second embodiment, a secure computing system comprises N transforming apparatuses (N represents a positive integer) and three secure computing apparatuses.
    • In the first embodiment, two secure computing apparatuses each retain an input value, and one of the secure computing apparatuses divides the input value into two segments. In the second embodiment, each transforming apparatus retains an independent input value and divides the input value into two segments.


<Configuration>



FIG. 6 is a block diagram showing a configuration of a secure computing system 2 according to the second embodiment. FIGS. 7A, 7B and 7C are block diagrams showing configurations of secure computing apparatuses 21A, 21B and 21C included in the secure computing system 2. FIG. 8 is a block diagram showing a configuration of a transforming apparatus 20 included in the secure computing system 2. Note that the transforming apparatus 20 is a representative of transforming apparatuses 201 to 20N.


As shown in FIG. 6, the secure computing system 2 has the secure computing apparatuses 21A, 21B and 21C (a first, a second and a third secure computing apparatus).


As shown in FIG. 7A, the secure computing apparatus 21A has a storage part 21AA, an input part 21AB, an output part 21AC, a bit concealing part 21AE, and a secure computing part 21AF. As shown in FIG. 7B, the secure computing apparatus 21B has a storage part 21BA, an input part 21BB, an output part 21BC, a bit concealing part 21BD, a selecting part 21BE, and a function concealing part 21BF. As shown in FIG. 7C, the secure computing apparatus 21C has a storage part 21CA, an input part 21CB, an output part 21CC, a bit concealing part 21CD, and a selecting part 21CE. As shown in FIG. 8, each transforming apparatus 20 has a storage part 20A, an input part 20B, an output part 20C, and a dividing part 20D.


The secure computing apparatuses 21A, 21B and 21C and the transforming apparatus 20 may be implemented by loading a predetermined program into a well-known computer comprising a CPU, a RAM, a ROM, a communication device, an input interface, an output interface and the like, for example. The secure computing apparatuses 21A, 21B and 21C and the transforming apparatus 20 may include an integrated circuit.


<Processing>


A processing according to this embodiment is an example of the first aspect of the present invention described earlier.


In this embodiment, as a pre-processing, input values m1 to mN are stored in the storage part 20A of the transforming apparatuses 201 to 20N, and a logic circuit function f(x1, . . . , xN) is stored in the storage part 21BA of the secure computing apparatus 21B. The secure computing system 2 according to this embodiment obtains a computation result f(m1, . . . , mN) of the logic circuit function f(x1, . . . , xN) for input values mn (1≦n≦N) without letting the input values m1 to mN retained by the transforming apparatuses 201 to 20N be known to the other apparatuses. In this process, the secure computing apparatuses 21A, 21B and 21C obtain the computation result f(m1, . . . , mN) without reconstructing the input values mn, and obtaining data from which the input values mn can be easily reconstructed.


First, the transforming apparatus 201 divides the input value m1 into a segment s1 and a segment t1 that satisfy a relation m1=s1*t1 for an operator * and transmits the segment s1 to the secure computing apparatus 21B and the segment t1 to the secure computing apparatus 21C. The other transforming apparatuses 202 to 20N perform the same operation as the transforming apparatus 201 (step E2-1).


The secure computing apparatus 21C generates data Wb associated with each bit b of the segments tn received from the transforming apparatuses 201 to 20N and data W(1-b) associated with an inversion bit (1-b) of each bit b. Then, the output part 21CC of the secure computing apparatus 21C transmits data W including the data Wb and the data W(1-b) to the secure computing apparatus 21B and the data Wb to the secure computing apparatus 21A without identifying the association between the bit b and the inversion bit (1-b) and the data Wb and the data W(1-b) (step E2-2).


Using the segments sn received from the transforming apparatuses 201 to 20N, the logic circuit function f(x1, . . . , xN) and the data W, the secure computing apparatus 21B generates data T, in which the logic circuit function f(s1*X1, . . . , sN*XN) is concealed. The logic circuit function f(s1*X1, . . . , sN*XN) is obtained by substituting the segments sn into the logic circuit function f(x1, . . . , xN). From the data T and the data Wb, the computation result f(m1, . . . , mN) of the logic circuit function f(x1, . . . , xN) for the input values m1 to mN can be determined. The secure computing apparatus 21B transmits the data T to the secure computing apparatus 21A (step E2-3).


The secure computing apparatus 21A receives the data T and the data Wb. The secure computing apparatus 21A uses the data T and the data Wb to obtain the computation result f(m1, . . . , mN) (step E2-4, 5).


In the following, a specific example of an operation of the secure computing system 2 according to this embodiment will be described.



FIG. 9 is a sequence diagram showing a specific example of an operation of the secure computing system 2 according to the second embodiment.


[Step E2-1]


In this example, the operator * is the XOR operator. The dividing parts 20D in each transforming apparatus 201 to 20N divides the input value mn stored in the storage part 20A into random segments sn and tn that satisfy a relation

mn=sn⊕tn

(step S201). Then, the output part 20C in each transforming apparatus 201 to 20N transmits the segment sn to the secure computing apparatus 21B (step S202) and transmits the segment tn to the secure computing apparatus 21C (step S203).


[Step E2-2]


For each input wire i associated with Xn of sn*Xn, which equals to mn, of the logic circuit function f(s1*X1, . . . , sN*XN), the bit concealing part 21CD in the secure computing apparatus 21C generates data

Wi=(custom characterWi0,cicustom character,custom characterWi1, cicustom character),

which is a set of fixed-length random number data Wi0 and a random bit ci and a set of fixed-length random number data Wi1 and an inversion bit of the random bit ci (this data is a specific example of the data W).


From the data Wi generated as described above, the selecting part 21CE selects a set

custom characterWib′,b′⊕cicustom character

associated with each bit b′ of the actual segment tn (step S204). The bit b′ is a w-th lowest bit of the segment tn in the case where the input wire i is the w-th lowest bit of the segment tn.

custom characterWib′,b′⊕cicustom character

is a specific example of the data Wb.


Then, the output part 21CC in the secure computing apparatus 21C transmits the data Wi to the secure computing apparatus 21B (step S205) and transmits

custom characterWib′,b′⊕cicustom character

to the secure computing apparatus 21A (step S206).


[Step E2-3]


The secure computing apparatus 21B conceals the logic circuit function f(s1*X1, . . . , sN*XN), which is the logic circuit function f(x1, . . . , xN) in which the segments sn are substituted, by performing the following steps (a) to (d). The logic circuit function f(s1*X1, . . . , sN*XN) in this example, which is the logic circuit function f(x1, . . . , xN) in which the segments sn are substituted, is a function that includes a function mn=sn*Xn for reconstructing mn from the input segment X=tn and the logic circuit function f(x1, . . . , xN) and substitutes the output value mn of each function mn=sn*Xn into the logic circuit function f(x1, . . . , xN) to output the computation result f(m1, . . . , mN). By the following procedure, each logic gate constituting the logic circuit function f(s1*X1, . . . , sN*XN) is concealed.


(a) The bit concealing part 21BD in the secure computing apparatus 21B generates fixed-length random numbers

Wi0,Wi1

for each wire i of the logic circuit function f(s1*X1, . . . , sN*XN) and associates the fixed-length random numbers with 0 and 1, respectively. However, for a logic gate constituting the function mn=sn*Xn, an input wire that is a bit of the segment Xn=tn is associated with

Wi0,Wi1

received from the secure computing apparatus 21C.


(b) Then, the bit concealing part 21BD in the secure computing apparatus 21B generates a random bit ci. However, for a logic gate constituting the function mn=sn*Xn, the random bit ci received from the secure computing apparatus 21C is used for an input wire that is a bit of the segment Xn=tn. Therefore, for the input wire that is a bit of the segment Xn=tn, no random bit ci is newly generated.


(c) Furthermore, the bit concealing part 21BD in the secure computing apparatus 21B associates

(custom characterWi0,cicustom character,custom characterWi1, cicustom character)

with each wire i. However, a wire i associated with a w-th lowest bit of the segment sn is associated with

(custom characterWib,b⊕cicustom character,custom characterWib, b⊕cicustom character).

In this expression, b represents the w-th lowest bit of the segment sn.


(d) Then, for a logic gate g that receives i and j as input wires and provides k as an output wire, the function concealing part 21BF in the secure computing apparatus 21B generates four pieces of labeled data

ci,cj:(Wkg(0,0),g(0,0)⊕ck)⊕FWi0(cj)⊕FWj0(ci),
ci, cj:(Wkg(0,1),g(0,1)⊕ck)⊕FWi0(cj)⊕FWj1(ci),
ci,cj:(Wkg(1,0),g(1,0)⊕ck)⊕FWi1(cj)⊕FWj0(ci),
ci, cj:(Wkg(1,1),g(1,1)⊕ck)⊕FWi1(cj)⊕FWj1(ci),

and arranges the four pieces of labeled data in a random order to generate data Tg. A set T of the data Tg is data in which the logic circuit function f(s1*X1, . . . , sN*XN) is concealed (step S207).


The output part 21BC in the secure computing apparatus 21B transmits the set T of the data Tg to the secure computing apparatus 21A as data in which f(s1*X1, . . . , sN*XN) is concealed (step S208).


[Step E2-4]


The input part 21AB in the secure computing apparatus 21A receives the set T of the data Tg and

custom characterWib′,b′⊕cicustom character

Using the data Tg and

custom characterWib′,b′⊕cicustom character

the secure computing part 21AF in the secure computing apparatus 21A obtains the output wire

custom characterWi{circumflex over (b)},{circumflex over (b)}⊕cicustom character

of the last-stage logic gate g of the logic circuit function f.


[Step E2-5]


From

custom characterWi{circumflex over (b)},{circumflex over (b)}⊕cicustom character

the secure computing part 21AF in the secure computing apparatus 21A obtains a bit

{circumflex over (b)}

of the computation result f(m1, . . . , mN) (step S209).


As described above, according to this embodiment, none of the secure computing apparatuses 21A, 21B and 21C has to perform the proxy 1-out-of-2 oblivious transfer protocol, which accounts for a large part of computation performed by the secure computing system according to the art described in Non-patent literature 3. Therefore, the load on the secure computing apparatuses 21A, 21B and 21C can be significantly reduced.


Since the secure computing apparatus 21C, which is added in this embodiment, receives only the segments tn of the input values mn, the secure computing apparatus 21C does not compromise the confidentiality of the input values mn.


Although XOR is used as an example of the operator * in this embodiment, the present invention is not limited thereto. The operator * may be any operator, such as the addition operator, the subtraction operator and the multiplication operator.


Furthermore, according to this embodiment, the segments tn produced by the transforming apparatuses 201 to 20N are transmitted to the secure computing apparatus 21C (step S203). However, the segments tn produced by the transforming apparatuses 201 to 20N may be first transmitted to the secure computing apparatus 21A and then transferred from the secure computing apparatus 21A to the secure computing apparatus 21C. Alternatively, the segments tn produced by the transforming apparatuses 201 to 20N may be transmitted to the secure computing apparatus 21A, and the secure computing apparatus 21A may perform steps S204 and S205 in this embodiment. In any case, the segments tn and sn are not input to the same secure computing apparatus at the same time without being concealed, and therefore, the confidentiality of the input values mn is not compromised.


In addition, according to this embodiment, the secure computing apparatus 21C that receives the segments tn generates the data Wi and transmits the generated data Wi to the secure computing apparatus 21B. However, the secure computing apparatus 21B may generate the data Wi and transmit the generated data Wi to the secure computing apparatus 21C.


Third Embodiment

A secure computing system according to a third embodiment comprises N transforming apparatuses (N represents a positive integer) and two secure computing apparatuses. The transforming apparatuses retain their respective independent input values. The secure computing system according to this embodiment obtains a computation result of a logic circuit function f for the input values while preventing the input value retained by each transforming apparatus from being known to the other apparatuses.


<Configuration>



FIG. 10 is a block diagram showing a configuration of a secure computing system 3 according to the third embodiment. FIGS. 11A and 11B are block diagrams showing configurations of secure computing apparatuses 31A and 31B included in the secure computing system 3.


As shown in FIG. 10, the secure computing system 3 has transforming apparatuses 201 to 20N and the secure computing apparatuses 31A and 31B (a first and a second secure computing apparatus). As shown in FIG. 11A, the secure computing apparatus 31A has a storage part 31AA, an input part 31AB, an output part 31AC, a bit concealing part 31AD, a selecting part 31AE, a function concealing part 31AF, and a 1-out-of-2 OT EXECUTING part 31AG. As shown in FIG. 11B, the secure computing apparatus 31B has a storage part 31BA, an input part 31BB, an output part 31 BC, and a secure computing part 31BD. The secure computing part 31BD includes a 1-out-of-2 OT executing part 31BDA. The transforming apparatuses 201 to 20N have the same configuration as that according to the second embodiment described above (see FIG. 8).


The secure computing apparatuses 31A and 31B may be implemented by loading a predetermined program into a well-known computer comprising a CPU, a RAM, a ROM, a communication device, an input interface, an output interface and the like, for example. The secure computing apparatuses 31A and 31B may include an integrated circuit.


<Processing>


A processing according to this embodiment is an example of the second aspect of the present invention described earlier. In this embodiment, as a pre-processing, input values m1 to mN are stored in the storage part 20A of the transforming apparatuses 201 to 20N, and a logic circuit function f(x1, . . . , xN) is stored in the storage part 31AA of the secure computing apparatus 31A. The secure computing system 3 according to this embodiment obtains a computation result f(m1, . . . , mN) of the logic circuit function f(x1, . . . , xN) for input values mn (1≦n≦N) without letting the input values m1 to mN retained by the transforming apparatuses 201 to 20N be known to the other apparatuses. In this process, the secure computing apparatuses 31A and 31B obtain the computation result f(m1, . . . , mN) without reconstructing the input values mn and obtaining data from which the input values mn can be easily reconstructed.


First, the transforming apparatus 201 divides the input value m1 into a segment s1 and a segment t1 that satisfy a relation m1=s1*t1 for an operator * and transmits the segment t1 to the secure computing apparatus 31A and the segment s1 to the secure computing apparatus 31B. The other transforming apparatuses 202 to 20N perform the same operation as the transforming apparatus 201 (step E3-1).


Using the logic circuit function f(x) and the segments tn received from the transforming apparatuses 201 to 20N, the secure computing apparatus 31A generates data T, in which the logic circuit function f(X1*t1, . . . , XN*tN) is concealed. The logic circuit function f(X1*t1, . . . , XN*tN) is obtained by substituting the segments tn into the logic circuit function f(x). From the data T and the segments sn, the computation result f(m1, . . . , mN) can be determined. The secure computing apparatus 31A transmits the data T to the secure computing apparatus 31B (step E3-2).


The secure computing apparatus 31B receives the segment sn and the data T. The secure computing apparatus 31B uses the segment sn and the data T to obtain the computation result f(m1, . . . , mN). The secure computing apparatus 31B receives the segments sn and determines the computation result f(m1, . . . , mN) from the data Tg without actually reconstructing the input values mn (step E3-3, 4, 5).


In the following, a specific example of an operation of the secure computing system 3 according to this embodiment will be described.



FIG. 12 is a sequence diagram showing a specific example of an operation of the secure computing system 3 according to the third embodiment.


[Step E3-1]


The dividing parts 20D in each transforming apparatus 201 to 20N divides the input value mn stored in the storage part 21A into random segments sn and tn that satisfy a relation

mn=sn⊕tn

(step S301). Then, the output part 20C in each transforming apparatus 201 to 20N transmits the segment sn to the secure computing apparatus 31B (step S302) and transmits the segment tn to the secure computing apparatus 31A (step S303).


[Step E3-2]


The secure computing apparatus 31A conceals the logic circuit function f(X1*t1, . . . , XN*tN), which is obtained by substituting the segments tn into the logic circuit function f(x1, . . . , xN), by performing the following steps (a) to (d). The logic circuit function f(X1*t1, . . . , XN*tN) in this example, which is obtained by substituting the segments tn into the logic circuit function f(x1, . . . , xN), is a function that includes a function mn=Xn*tn for reconstructing mn from the input segment X=sn and the logic circuit function f(x1, . . . , xN) and substitutes the output value mn of each function mn=Xn*tn into the logic circuit function f(x1, . . . , xN) to output the computation result f(m1, . . . , mN). By the following procedure, each logic gate constituting the logic circuit function f(X1*t1, . . . , XN*tN) is concealed.


(a) The bit concealing part 31AD in the secure computing apparatus 31A generates fixed-length random numbers

Wi0,Wi1

for each wire i of each logic gate of the logic circuit function f(X1*t1, . . . , XN*tN) and associates the fixed-length random numbers with 0 and 1, respectively.


(b) The bit concealing part 31AD in the secure computing apparatus 31A generates a random bit ciε{0, 1}.


(c) The bit concealing part 31AD in the secure computing apparatus 31A associates

(custom characterWi0,cicustom character,custom characterWi1, cicustom character)

with each wire i. However, a wire i associated with a w-th lowest bit of the segment tn is associated with

(custom characterWibw,bw⊕cicustom character,custom characterWibw,bw⊕cicustom character).

In this expression, bw represents the w-th lowest bit of the segment tn.


(d) For a logic gate g that receives i and j as input wires and provides k as an output wire, the function concealing part 31AF in the secure computing apparatus 31A generates four pieces of labeled data

ci,cj:(Wkg(0,0),g(0,0)⊕ck)⊕FWi0(cj)⊕FWj0(ci),
ci, cj:(Wkg(0,1),g(0,1)⊕ck)⊕FWi0(cj)⊕FWj1(ci),
ci,cj:(Wkg(1,0),g(1,0)⊕ck)⊕FWi1(cj)⊕FWj0(ci),
ci, cj:(Wkg(1,1),g(1,1)⊕ck)⊕FWi1(cj)⊕FWj1(ci),

and arranges the four pieces of labeled data in a random order to generate data Tg. A set T of the data Tg is data in which the logic circuit function f(X1*t1, . . . , XN*tN) is concealed (step S304).


The output part 31AC in the secure computing apparatus 31A transmits the set T of the data Tg to the secure computing apparatus 31B as data in which the logic circuit function f(X1*t1, . . . , XN*tN) is concealed (step S305).


[Step E3-3]


The input part 31BB in the secure computing apparatus 31B receives the segments sn from the transforming apparatuses 201 to 20N. The secure computing part 31BD in the secure computing apparatus 31B uses the segments sn to determine

custom characterWib,b⊕cicustom character

for each bit b of the segments sn. However, Wib and ci are set by the secure computing apparatus 31A, and therefore, the secure computing apparatus 31B cannot set Wib and ci associated with each bit b of the segments sn by itself. On the other hand, if information about each bit b of the segments sn is given to the secure computing apparatus 31A in order to obtain Wib and ci associated with each bit b of the segments sn from the secure computing apparatus 31A, the secure computing apparatus 31A becomes able to reconstruct the input values mn. Thus, the 1-out-of-2 OT executing part 31BDA of the secure computing part 31BD in the secure computing part 31B performs the 1-out-of-2 oblivious transfer protocol with the 1-out-of-2 OT executing part 31AG in the secure computing apparatus 31A, thereby obtaining Wib and ci associated with each bit b of the segments sn from the secure computing apparatus 31A without giving the information about each bit b of the segments sn to the secure computing apparatus 31A. In the following, an example of this processing will be described.


[Example of 1-Out-of-2 Oblivious Transfer Protocol]


<Setting of Parameter>


The 1-out-of-2 OT executing part 31BDA and the 1-out-of-2 OT executing part 31AG cooperate with each other to generate a prime number p, determine an integer h equal to or greater than 2 and smaller than p, and determine a minimum natural number q that satisfy a relation hq≡1 (mod p). In addition, the 1-out-of-2 OT executing part 31BDA and the 1-out-of-2 OT executing part 31AG cooperate to select another integer z equal to or greater than 2 and smaller than p. The prime number p, the natural number q and the integers h and z thus determined are stored in the storage part 31AA in the secure computing apparatus 31A and the storage part 31BA in the secure computing apparatus 31B, for example.


<Setting of Private Key>


The 1-out-of-2 OT executing part 31BDA randomly selects a natural number u smaller than q. The natural number u is a private key.


<Setting of Public Key>


The 1-out-of-2 OT executing part 31BDA randomly selects a natural number u smaller than q. The natural number u is a private key. The 1-out-of-2 OT executing part 31BDA computes PKb=hu mod p. The PKb is a public key, and a ciphertext encrypted with the private key u can be correctly decrypted with the public key PKb.


<Modification of Public Key>


If b=1, the 1-out-of-2 OT executing part 31BDA computes

PKb=z/PKb mod p.


<Transmission of Public Key>


The output part 31 BC in the secure computing apparatus 31B transmits the public key PK0 to the secure computing apparatus 31A. If b=0, PK0 is the correct public key for the natural number u. However, if b=1, PK0 is not the correct public key for the natural number u, and PK1, which is determined according to PK1=z/PK0 mod p, is the correct public key for the natural number u.


<Encryption>


The 1-out-of-2 OT executing part 31AG in the secure computing apparatus 31A computes PK1 using the received PK0 according to PK1=z/PK0 mod p and then computes ciphertexts Z0 and Z1 according to

Z0=EPK0(C(custom characterWi0,cicustom character)), Z1EPK1(C(custom characterWi1, cicustom character)).


The output part 31AC in the secure computing apparatus 31A transmits the ciphertexts Z0 and Z1 to the secure computing apparatus 31B. In the above expression, EPK(x) represents an encryption function that encrypts a plain text x using a public key PK, and it is supposed that the resulting ciphertext can be decrypted with the decryption key u. In addition, C represents a function that allows determination of whether the plain text is properly reconstructed or not. The secure computing apparatus 31A cannot know which of the public keys PK0 and PK1 is the correct public key for the natural number u. Therefore, the secure computing apparatus 31A cannot know whether the secure computing apparatus 31A is to obtain data associated with the bit b=0 or data associated with the bit b=1.


<Decryption>


The 1-out-of-2 OT executing part 31BDA in the secure computing apparatus 31B decrypts the ciphertexts Z0 and Z1 using the decryption key u and obtains a decryption result

custom characterWib,b⊕cicustom character,

which is determined by the function C to be properly reconstructed. That is, if b=0, PK0 is the correct public key for the natural number u, so that only the ciphertext Z0 is properly reconstructed. On the other hand, if b=1, PK1 is the correct public key for the natural number u, so that only the ciphertext Z1 is properly reconstructed (step S306).


[Step E3-4]


The input part 31BB in the secure computing apparatus 31B receives the set T of the data Tg and

custom characterWib,b⊕cicustom character.

Using the data Tg and

custom characterWib,b⊕cicustom character,

the secure computing part 31BD in the secure computing apparatus 31B obtains the output wire

custom characterWi{circumflex over (b)},{circumflex over (b)}⊕cicustom character

of the last-stage logic gate in the logic circuit function f.


[Step E3-5]


From

custom characterWi{circumflex over (b)},{circumflex over (b)}⊕cicustom character

the secure computing part 31BD in the secure computing apparatus 31B obtains a bit

{circumflex over (b)}

of the computation result f(m1, . . . , mN) (step S307).


According to this embodiment, the transforming apparatuses 201 to 20N have only to divide the retained data mn into the segments sn and tn and transmit the segment sn to the secure computing apparatus 31B and the segment tn to the secure computing apparatus 31A and do not have to perform the proxy 1-out-of-2 oblivious transfer protocol. Therefore, compared with the method using the protocol disclosed in Non-patent literature 3, the load on the transforming apparatuses 201 to 20N is reduced.


In this embodiment, the secure computing apparatus 31B obtains concealing data

custom characterWib,b⊕cicustom character

for each bit b of the segment sn as data associated with each bit b.


However, the secure computing apparatus 31B may obtain concealing data associated with each bit r of the input value mn=sn*tn as data associated with each bit b of the segment sn. In the case where the operator * is XOR, this arrangement can be achieved by using the ciphertexts Z0 and Z1 described below instead of the ciphertexts Z0 and Z1 described above. In the following expression, v represents a bit of the segment tn.

Z0=EPk0(C(custom characterWiv,v⊕cicustom character)), Z1EPK1(C(custom characterWiv, v⊕cicustom character)).


This is based on the fact that when a bit b of the segment sn is 0, the bit r of the input value mn=Sn*tn in the same digit place as the bit b equals to the bit v of the segment tn in the same digit place as the bit b, and when a bit b of the segment sn is 1, the bit r of the input value mn=sn*tn in the same digit place as the bit b is an inversion bit of the bit v of the segment tn in the same digit place as the bit b. In this case, the secure computing apparatus 31B obtains any one of

custom characterWiv,v⊕cicustom character (b=0)
custom characterWiv, v⊕cicustom character (b=1)

If the set T of the data Tg associated this data, the computation result f(m1, . . . , mN) can be obtained from the data.


In addition, although XOR is used as an example of the operator * in this embodiment, the present invention is not limited thereto. The operator * may be any operator, such as the addition operator, the subtraction operator and the multiplication operator.


Fourth Embodiment

A secure computing system according to a fourth embodiment comprises N transforming apparatuses (N represents a positive integer) and two secure computing apparatuses. Each transforming apparatus retains an independent input value. The secure computing system according to this embodiment obtains a computation result of a logic circuit function f for the input values retained by the transforming apparatus without letting the input values be known to the other apparatuses. However, according to this embodiment, the 1-out-of-2 oblivious transfer protocol is not used.


<Configuration>



FIG. 13 is a block diagram showing a configuration of a secure computing system 4 according to the fourth embodiment. FIGS. 14A and 14B are block diagrams showing configurations of secure computing apparatuses 41A and 41B included in the secure computing system 4. FIG. 15 is a block diagram showing a configuration of transforming apparatus 401 to 40N included in the secure computing system 4. Note that a transforming apparatus 40 is a representative of the transforming apparatuses 401 to 40N.


As shown in FIG. 13, the secure computing system 4 has transforming apparatuses 401 to 40N and the secure computing apparatuses 41A and 41B (a first and a second secure computing apparatus). As shown in FIG. 14A, the secure computing apparatus 41A has a storage part 41AA, an input part 41AB, an output part 41AC, a bit concealing part 41AD, and a function concealing part 41AF. As shown in FIG. 14B, the secure computing apparatus 41B has a storage part 41BA, an input part 41BB, an output part 41BC, and a secure computing part 41BF. As shown in FIG. 15, each transforming apparatus 40 has a storage part 40A, an input part 40B, an output part 40C, a bit concealing part 40D, and a selecting part 40E.


The secure computing apparatuses 41A and 41B and the transforming apparatus 40 may be implemented by loading a predetermined program into a well-known computer comprising a CPU, a RAM, a ROM, a communication device, an input interface, an output interface and the like, for example. The secure computing apparatuses 41A and 41B and the transforming apparatus 40 may include an integrated circuit.


<Processing>


A processing according to this embodiment is an example of the second aspect of the present invention described earlier. In this embodiment, as a pre-processing, input values m1 to mN are stored in the storage part 40A of the transforming apparatuses 401 to 40N, and a logic circuit function f(x1, . . . , xN) is stored in the storage part 41AA of the secure computing apparatus 41A. The secure computing system 4 according to this embodiment obtains a computation result f(m1, . . . , mN) of the logic circuit function f(x1, . . . , xN) for input values mn (1≦n≦N) without letting the input values m1 to mN retained by the transforming apparatuses 401 to 40N be known to the other apparatuses. In this process, the secure computing apparatuses 41A and 41B obtain the computation result f(m1, . . . , mN) without reconstructing the input values mn and obtaining data from which the input values mn can be easily reconstructed. In addition, in the process, the 1-out-of-2 oblivious transfer protocol does not have to be performed.


First, the transforming apparatuses 401 to 40N generate data Wb associated with each bit b of their respective input values m1 to mN and data W(1-b) associated with an inversion bit (1-b) of each bit b. Then, the transforming apparatuses 401 to 40N transmit the data Wb to the secure computing apparatus 41B as one of the segments of their respective input values m1 to mN. In addition, the transforming apparatuses 401 to 40N transmit data W to the secure computing apparatus 41A as the other segment, and the data W includes the data Wb and the data W(1-b) associated with the inversion bit (1-b) of each bit b without identifying the association between the data Wb and the data W(1-b) and the bit b and the bit (1-b) (step E4-1).


Using the data W, the secure computing apparatus 41A generates data T in which the logic circuit function f is concealed. From the data T and the data Wb, the computation result f(m) can be determined. The secure computing apparatus 41A transmits the generated data T to the secure computing apparatus 41B (step E4-2).


The secure computing apparatus 41A receives the data T and the data Wb. The secure computing apparatus 41A uses the data T and the data Wb to obtain the computation result f(m) (step E4-3, 4, 5).


In the following, a specific example of an operation of the secure computing system 4 according to this embodiment will be described.



FIG. 16 is a sequence diagram showing a specific example of an operation of the secure computing system 4 according to the fourth embodiment.


[Step E4-1]


Of a logic gate constituting the logic circuit function f(x1, . . . , xN), for an input wire i that is a bit b of each input value m1 to mN, the bit concealing part 40D in the transforming apparatuses 401 to 40N generates a random bit ci and fixed-length random numbers

Wi0,Wi1.

Then, the bit concealing part 40D in each transforming apparatus 40n generates data

Wn=(ci,Wi0,Wi1)n

(an example of the data W) (step S401). The selecting part 40E in each transforming apparatus 40n generates data

custom characterWib,b⊕cicustom charactern

associated with each bit b (an example of the data Wb) (step S402). The output part 40C in each transforming part 40n transmits the data Wn to the secure computing apparatus 41B (step S403) and transmits the data

custom characterWib,b⊕cicustom charactern

to the secure computing apparatus 41A (step S404).


[Step E4-2]


The function concealing part 41AF in the secure computing apparatus 41A generates a set T of data Tg in which the logic gates of the logic circuit function f(x1, . . . , xN) are concealed by performing the following steps (a) to (d) as in step E3-2 described above. However, an input wire i of each bit of the input values m1 to mn is associated with

(custom characterWi0,cicustom character,custom characterWi1, cicustom character)


(step S405).


The output part 41AC in the secure computing apparatus 41A transmits the set T of the data Tg to the secure computing apparatus 41B as data in which the logic circuit function f(x1, . . . , xN) is concealed (step S406).


[Step E4-3]


The input part 41 BF in the secure computing apparatus 41B receives the set T of the data Tg and

custom characterWib,b⊕cicustom charactern.

The secure computing part 41BF in the secure computing apparatus 41B uses the data Tg and

custom characterWib,b⊕cicustom charactern

to obtain the output wire

custom characterWi{circumflex over (b)},{circumflex over (b)}⊕cicustom character

of the last-stage logic gate g of the logic circuit function f.


[Step E4-5]


From

custom characterWi{circumflex over (b)},{circumflex over (b)}⊕cicustom character,

the secure computing part 41BD in the secure computing part 41B obtains a bit

{circumflex over (b)}

of the computation result f(m1, . . . , mN) (step S407).


According to this embodiment, since the 1-out-of-2 oblivious transfer protocol does not have to be performed, the processing load on the secure computing apparatuses 41A and 41B is reduced compared with the third embodiment.


In addition, the data

Wn=(ci,Wi0,Wi1)n

transmitted from each transforming apparatus 40n to the secure computing apparatus 41A does not contain information about the input values mn. In addition, since the bit b of the input value mn is masked by the random bit ci,

custom characterWib,b⊕cicustom charactern


transmitted from each transforming apparatus 40n to the secure computing apparatus 41B Provides No Significant Information about the Input values mn. As a result, both the secure computing apparatuses 41A and 41B cannot obtain significant information about the input values mn from their respective received information alone, and the confidentiality of the input values mn is ensured.


[Modifications]


The present invention is not limited to the embodiments described above. For example, the configuration of the logic circuit function in which the input values or segments are concealed is not limited to those described above. The various processings described above may not be sequentially performed in the order described above but may be performed in parallel or separately depending on the processing capability of the processing apparatus or other necessities. The term “system” used herein refers to a logical set of a plurality of apparatuses. In addition, the apparatuses are not always located in one housing. Of course, other various modifications can be appropriately made without departing from the spirit of the present invention.


In the case where the configurations described above are implemented by a computer, the processing capability of each apparatus is described in a program. And the computer provides the processing capability by executing the program.


The program that describes the processing can be recorded in a computer-readable recording medium. The computer-readable recording medium may be a magnetic recording device, an optical disk, a magneto-optical recording medium, a semiconductor memory or any other recording medium.


The program is distributed through selling, transfer, lending or the like of a portable recording medium, such as a DVD and a CD-ROM, in which the program is recorded, for example. Alternatively, the program may be stored in a storage device of a server computer and distributed by the server computer transferring the program to other computers over a network.


The computer that executes the program first stores the program recorded in a portable recording medium or transferred from a server computer in a storage device thereof, for example. When the computer performs the processing, the computer reads the program from the storage device thereof and performs the processing according to the read program. Alternatively, the computer may read the program directly from the portable recording medium and perform the processing according to the program. As a further alternative, the computer may perform the processing according to the program each time the computer receives a program transferred from the server computer. As a further alternative, the processing may be performed by on an application service provider (ASP) basis, in which the server computer does not transmit the program to the computer, and the capability is implemented only through execution instruction and result acquisition.


INDUSTRIAL APPLICABILITY

The present invention can be applied to a wide variety of systems that uses personal information while protecting privacy, for example. For example, the present invention can be applied to any information gathering system, such as an auction system. In this case, the result of the auction, the result of the majority decision result or the like can be obtained as the computation result without leakage of data retained by each user. Another application of the present invention is a system that gathers data from each user and performs various statistical or mining processings without letting the data gathered from each user be known to the other users, for example. A further application of the present invention is a biological authentication system. In this case, whether the biological information is valid or not can be determined while concealing the biological information about each user.

Claims
  • 1. A secure computing system that obtains a computation result f(m) of a logic circuit function f(x) for an input value m while concealing said input value m, comprising: a first secure computing apparatus that stores said logic circuit function f(x); anda second secure computing apparatus which is independent from said first secure computing apparatus,wherein said first secure computing apparatus includes:a first receiver that receives a segment B of said input value m, said input value m having been divided into a segment A and said segment B; anda generator that uses said logic circuit function f(x) and said segment B to generate data T in which said logic circuit function f(x) and said segment B are concealed by concealing the specific logic gates used to achieve the logic circuit function f(X*B) where * is an operator, with segment B as an input, when generating the data T, said input value m corresponding to said segment A and said segment B; andwherein said second secure computing apparatus includes:a second receiver that receives said segment A and said data T; anda calculator that obtains said computation result f(m) by using said segment A and said data T without using said segment B.
  • 2. The secure computing system according to claim 1, wherein said segments A and B are segments s and t that satisfy a relation m=s*t for an operator *, said generator uses said logic circuit function f(x) and said segment t to generate data T in which a logic circuit function f(X*t) is concealed, said logic circuit function f(X*t) being obtained by substituting said segment t into said logic circuit function f(x), said computation result f(m) being determined from the data T and said segment s, andsaid calculator obtains said computing result f(m) using said segment s and said data T.
  • 3. The secure computing system according to claim 2, wherein said calculator obtains said computation result f(m) using said segment s and said data T without reconstructing said input value m.
  • 4. The secure computing system according to claim 3, wherein said calculator performs a 1-out-of-2 oblivious transfer protocol with said first secure computing apparatus to acquire concealing data associated with said segment s generated by said first secure computing apparatus without letting said segment s be known to said first secure computing apparatus; and obtains said computation result f(m) using said concealing data and said data T.
  • 5. The secure computing system according to claim 2, wherein said generator performs a 1-out-of-2 oblivious transfer protocol with said first secure computing apparatus to acquire concealing data associated with said segment s generated by said first secure computing apparatus without letting said segment s be known to said first secure computing apparatus, and obtains said computation result f(m) using said concealing data and said data T.
  • 6. The secure computing system according to any of claims 2 to 5, further comprising: a transforming apparatus that includes:a divider that divides said input value m into said segments s and t that satisfy a relation m=s*t;a first transmitter that transmits said segment t to said first secure computing apparatus; anda second transmitter that transmits said segment s to said second secure computing apparatus.
  • 7. The secure computing system according to claim 1, wherein said segment A is data Wb associated with each bit b of said input value m, said segment B is data W including said data Wb and data W(1-b) associated with an inversion bit (1-b) of said bit b without identifying the association between said data Wb and said data W(1-b) and said bit b and said bit (1-b),said generator uses said data W to generate said data T in which the logic circuit function f is concealed, said computation result f(m) being determined using the data T and said data Wb, andsaid obtains said computation result f(m) using said data Wb and said data T.
  • 8. A secure computing apparatus, comprising: a receiver that receives a segment B of said input value m, said input value m having been divided into a segment A and said segment B; anda generator that uses a logic circuit function f(x) and said segment B to generate data T in which said logic circuit function f(x) and said segment B are concealed by concealing the specific logic gates used to achieve the logic circuit function f(X*B) where * is an operator, with segment B as an input, when generating the data T, said input value m corresponding to said segment A and said segment B; anda transmitter that transmits said data T to another secure computing apparatus that receives said segment A;wherein computation result f(m) can be determined by using said data T and said segment A without using said segment B.
  • 9. A secure computing method that obtains a computation result f(m) of a logic circuit function f(x) for an input value m while concealing said input value m, comprising: (A) a step of receiving a segment B of said input value m by a first secure computing apparatus, said input value m having been divided into a segment A and said segment B;(B) a step of using said logic circuit function f(x) stored in said first secure computing apparatus and said segment B, by said first secure computing apparatus, to generate data T in which said logic circuit function f(x) and said segment B are concealed by concealing the specific logic gates used to achieve the logic circuit function f(X*B) where * is an operator, with segment B as an input, when generating the data T, said input value m corresponding to said segment A and said segment B;(C) a step of receiving said segment A and said data T by a second secure computing apparatus which is independent from said first secure computing apparatus; and(D) a step of obtaining said computation result f(m) by using said segment A and said data T by said second secure computing apparatus without using said segment B.
  • 10. The secure computing method according to claim 9, wherein said segments A and B are segments s and t that satisfy a relation mA=s*t for an operator *, said step (B) includes a step of using said logic circuit function f(x) and said segment t to generate data T in which a logic circuit function f(X*t) is concealed, said logic circuit function f(X*t) being obtained by substituting said segment t into said logic circuit function f(x), said computation result f(m) being determined from the data T and said segment s, andsaid step (D) includes a step of obtaining said computing result f(m) using said segment s and said data T.
  • 11. The secure computing method according to claim 9, wherein said step (D) includes a step of obtaining said computation result f(m) using said segment s and said data T without reconstructing said input value m.
  • 12. The secure computing method according to claim 11, wherein said step (D) includes: (D-1) a step of performing a 1-out-of-2 oblivious transfer protocol with said first secure computing apparatus to acquire concealing data associated with said segment s generated by said first secure computing apparatus without letting said segment s be known to said first secure computing apparatus, in said second secure computing apparatus; and(D-2) a step of obtaining said computation result f(m) using said concealing data and said data T.
  • 13. The secure computing method according to claim 10, wherein said step (D) includes: (D-1) a step of performing a 1-out-of-2 oblivious transfer protocol with said first secure computing apparatus to acquire concealing data associated with said segment s generated by said first secure computing apparatus without letting said segment s be known to said first secure computing apparatus, in said second secure computing apparatus; and(D-2) a step of obtaining said computation result f(m) using said concealing data and said data T.
  • 14. The secure computing method according to any of claims 10 to 13, further comprising: a step of dividing said input value m into said segments s and t that satisfy a relation m=s*t in a transforming apparatus;a step of transmitting said segment t to said first secure computing apparatus from said transforming apparatus; anda step of transmitting said segment s to said second secure computing apparatus from said transforming apparatus.
  • 15. The secure computing method according to claim 9, wherein said segment A is data Wb associated with each bit of said input value m, said segment B is data W including said data Wb and data W(1-b) associated with an inversion bit (1-b) of said bit b without identifying the association between said data Wb and said data W(1-b) and said bit b and said bit (1-b),said step (B) includes a step of using said data W to generate said data T in which the logic circuit function f is concealed, said computation result f(m) being determined using the data T and said data Wb, andsaid step (D) includes a step of obtaining said computation result f(m) using said data Wb and said data T.
  • 16. A non-transitory computer readable medium that stores a program that makes a computer function as a secure computing apparatus according to claim 8.
Priority Claims (2)
Number Date Country Kind
2008-010928 Jan 2008 JP national
2008-010929 Jan 2008 JP national
PCT Information
Filing Document Filing Date Country Kind 371c Date
PCT/JP2009/050857 1/21/2009 WO 00 10/28/2010
Publishing Document Publishing Date Country Kind
WO2009/093603 7/30/2009 WO A
US Referenced Citations (29)
Number Name Date Kind
4656633 Todd Apr 1987 A
5295188 Wilson et al. Mar 1994 A
6834272 Naor et al. Dec 2004 B1
6990468 Berson et al. Jan 2006 B1
7003448 Lauber et al. Feb 2006 B1
7181017 Nagel et al. Feb 2007 B1
7290150 Agrawal et al. Oct 2007 B2
7685115 Avidan et al. Mar 2010 B2
7844496 Algesheimer et al. Nov 2010 B2
8024274 Parkes et al. Sep 2011 B2
8041706 Agrawal et al. Oct 2011 B2
8132006 Ramzan et al. Mar 2012 B2
8271796 Diamond Sep 2012 B2
8311213 Rane et al. Nov 2012 B2
8416955 Rane et al. Apr 2013 B2
8526621 Rabin et al. Sep 2013 B2
8539220 Raykova et al. Sep 2013 B2
8549290 Nishimaki et al. Oct 2013 B2
20040225570 Algesheimer et al. Nov 2004 A1
20040250100 Agrawal et al. Dec 2004 A1
20050160273 Oishi Jul 2005 A1
20050247779 Ohkubo et al. Nov 2005 A1
20070014396 Miyauchi et al. Jan 2007 A1
20070192622 Futa Aug 2007 A1
20080208560 Johnson et al. Aug 2008 A1
20090182667 Parkes et al. Jul 2009 A1
20090282039 Diamond Nov 2009 A1
20100150349 Choi et al. Jun 2010 A1
20110211692 Raykova Sep 2011 A1
Non-Patent Literature Citations (14)
Entry
Marc Fischlin, “Universally Composable Oblivious Transfer in the Multi-party Setting”, Topics in Cryptology—CT-RSA AX 2006: The Cryptographers' Track at the RSA Conference 2006, XP-019026791, Feb. 13-17, 2006, pp. 332-349.
Office Action issued Oct. 8, 2012 in European Patent Application No. 09 703 675.0.
Extended European Search Report issued Feb. 20, 2012, in European Patent Application No. 09703675.0.
Marc Fischlin, “Universally Composable Oblivious Transfer in the Multi-party Setting”, Topics in Cryptology—CT-RSA 2006: The Cryptographers' Track at the RSA Conference 2006, XP-019026791, Feb. 13-17, 2006, pp. 332-349.
Shinmyo, Urara et al., “Fingerprinting Protocol Based on Distributed Providers Using Oblivious Transfer”, The 28th Symposium on Information Theory and Its Applications (SITA 2005), vol. II of II, p. 705-708, (Nov. 20, 2005).
Crepeau, Claude et al., “Committed Oblivious Transfer and Private Multi-Party Computation”, Lecture Notes in Computer Science, (Received), vol. 963, pp. 110-123, Advances in Cryptology-Crypto'95, (Oct. 16, 1995).
Ghodosi, Hossein et al., “Comments on the ‘m out of n oblivious transfer’”, Information Processing Letters, vol. 97, No. 4, p. 153-155, (Feb. 28, 2006).
Chida, Koji et al., “Privacy Preserving Computations without Public Key Cryptographic Operation”, LNCS (Received), vol. 5312, pp. 184-200, Advances in Information and Computer Security Its Slides, (Feb. 24, 2009).
Yao Chi-Chih, Andrew “How to generate and exchange secrets”, FOCS, IEEE, pp. 162-167, (1986).
Even, Shimon et al., “A randomized protocol for signing contracts”, Communications of the ACM, vol. 28, No. 6, pp. 637-647, (Jun. 1985).
Naor, Moni et al., “Privacy Preserving Auctions and Mechanism Design”, ACM, pp. 129-139, (1999).
Malkhi, Dahlia et al., “Fairplay-A Secure Two-Party Computation System”, Proceedings of the 13th USENIX Security Symposium, pp. 287-302,(2004).
Koji Chida and Katsumi Takahashi, “Privacy Preserving Computations without Public Key Cryptographic Operation,” NTT Corporation, Tokyo, Japan, IWSEC 2008, LNCS 5312, pp. 184-200, 2008.
Koji Chida and Katsumi Takahashi, Privacy Preserving Computations without Public Key Cryptographic Operation,' Information Sharing Platform Laboratories, NTT Corporation, Mar. 9, 2011, Midori-cho, Masashino, 180-8585, Japan, pp. 1-6.
Related Publications (1)
Number Date Country
20110040963 A1 Feb 2011 US