Abstract:
An authentication method of a first module by a second module includes the steps of generating a first random datum by the second module to be sent to the first module, generating a first number by the first module starting from the first datum and by way of a private key, and generating a second number by the second module to be compared with the first number, so as to authenticate the first module. The step of generating the second number is performed starting from public parameters and is independent of the step of generating the first number.

Description:
1. RELATED APPLICATION 
       [0001]    The present invention is a continuation of co-pending U.S. patent application Ser. No. 11/315,633 filed Dec. 22, 2005, which claims priority under the Paris Convention of PCT/IT2004/000723 filed Dec. 23, 2004, both of which applications are incorporated herein by this reference in their entireties. 
     
    
     2. FIELD OF THE INVENTION 
       [0002]    The present invention relates to an authentication method for authenticating a target module by a verification module. 
       3. BACKGROUND OF THE INVENTION 
       [0003]    As is known, in the Information Technology field, the demand for safe transmission of messages or information among communicating modules either of the hardware (for example, electronic devices) or software type is always increasing. 
         [0004]    To this end, cryptography techniques for outgoing messages have been developed for messages or information to be made unreadable by unauthorized persons. 
         [0005]    For safer transmission of information, several cryptography methods provide that one of the modules involved in the communication must authenticate itself to its partner before receiving or transmitting any message. In other words, through an authentication protocol, a target module interacts with a verification module to convince the latter of its identity. 
         [0006]    For example, several known authentication methods provide for data exchange between the target module and the verification module. These exchanged data are the result of processing that is carried out by each module in accordance with protocols shared by both modules, though often requiring significant computational resources from both modules, thereby slowing down the authentication operation and requiring a lot of time to complete the operation. 
       SUMMARY OF THE INVENTION 
       [0007]    The object of the present invention is to provide an improved authentication method compared with the known methods. 
         [0008]    This object is achieved by a method of authenticating a first module by or with a second module that includes the steps of generating a first random datum by the second module to be sent to the first module, generating a first number by the first module starting from the first datum and by use of a private key ([s]Q_A; [1/(a+s)]Q 1 ), and generating a second number by the second module to be compared with the first number, so as to authenticate the first module. The step of generating the second number is performed starting from public parameters and is independent of the step of generating the first number. 
     
    
     
       BRIEF DESCRIPTION OF THE DRAWINGS 
         [0009]    The characteristics and the advantages of the present invention will be understood from the following detailed description of an exemplary non-limiting embodiment thereof with reference to the annexed  FIGS. 1 and 2 . In particular, 
           [0010]      FIG. 1  schematically shows modules involved in carrying out the authentication method of the invention according to protocols of an identity-mapping scheme, such as the scheme proposed by Boneh and Franklin; 
           [0011]      FIG. 2  schematically shows modules involved in carrying out the authentication method of the invention according to an identity-mapping scheme proposed by McCullagh and Barreto. 
       
    
    
     DETAILED DESCRIPTION 
       [0012]    The authentication methods of  FIGS. 1 and 2  provide a processing and exchange of information between a target module or prover A, that wants to authenticate itself, and a verification module or verifier B. 
         [0013]    Particularly, the prover A and the verifier B can be either hardware modules, i.e., electronic devices, or software modules, i.e., instruction sequences of a program. 
         [0014]    For example, the prover A can be a smart card, a plug-in module for use with a computer (for example, a USB data key for plugging into a USB port of a computer), a computer itself, a mobile telephone (cellular phone) or any device requiring to be authenticated. 
         [0015]    The verifier B can be, for example, a cell phone or a set-top-box (for example, a pay-TV decoder) requiring to authenticate the smart card being inserted therein for reading the data of a user. Furthermore, the verifier B can be a computer network server enabled to send information to authorized users&#39; computers, or rather it can be another computer requiring to read the data stored in the USB data key. 
         [0016]    Preferably, the authentication methods of  FIGS. 1 and 2  are identity-based methods using mathematical schemes known to those skilled in the art. These schemes comprise:
       a finite field or ground field GF(q) (Galois field), i.e., a finite set of elements in which there are defined two operations: addition and multiplication for which the field properties are true;   an extension field GF(q k ), i.e., a finite field containing the ground field GF(q), where q is a prime power and k is an integer, as is clear for the skilled person.       
 
         [0019]    Additionally, the method refers to three cyclic groups G 1 , G 2  and G 3 . For example, it is assumed that G 1  and G 2  are additive groups, whereas G 3  is a multiplicative group. Therefore, for the cyclic groups G 1  and G 2 , there can be defined an addition operation (these groups can be designated as (G 1 , +) and (G 2 , +)). On the contrary, for the cyclic group G 3 , there can be defined a multiplication operation (i.e., this group can be designated as (G 3 , •)). 
         [0020]    For example, G 1  and G 2  may be the points of an elliptic curve defined on the ground field GF(q) or the extension field GF (q k ), whereas G 3  can be a subgroup of GF(q k )*, i.e., the multiplicative group of the extension field. 
         [0021]    In this case, G 1  is a [l]-torsion subgroup of the group G 2  and satisfies [l]P=O for all PεG 1  where O is the identity element, l is a large prime, and l*cofactor=number of points in G 2 . Additionally, the value of k is the smallest integer for which l/(q k −1). Both G 1  and G 3  are of prime order l. 
         [0022]    Furthermore, the described embodiments use a bilinear function e( ) that when applied to elements of the groups G 1 ×G 2  gives an element of G 3  as a result. For example, this bilinear function may be the Tate pairing, known to those skilled in the art and that can be expressed as: 
         [0000]        e (.,.)= f (.,.)exp(( q   k −1)/ l )  (1)
 
         [0000]    wherein f( ) is a generic function. The bilinear function e( ) is a map or pairing having the following properties: 
         [0000]        e ( P+Q,S )= e ( P,S )· e ( Q,S )  (2)
 
         [0000]        e ( P,R+S )= e ( P,R )· e ( P,S )  (3)
 
         [0000]        e ([ k]P,R )= e ( P,R ) k   =e ( P,[k]R )  (4)
 
         [0000]    wherein P and QεG 1 , R and SεG 2 . Further, [k]P represents the scalar multiplication of point P by the integer k, so that [k]P=P+P+ . . . +P k times. 
         [0023]    It should be observed that Weil pairing may also be used as the bilinear function. In this case, G 1  and G 2  are the same subgroup of points in the elliptic curve. 
         [0024]    The authentication method of  FIG. 1  is implemented according to the identity mapping scheme proposed by Boneh and Franklin, an example of which is described in D. Boneh and M. Franklin,  Identity - Based Encryption from the Well Pairing , SIAM J. of Computing, Vol. 32, No. 3, pp. 586-615, 2003, which is available on-line and is incorporated herein in its entirety by this reference. 
         [0025]    In other words, the prover A can be associated with an identity ID_A, i.e., a bit string identifying said module. In accordance with the mapping method proposed by Boneh and Franklin, a public key Q_A of prover A can be obtained by applying a suitable hash function, called Map-To-Point, to the identity ID_A, that is: 
         [0000]        Q   —   A =Map-To-Point(ID —   A )  (5)
 
         [0026]    It should be observed that the identity ID_A and the public key Q_A of prover A is a kind of information available to anyone, i.e., not confidential information. 
         [0027]    Furthermore, the prover A can be associated with a Trusted Authority TA provided with its own secret key s or “master” key. This master key s is also a bit string. 
         [0028]    Particularly, the Trusted Authority TA applies its own master key s to the public key Q_A in order to generate a private key [s]Q_A for the prover A. 
         [0029]    In accordance with  FIG. 1 , the private key [s]Q_A is supplied by the Trusted Authority TA to the prover A to be stored in a suitable memory of the latter. 
         [0030]    Furthermore, with reference to the Trusted Authority TA, there can be defined:
       a base point P with coordinates in the ground field GF(q) and having order equal to the prime l;   a public point P pub =[s]P.       
 
         [0033]    It should be observed that the verifier B that must authenticate the prover A can either have an identity of its own or not. This verifier B knows the public parameter of the prover A, i.e., the identity ID_A, and can compute the public key Q_A through the function hash Map-To-Point, which is a public one. Furthermore, the verifier B knows the mathematic schemes at the heart of the authentication method. 
         [0034]    On the contrary, the verifier B does not know the private parameters of the Trusted Authority TA, i.e., the master key s and, accordingly, it does not know the private key [s]Q_A of prover A. 
         [0035]    Particularly, the verifier B uses the public parameters and the schemes to generate an authentication protocol of the challenge/response type. 
         [0036]    In the first embodiment of the authentication method of the prover A, it is assumed that the verifier B selects a random integer rεGF(q) and computes a first point U=[r]P to be sent to the prover A. Particularly, the first point U represents the scalar multiplication of point P by the random integer r. 
         [0037]    It should be observed that the random integer r is not sent unencrypted to the prover A, but rather it is masked within point U. 
         [0038]    In other words, the random number r is confidential information contained in the first point U such as to make secure the verification operation performed by the verifier B. In fact, by knowing the point U and point P one cannot trace the random number r. Therefore, an unauthorized person cannot intrude into the authentication operation by taking the place of verifier B in a fraudulent manner. 
         [0039]    This first point U=[r]P is “challenge” information that the verifier B sends to A. 
         [0040]    After the first point U=[r] P has been received, the prover A performs a computation involving such point U and its own private key [s]Q_A. Particularly, the prover A computes a first integer v belonging to the group G 3 : 
         [0000]        v=e ( U,[s]Q   —   A )  (6)
 
         [0000]    by applying a generic bilinear function e( ) to the first point U and its own private key [s]Q_A. This integer number v is sent to the verifier B. 
         [0041]    It should be observed that the verifier B knows the public parameters P pub , the identity ID_A (hence, also the public key Q_A=Map-To-Point(ID_A) because the hash function Map-To-Point is public) and the random integer r created by the same. 
         [0042]    Therefore, the verifier B can compute a second integer: 
         [0000]        n=e ( P   pub   ,[r]Q   —   A )= e ([ s]P,[r]Q   —   A )  (7)
 
         [0000]    and verify whether it coincides with the first number v that had been sent to it by the prover A. 
         [0043]    In other words, the verifier B is capable of establishing the identity of prover A if the latter has properly computed the first number v. In fact, the verification performed by B works because based on (4), (6) can be written as: 
         [0000]    
       
         
           
             
               
                 
                   
                     
                       
                         v 
                         = 
                           
                          
                         
                           e 
                            
                           
                             ( 
                             
                               
                                 
                                   [ 
                                   r 
                                   ] 
                                 
                                  
                                 P 
                               
                               , 
                               
                                 
                                   [ 
                                   s 
                                   ] 
                                 
                                  
                                 Q_A 
                               
                             
                             ) 
                           
                         
                       
                     
                   
                   
                     
                       
                         = 
                           
                          
                         
                           
                             e 
                              
                             
                               ( 
                               
                                 P 
                                 , 
                                 Q_A 
                               
                               ) 
                             
                           
                           rs 
                         
                       
                     
                   
                   
                     
                       
                         = 
                           
                          
                         
                           e 
                            
                           
                             ( 
                             
                               
                                 
                                   [ 
                                   s 
                                   ] 
                                 
                                  
                                 P 
                               
                               , 
                               
                                 
                                   [ 
                                   r 
                                   ] 
                                 
                                  
                                 Q_A 
                               
                             
                             ) 
                           
                         
                       
                     
                   
                   
                     
                       
                         = 
                           
                          
                         
                           e 
                            
                           
                             ( 
                             
                               
                                 P 
                                 pub 
                               
                               , 
                               
                                 
                                   [ 
                                   r 
                                   ] 
                                 
                                  
                                 Q_A 
                               
                             
                             ) 
                           
                         
                       
                     
                   
                 
               
               
                 
                   ( 
                   8 
                   ) 
                 
               
             
           
         
       
     
         [0044]    Advantageously, the verifier B can compute the second integer n while waiting to receive the first number v from prover A. In fact, the computation of the number n only involves public parameters that are directly available and does not involve information processed by prover A. 
         [0045]    In other words, the verifier B can perform the operations simultaneously with the prover A, i.e., both modules can run in parallel with a considerable reduction in the time required for the authentication operation. 
         [0046]    It should be observed that a variation of this first embodiment provides that prover A sends a number H1(v) to the verifier B that is obtained by applying a known hash function H1 to the first number v. 
         [0047]    This hash function H1 performs an irreversible compression on first number v, i.e., number v cannot be traced by applying the hash function H1 in inverse to number H1(v). 
         [0048]    This variation decreases the number of bits exchanged between the prover A and the verifier B while simultaneously increasing the safety of the method. In fact, the first number v, being the pairing information, is not directly available to unauthorized observers of the communication. 
         [0049]    In accordance with  FIG. 2 , a further embodiment of the authentication method of the invention provides the use of an identity-mapping scheme as proposed by McCullagh and Barreto in which the identity is mapped by a hash function to a number which can then be combined with a point by using a scalar multiplication. See a publication to N. McCullagh and P. S. L. M. Barreto,  Efficient and Forward - Secure Identity - Based Signcryption , available on-line at http://eprint.iacr.org/2004/117/, May 2004, which is incorporated herein in its entirety by this reference. 
         [0050]    In this case, the Trusted Authority TA provides, besides the master key s, also first P 1  and second Q 1  base points having their coordinates in the ground field GF(q). In other words, the base points P 1  and Q 1  are public parameters that are associated with the Trusted Authority TA, their meaning being understood by those skilled in the art. 
         [0051]    Additionally, a further parameter [s] P 1  is provided by the Trusted Authority TA as a public parameter. 
         [0052]    The prover A is identified by way of its own identity ID_A (a bit string). Furthermore, a further number a can be obtained by said identity ID_A as 
         [0000]        a =hash(ID —   A )  (9)
 
         [0000]    from which it derives that the public key of the prover A relative to the identity is [a] P 1 . 
         [0053]    The Trusted Authority TA supplies the prover A with the public parameters and a private key corresponding to the identity ID_A equal to [1/(a+s)]Q 1 . This private key [1/(a+s)]Q 1  is stored in a suitable memory of the prover A. 
         [0054]    In this case, the algorithm of the authentication method provides the steps: 
         [0000]    1) the verifier B generates a random integer r and computes the further first point: 
         [0000]        U=[r ]([ a]P   1   +[s]P   1 )  (10)
 
         [0000]    to be sent to the prover A;
 
