Patent ID: 11888968
Assignee: NIPPON TELEGRAPH AND TELEPHONE CORPORATION
Field: Digital communication (Electrical engineering)
Classification: CPC G  H | IPC G  H

Claim 7:
8. The verification device according to claim 7,
wherein the predicate information includes Ωj indicated in Formula 4, [Formula 4], e
        _
       
       
        (
        
         L
         ,
         L
        
        )
       
      
      =
      
       
        ∑
        
         j
         ∈
         
          [
          m
          ]
         
        
       
       
        
         Ω
         j
        
        (
        
         
          
           x
           
            ρ
            ⁡
            (
            j
            )
           
          
          ⁢
          
           
            y
            →
           
           
            (
            j
            )
           
          
         
         +
         
          
           z
           →
          
          
           (
           j
           )
          
         
        
        )
       
      
     
     ⁢
     

     where
     ⁢
     

     
      
       
        
         e
         _
        
        
         (
         
          d
          ,
          i
         
         )
        
       
       =
       
        
         
          (
          
           0
           ,
           …
             
           ,
           0
          
         
         ︷
        
        
         i
         -
         1
        
       
      
      ,
      1
      ,
      
       
        
         
          
           
            0
            ,
            …
              
            ,
            0
           
           )
          
          ︷
         
         
          d
          -
          i
         
        
        ⁢
           
        for
        ⁢
           
        i
       
       ∈
       
        [
        d
        ]
       
      
      ,
     
    
   
   
    
     [
     
      Formula
      ⁢
          
      4
     
     ]
    
   
  
 

d is an integer of I or more,
 is an access structure expressed as an ASP representation,

=(={{right arrow over (y)}(j),{right arrow over (z)}(j)}j∈[m]⊂(qL)2,ρ:[M]→[N]),

n is the number of elements in an attribute vector, and
m,L are integers of I or more.