Private Information Retrieval Using Trusted Hardware

15 downloads 27906 Views 345KB Size Report
planning to buy or sell the stock. In such cases .... The server hosts a permuted and encrypted version ...... enabling software domain separation and protection.
          1  1   1   2 1 2

       

      

    

          

                                                           

        !                                "   "     #       "  $                %    "        !  "    "       "         "      

             

                            ! " #      !         $ ! "   %        "  & !% !        ! !        '  % !     !         !     (    %   !  &          (! %         !        # )( *)  (   +                        ,     - !  !-       ./01    .01 , $     )(  $ ! 2   .31 (    4        n&    x = x1 x2 · · · xn              x      4  !       !      &   !     ! )(     5         4 !        !             "  

&

 '   

, 6 !  )(        )(  ( &      ! ./71      #     )(        4     " !     &            *+  ! #       )(           ,        " !  O(n)       O(log n)   !          "      )(        !     .31    &   " !    O(n)   $   O(n)     ,           8         9                      !     %     ! )(            9      !        ,     .:1            " ! O(nlog log ω/ω log ω )  ω        ,  &             %     !         9   &  !    !     " ! ,        ;  ./31          " !  O(κ log2 n)  O(κ log n)  !   κ        !   !   # !     )(       & " ! # "      )(            *+      . 0!  



#

$

q!

   

  $

  

Pr(q = j)

A =  

j ∈ [1, n]!

*/=+

Pr(q = j|A) = Pr(q = j)





     . "

  $ $   #

q

"  %

j

  1 < t ≤ N  Pr(at | a1, · · · , at−1 )     !      at    !     t − 1  ; Pr(at | a1 , · · · , at−1 ; q = j)     !               "  ! q  j  A      !     ! q   t& !       Pr(at | a1 , · · · , at−1 ) = Pr(at | a1 , · · · , at−1 ; q = j)

*/:+

     !  at    Dπs    s&   2      5 / at ∈ Rs  at      @ 5 8 ! Pr(at | a1 , · · · , at−1 ) = Pr(at | a1 , · · · , at−1 ; q = j)         at  !   !   πs  πs+1  = at ∈ As  at      ! 5 ;   !   l& !      l ∈ [1, k] , l − 1     !   at           #  /5 *+ ,       5 at  !    1       , Pr(at | a1 , · · · , at−1 ) = n−(l−1)  *+ ,        5 at     Dπs      πs  #   ; /    !  at 1    n−(l−1)  A       !    q = j  !   !     at    *=+  *=+ A        Pr(at | a1 , · · · , at−1 )       1 n−(l−1)    , Pr(at | a1 , · · · , at−1 ) = Pr(at | a1 , · · · , at−1 , q = j)  at ∈ As 

7&

 '   

(      ! t  q = j Pr(at | a1 , · · · , at−1 ) = Pr(at | a1 , · · · , at−1 ; q = j).

#   Pr(A | q = j) = Pr(a1 , · · · , aN | q = j) = Pr(aN | a1 , · · · , aN −1 ; q = j) · Pr(a1 , · · · , at−1 | q = j) =

N 

Pr(at | a1 , · · · , at−1 ; q = j)

t=1

=

N 

Pr(at | a1 , · · · , at−1 )

t=1

= Pr(A).

*// ,7/ 70. >7 ,&>.



O(n) O(n log n)  O(kn)

O(1) O(1) O(n)

O(n/k) O( nk log n) O(n)

'  #                        O(n) + O(k log k) "     3         T       "    k log k          !  O(n log n) + O(n) + O(k log k) "  O(n)(+O(k log k))       T¯      ,7/. k log k       T   

  O(n log n)      

      " 4    "      

8      & )(       ,       @       4  %     ?   D                    &  )(        !  8    4     

 

+            

   " %  

k

   !

 " $   

$ 

Ω(n/k)

 8              . 1 − (k + 1)

1 = 0. k+1

k+1 

)(l)

l=1

8       !  k    "  #     ! "            /     k + 1    1, 2, · · · , k + 1 ,    1 ∈ / B2 · · ·∩(k+1) ∈ / Bk+1    Pr(1 ∈ / B1 ∩2 ∈ / B2 · · ·∩(k+1) ∈ / B1 ∩2 ∈ Bk+1 ) = 0        !    ,   k   {)(1), · · · , )(n)}      1/(k + 1)  #   n 

)(l) ≥ (n − k) ·