2) the prover A computes a further first integer v′:
 
         [0000]        v′=e ( U,[ 1/( a+s )] Q   1 )  (11)
 
         [0000]    and sends it to the verifier B;
 
3) the verifier B verifies that the number v′ is equal to a further second number n′
 
         [0000]        n′=e ( P   1   ,Q   1 ) r   (12)
 
         [0055]    This verification has a positive result in that: 
         [0000]    
       
         
           
             
               
                 
                   
                     
                       
                         
                           v 
                           ′ 
                         
                         = 
                           
                          
                         
                           e 
                            
                           
                             ( 
                             
                               U 
                               , 
                               
                                 
                                   [ 
                                   
                                     
                                       1 
                                       / 
                                       a 
                                     
                                     + 
                                     s 
                                   
                                   ] 
                                 
                                  
                                 
                                   Q 
                                   1 
                                 
                               
                             
                             ) 
                           
                         
                       
                     
                   
                   
                     
                       
                         = 
                           
                          
                         
                           e 
                            
                           
                             ( 
                             
                               
                                 
                                   [ 
                                   r 
                                   ] 
                                 
                                  
                                 
                                   ( 
                                   
                                     
                                       
                                         [ 
                                         a 
                                         ] 
                                       
                                        
                                       
                                         P 
                                         1 
                                       
                                     
                                     + 
                                     
                                       
                                         [ 
                                         s 
                                         ] 
                                       
                                        
                                       
                                         P 
                                         1 
                                       
                                     
                                   
                                   ) 
                                 
                               
                               , 
                               
                                 
                                   [ 
                                   
                                     
                                       1 
                                       / 
                                       a 
                                     
                                     + 
                                     s 
                                   
                                   ] 
                                 
                                  
                                 
                                   Q 
                                   1 
                                 
                               
                             
                             ) 
                           
                         
                       
                     
                   
                   
                     
                       
                         = 
                           
                          
                         
                           
                             
                               e 
                                
                               
                                 ( 
                                 
                                   
                                     P 
                                     1 
                                   
                                   , 
                                   
                                     Q 
                                     1 
                                   
                                 
                                 ) 
                               
                             
                             
                               ra 
                               / 
                               
                                 ( 
                                 
                                   a 
                                   + 
                                   s 
                                 
                                 ) 
                               
                             
                           
                            
                           
                             
                               e 
                                
                               
                                 ( 
                                 
                                   
                                     P 
                                     1 
                                   
                                   , 
                                   
                                     Q 
                                     1 
                                   
                                 
                                 ) 
                               
                             
                             
                               rs 
                               / 
                               
                                 ( 
                                 
                                   a 
                                   + 
                                   s 
                                 
                                 ) 
                               
                             
                           
                         
                       
                     
                   
                   
                     
                       
                         = 
                           
                          
                         
                           
                             e 
                              
                             
                               ( 
                               
                                 
                                   P 
                                   1 
                                 
                                 , 
                                 
                                   Q 
                                   1 
                                 
                               
                               ) 
                             
                           
                           
                             
                               r 
                                
                               
                                 ( 
                                 
                                   a 
                                   + 
                                   s 
                                 
                                 ) 
                               
                             
                             / 
                             
                               ( 
                               
                                 a 
                                 + 
                                 s 
                               
                               ) 
                             
                           
                         
                       
                     
                   
                   
                     
                       
                         = 
                           
                          
                         
                           
                             e 
                              
                             
                               ( 
                               
                                 
                                   P 
                                   1 
                                 
                                 , 
                                 
                                   Q 
                                   1 
                                 
                               
                               ) 
                             
                           
                           r 
                         
                       
                     
                   
                   
                     
                       
                         = 
                           
                          
                         
                           n 
                           ′ 
                         
                       
                     
                   
                 
               
               
                 
                   ( 
                   13 
                   ) 
                 
               
             
           
         
       
     
         [0056]    Advantageously, even in this case, the verifier B can compute (12) while waiting for the prover A to compute and send (11). 
         [0057]    Furthermore, all modifications and optimizations described for the authentication algorithm mentioned above can be applied to this algorithm. 
         [0058]    Obviously, to the authentication method of the present invention, those skilled in the art, aiming at satisfying contingent and specific requirements, may carry out further modifications and variations, all however being contemplated within the scope of protection of the invention, such as defined in the annexed claims.