l=1

1 , k+1

            Ω(n/k)



*/3+ 

   

    ! " ÌÀ          ! "          4    $      π0   1 ≤ i ≤ n    i&  di     " π0−1 (i) G   &   .F1 d1 , d2 , · · · , dn          !          4   % &   ./1            (log2 n−log n+4)n/4−1   8 !   H  .==1  I   %    ./=1     G!        !    $      

       5      Y1 , · · · , Yn "  Yl = 1  l ∈ Bi  Yl = 0   " 

     ( " 

70

 n log n&  *>> k+ !            !     A  !                       #   "      1            ! $   

 ' ,          @  ,     @  &        O(n)  #             !      !           &            (      "                           !    k/2  2 !         

!% # %  # !   @       ,  di     di   !    !        , di      %               @  ,     di      !      !            !       



  

( !         )(          ,  )(    !  ,         9                    !       & )(      "& !        O(log n) (     " !      ?     "     (     !  O(1)      !  ! O(n/k)        !   O(log n) *     &O          / +     O(n/k)          )(           , , 2  I *,2I+ .=/1 $    , 2&   ) *,2)+  $        &                             "     )(                  &  

     ( " 

79

(# %   % ' " ,     ,2)          , ) D *,)D+ ,)D     !     !     ,)D (    ,)D      &   !          # !     #       D ! ,)D       !                        (     ,2I &   ,)D (% ;I ,! *;,+ ./:1   " 2)G           !   !          "    ! &           !       ,    !                             )( 

     7 B  C D   & ) / 0 - 9 : ; 7> 77

   " #            )>9E)7/ 7;-:  D  2 +  +        "     1       # C              F1A 7/-&   &-E/0 D   7;;: 2  D  G    C  B  H  I % J     D  #

  o(n1/(2k−1) )                      &-7E&9> CCC A      &>>& 2  D  G       #                   K  "           00E9) &>>> I D #      "  A   "    5     D       !    &&97  "  #          77/E7)>    &>>& D A  C  B  H $ L            

         /7E0> 7;;0 D A  C  B  H $ L            

     $ /0-K;-0E;:7 7;;:   ( A  A  C F     F    A *        2    C   D1 >&-&>)&;)9 I  %    C      K $     #       "        M  ( A '          &7:  "  #          /99E/::    7;:0 '  L   2            % &    % '       %         A    A !

 A :& &>>/ $ L       $ #  "            

   $ /))K/)7E/9) 7;;-       

7:

 '   

7& I F L     ' F H $         "    " # "    #  CCC     C   A    7- 0 -)9-/7 7;-9 7) F L         + %   &>>) 7/ 2!      

         "         "           ( )%    7;;E&7/ &>>/ 70 2!       '

          "            '''   * + )&K&>E&: &>>0 7- ( F   2        "  3  

    I   N I   FH  ( +  % D         )-0>  "  #          )7/E)&:    &>>0 79    F  A   #* ("               $    79&K)9)E):- 7;:: 7: I 3   F #*K 9     2n(1−)    +  D        &9&;  "  #          07)E0&;    &>>) 7;   F    F  2      F + H $   #           &>   '

  +   *           "        &$     />)K-:)E-;0 &>>7 &7 AL  5  2     $  " 2    

 KOO"""       && 2  ' #  2     " #  $ 707K70;E7-) 7;-:

Suggest Documents