The invention relates to an anonymous authentication technology, in particular to a signature device, a signature verification device, and an anonymous authentication system.
An anonymous authentication is a technology in which a user (signer), to whom an anonymous authentication certificate with a plurality of attributes and a signature key confirmed thereby are provided by an authentication authority, and who possesses, is able to generate a signature which partially discloses the attributes of the anonymous authentication certificate to a provided text, by using these. From the signature, the disclosed attributes and the fact that the signature is generated by using a signature key based on an anonymous authentication certificate are only become clear.
When the anonymous authentication technology is utilized, for example, if a user has only to disclose a signature to an operator at an online-shop, it is possible to use a service without disclosing important individual information, like a credit card number, to the operator. The operator is not able to know the individual information of the user from the signature. But the operator can provide services to the user with ease and safely recover a service charge through the authentication authority, because the operator is able to know that the user is a member who is authenticated by the authentication authority (e.g. credit card company).
Being sensitive to leakage of individual information, a user intends to reduce the individual information which is disclosed to an operator. Meanwhile, since a cost for management of the individual information increases, an operator intends to reduce the stored individual information on users. Therefore, it is expected that the anonymous authentication technology can provide users and operators with a useful method for using the individual information.
An anonymous authentication signature system described in Non-patent document 1 is explained.
Suppose that p is a prime number and a randomly-selected element γ of a field (Z/pZ) is an authentication secret key. Public variables includes a natural number N, the prime number p, and character strings describing Group 1, Group 2, Group T, which are with an order p, a bilinear map e from Group 1 and Group 2 to Group T, an isomorphic map π from Group 2 to Group 1, and a Hash function Hash mapping a character string to the field (Z/pZ). The public variable further includes a generator g[2] of Group 2, a generator g[1] of Group 1 where π(g[2])=g[1], and elements h, h[1], . . . , h[N] of Group 2 generated from an output of Hash function. A authentication authority public key y is described as y=g[1]γ.
An attribute of a signer comprises N elements of Z/pZ. Here, attributes of a signer S are denoted as θ[1], . . . , θ[N]. The anonymous authentication certificate and the signature key of the signer are generated by interaction between the signer and the authentication authority through a communication line, and are the anonymous authentication certificate (a, ω) and the signature key ξ which satisfy a relation represented in the formula (1) (aεGroup 2, ωεZ/pZ, ξεZ/pZ).
aγ+ω=g[2]hξΠi=1Nh[i]θ[i] (1)
The signature device 500 shown in
In response to these inputs, the non-interactive zero-knowledge proof generation means 501 generates a non-interactive zero-knowledge proof prf of the knowledge which satisfies the relation shown in the formula (2) with respect to g[1], g[2], h, h[i], θ[i], and y. The prf is a selected attributes disclosure signature (signature).
e(yg[1]Ω,A)=e(g[1],g[2]hΞΠiε{1, . . . ,N}h[i]Θ[i]·ΠiεOh[i]θ[i]),(AεGroup2, ΩεZ/pZ, ΞεZ/pZ,{Ξ[i]εZ/pZ}iε{1, . . . ,N}) (2)
The signature verification device 600 shown in
In response to these inputs, the non-interactive zero-knowledge proof verification means 601 outputs an “receipt/refusal of receipt” signal indicating whether or not the signature prf which is the non-interactive zero-knowledge proof is a non-interactive zero-knowledge proof of the knowledge which satisfies the relation shown in the formula (3).
e(yg[1]Ω,A)=e(g[1],g[2]hΞΠiε{1, . . . , N}h[i]Θ[i]·ΠiεOh[i]θ[i]),(AεGroup2,ΩεZ/pZ,ΞεZ/pZ,{Θ[i]εZ/pZ}iε{1, . . . , N}) (3)
In relation to the technology, the following Patent documents are disclosed. Patent document 1 describes an electronic signature deputizing method which enables a non-user of a key to use the key under conditions the user of the key registered in advance. Patent document 2 describes an anonymous authentication technology where an anonymous public key is made from a proper public key, and authentication is conducted by using the anonymous public key and a proper secret key. Patent document 3 describes a digital signature technology in which load of an authentication authority conducting authentication is reduced by using an attribute certificate, a validity certificate, a time stamp and the like, together with a public key.
The anonymous authentication technology described above preliminarily limits the number of attributes which a signer can hold. This means that N attributes are fixed when an anonymous authentication certificate is generated, and that a new attribute other than the N attributes is not able to be acquired. That is, it is necessary to invalidate a former anonymous authentication certificate once and to newly issue an anonymous authentication certificate, in order to acquire a new attribute. The invalidating process cannot be frequently conducted, because the process affects a public key and imposes some processes on the other signers.
However, a process to give an attribute with an expiration date to a signer, who is a member of the real society, and further give an attribute with a next expiration date when due thereto frequently occurs in the real society, for example, like a case in which a signer has a new credit card and renews the expiration date of the credit card. Though it is needed that an attribute, which the signer possesses, is easily added in order to quickly conduct these processes, having difficulty in adding the attribute, the anonymous authentication technology above-mentioned lacks convenience in the process which frequently may occur.
Since the above-mentioned anonymous authentication technology proves, by zero-knowledge, knowledge of each attribute which is not disclosed, data and calculation which are required for the proof corresponding to each attribute are piled up and a length of a selected attributes disclosure signature becomes long. Since the length of the selected attributes disclosure signature, therefore, is proportional to the number of the attributes which are not disclosed, calculation amount required for the process increases. This means that operations for selecting large N, for holding the anonymous authentication certificate wholly including attributes which are not frequently used, and for generating the selected attributes disclosure signature disclosing only a small number of required attributes, are not efficient.
Configurations solving the problems described above are not described in Non-Patent document 1 and Patent documents 1 to 3.
An object of the invention is to provide a signature device, a signature verification device, an anonymous authentication system, a signing method, a signature verification method, and programs therefor which make it possible to issue the anonymous authentication certificate where a signer can have any number of attributes and the length of the signature is not affected by the number of attributes which are not disclosed and the number of attributes which are disclosed.
A signature device has means for receiving inputs of an authentication authority public key, an anonymous authentication certificate, a signature key, a text, an attribute proof set, and an attribute public key, attribute set representation value generation means for generating an attribute set representation value from the inputted attribute proof set and the inputted attribute public key, attribute set representation key generation means for generating an attribute set representation key from the attribute proof set, non-interactive zero-knowledge proof generation means for generating a non-interactive zero-knowledge proof from the authentication authority public key, the anonymous authentication certificate, the signature key, and the text, that are inputted therein, the attribute set representation value generated by the attribute set representation value generation means, and the attribute set representation key generated by the attribute set representation key generation means, and signature output means for outputting the non-interactive zero-knowledge proof as signature data.
A signature verification device has means for receiving inputs of an authentication authority public key, an attribute public key, one or more attributes, a text, and signature data including a non-interactive zero-knowledge proof, attribute set representation value generation means for generating an attribute set representation value from the inputted attributes and the inputted attribute public key, and non-interactive zero-knowledge proof verification means for determining whether or not the signature data is a proper signature with respect to the text under disclosure of the attributes by the authentication authority public key, the text, and the attribute set representation value generated by the attribute set representation value generation means and for outputting the result thereof.
An anonymous authentication system includes a signature device that is characterized in comprising means for receiving inputs of an authentication authority public key, an anonymous authentication certificate, a signature key, a text, an attribute proof set, and an attribute public key, attribute set representation value generation means for generating an attribute set representation value from the attribute proof set and the attribute public key, attribute set representation key generation means for generating an attribute set representation key from the attribute proof set, non-interactive zero-knowledge proof generation means for generating non-interactive zero-knowledge proof from the authentication authority public key, the anonymous authentication certificate, the signature key, the attribute set representation value generated by the attribute set representation value generation means, and the attribute set representation key generated by the attribute set representation key generation means, and signature output means for outputting the non-interactive zero-knowledge proof as signature data, and a signature verification device that is characterized in comprising means for receiving inputs of the authentication authority public key, the attribute public key, one or more attributes, the text, and the signature data including the non-interactive zero-knowledge proof, attribute set representation value generation means for generating the attribute set representation value from the attributes and the attribute public key, and non-interactive zero-knowledge proof verification means for determining whether or not the signature data is a proper signature with respect to the text under disclosure of the attributes by the authentication authority public key, the text, and the attribute set representation value generated by the attribute set representation value generation means, and for outputting the result thereof.
A signing method is characterized in causing a computer to execute following processes: receiving inputs of an authentication authority public key, an anonymous authentication certificate, a signature key, a text, an attribute proof set, and an attribute public key, generating an attribute set representation value from the attribute proof set and the attribute public key, generating an attribute set representation key from the attribute proof set, generating a non-interactive zero-knowledge proof from the authentication authority public key, the anonymous authentication certificate, the signature key, the text, the generated attribute set representation value, and the generated attribute set representation key, and outputting the non-interactive zero-knowledge proof as signature data.
A signature authentication method is characterized in causing a computer to execute following processes: receiving inputs of an authentication authority public key, an attribute public key, one or more attributes, a text, and signature data including a non-interactive zero-knowledge proof, generating an attribute set representation value from the attributes and the attribute public key, and determining whether or not the signature data is a proper signature with respect to the text under disclosure of the attributes by the authentication authority public key, the text, and the generated attribute set representation value, and outputting the result thereof.
A signature program is causing a computer to execute: a step of receiving inputs of an authentication authority public key, an anonymous authentication certificate, a signature key, a text, an attribute proof set, and an attribute public key, a step of generating an attribute set representation value from the attribute proof set and the attribute public key, a step of generating an attribute set representation key from the attribute proof set, a step of generating a non-interactive zero-knowledge proof from the authentication authority public key, the anonymous authentication certificate, the signature key, the text, the generated attribute set representation value, and the generated attribute set representation key, and a step of outputting the non-interactive zero-knowledge proof as the signature data.
A signature verification program is causing a computer to execute: a step of receiving inputs of an authentication authority public key, an attribute public key, one or more attributes, a text, and signature data including a non-interactive zero-knowledge proof, a step of generating an attribute set representation value from the attributes and the attribute public key, and a step of determining whether or not the signature data is a proper signature with respect to the text under disclosure of the attributes by the authentication authority public key, the text, and the generated attribute set representation value, and outputting the determined result.
Since the invention is configured to allocate only one public key to all the attributes and to generate the non-interactive zero-knowledge proof from the anonymous authentication certificate corresponding to each attribute and output as signature data, as described above, only one public key is required and data of the non-interactive zero-knowledge proof does not include a value corresponding to each attribute. Provided is the signature device, the signature verification device, the anonymous authentication system, the signing method, the signature verification method, and programs therefor which includes characteristics in which a signer can have any number of attributes and it is possible to issue the anonymous authentication certificate where the length of the signature is not affected by the number of the attributes which are not disclosed and the number of the attributes which are disclosed.
A configuration of an embodiment of the invention is described below, referring to attached
Initially, a basic content of the embodiment is explained and, after that, a detailed content is described.
A signature device of the embodiment (c.a. signature device 210 in an anonymous authentication system 1 in
As details being described below, the attribute proof set is a set of one or more pairs of an attribute to be disclosed and an attribute key corresponding to the attribute. The attribute public key comprises one or more elements of a cyclic group, the number of which is proportional to the number of attributes that is simultaneously disclosable. The attribute set representation value is the sum of results obtained by multiplying each element of the attribute public key by a coefficient calculated from the values of the attributes included in the attribute proof set. The attribute set representation key is the sum of results obtained by multiplying each element of the attribute key included in the attribute proof set by a coefficient calculated from the values of the attributes included in the attribute proof set.
The signature device 210 may further include a tracking ciphertext generation unit 203 which generates a tracking ciphertext from random numbers, a tracking public key, the authentication authority public key, and the signature key, which are inputted therein. In this case, the non-interactive zero-knowledge proof generation unit 205 generates the non-interactive zero-knowledge proof from the authentication authority public key, the anonymous authentication certificate, the signature key, the text, the attribute set representation value, the attribute set representation key, the tracking ciphertext, and the random numbers.
The signature device 210 may include a linkage identifier generation unit 204 generating a linkage identifier from the inputted authentication authority public key, a determiner indicating whether or not the linkage identifier is generated, and a linkage character string. In this case, the non-interactive zero-knowledge proof generation unit generates the non-interactive zero-knowledge proof from the authentication authority public key, the anonymous authentication certificate, the signature key, the text, the attribute set representation value, the attribute set representation key, the linkage character string, the linkage identifier, and the random numbers.
Next, a signature verification device of the embodiment (e.g. signature verification device 310 in an anonymous authentication system 1 in
As mentioned above, the attribute public key comprises a plurality of elements of the cyclic group, the number of which is proportional to the number of attributes that is simultaneously disclosable, and the attribute set representation value is the sum of results obtained by multiplying each element of the attribute public key by a coefficient calculated from the values of the attributes.
The non-interactive zero-knowledge proof verification unit 303 determines whether or not the signature data is a proper signature with respect to the text by the authentication authority public key, the attribute set representation value, the text, the tracking public key, and the tracking ciphertext.
The signature verification device 310 (selected attributes disclosure signature verification unit 300 in
As shown in
The anonymous authentication system 1 may further include an authentication authority device 30 mutually connected to the signature device 210 and the signature verification device 310. The authentication authority device 30 includes an attribute adding unit 410 and an attribute acquiring unit 420 as shown in
The signature device 210 in the anonymous authentication system 1 may include the tracking ciphertext generation unit 203 generating the tracking ciphertext from the random numbers, the tracking public key, the authentication authority public key, and the signature key, which are inputted therein. In this case, the non-interactive zero-knowledge proof generation unit 205 generates the non-interactive zero-knowledge proof from the authentication authority public key, the anonymous authentication certificate, the signature key, the text, the attribute set representation value, the attribute set representation key, the tracking ciphertext, and the random numbers. The non-interactive zero-knowledge proof verification unit 303 in the signature verification device 310 determines whether or not the signature data is a proper signature with respect to the text by the authentication authority public key, the attribute set representation value, the text, the tracking public key, and the tracking ciphertext. The authentication authority device 30 includes a tracking unit 430, an invalidating unit 440, and a key renewal unit 450. The tracking unit 430 generates the signer information from the authentication authority public key, the attribute public key, a tracking secret key, the tracking public key, the member list, the signature, the attribute, and a message. The invalidating unit 440 generates invalidation information from an authentication authority secret key, the authentication authority public key, the member list, and a part of the signer information. The key renewal unit 450 renews the anonymous authentication certificate from the authentication authority public key, the attribute public key, the signature key, the anonymous authentication certificate, and the invalidation information.
The anonymous authentication system 1 can issue the anonymous authentication certificate in which a signer can have any number of attributes, and the length of the signature is not affected from the number of the attributes which are not disclosed and the number of the attributes which are disclosed.
The above descriptions are explained in detail.
In the specification, p is a prime number, N is a natural number, each of Group 1, Group 2, group T, and group E is a group with order p, and a bilinear map e from the Group 1 and Group 2 to the group T exists. The group E is, for example, a multiplicative group on a prime field, a general elliptic curve, or the like, and is a group in which it is difficult to solve Decision Diffie-Hellman problem. π is an isomorphic map from Group 2 to Group 1.
Hash is Hash function which maps a character string to a field (Z/pZ). Hash[E] is Hash function which maps a character string to the group E. g[2] is a generator of Group 2, and g[1] is a generator of Group 1 where π(g[2])=g[1]. g is a generator of the group E. f and h are elements of Group 1 which are randomly selected. Public variables param are p, N, g[1], g[2], g, f, h, and character strings which describe Group 1, Group 2, Group T, the bilinear map e, the isomorphic map π, Hash function Hash which maps a character string to Z/pZ, and a Hash function Hash[E] which maps a character string to group E.
An authentication authority secret key φ is an element of the field Z/pZ, which is randomly selected. The authentication authority public key is y=g[2]φ. ψ is an element of the field Z/pZ, which is randomly selected. d is an element of Group 1, which is randomly selected. With respect to i=1, . . . , N, ψ[i]=ψi, and z[i]=g[2]ψ[i] hold. The attribute secret key is ψ, the attribute public key is d, z[i] (I=1, . . . , N).
σ and τ are two points on the field Z/pZ, which are randomly selected. Suppose that s and t are s=gσ and t=gτ, respectively. It is defined that the tracking secret key is (σ, τ), and the tracking public key is (s, t).
A signer is preliminarily given, from an authentication authority, a signature key ξεZ/pZ which is randomly selected, an anonymous authentication certificate (a, ω, η) satisfying the formula (4), and an identifier q satisfying the formula (5).
e(a,yg[2]ω)e(fξ,g[2])e(hη,g[2])=e(g[1],g[2]),(aεGroup 1,ωεZ/pZ,ηεZ/ZpZ) (4)
q=gξ (5)
A signer information (q, ω), and an attribute proof set attr are generated for each identifying person and stored in a member list L described below. An initial value of the attribute proof set attr is an empty set.
CPUs included in the signer device 10, the operator device 20 and the authentication authority device 30 are described as a CPU 11, a CPU 21, and a CPU 31, respectively. A HDD 103 included in the authentication authority device 30 is described as a HDD 32.
The authentication authority device 30 functions as an attribute adding device, an attribute acquiring device, a tracking device, an invalidating device and a key renewal device by an attribute adding unit 410, an attribute acquiring unit 420, a tracking unit 430, an invalidating unit 440 and a key renewal unit 450, respectively, each being executed as a computer program in the CPU 31 included in the authentication authority device 30. A member list L 460 above-mentioned is stored in the HDD 32.
A anonymous authentication certificate (a, ω, η), a signature key (ξ), a disclosed attribute proof set attr=(Θ[i], x[i]), and a text m are inputted into the selected attributes disclosure signature unit 200, where i=1, . . . , M, and M≦N. A determiner Dε{0, 1} representing whether or not linkage identifier generation is carried out is inputted into the selected attributes disclosure signature unit 200. If D=1, a linkage character string ref is simultaneously inputted.
The selected attributes disclosure signature unit 200 includes the attribute set representation value generation unit 201, the attribute set representation key generation unit 202, the tracking ciphertext generation unit 203, the linkage identifier generation unit 204, the non-interactive zero-knowledge proof generation unit 205, and the signature output unit 206. An operation of each of the units is described below.
The attribute set representation value generation unit 201 calculates all coefficients of the polynomial denoted by the formula (6) on a variable ψ.
Πi=1M(ψ+Hash(Θ[i])) (6)
And an attribute set representation value ψ denoted by the formula (7) is generated from the coefficients and z[i] (i=1, . . . , M), where ψ[k] is the k-th degree coefficient of ψ (
Ψ=Πi=1Mz[i]ψ[i]=g[2](Π
The attribute set representation key generation unit 202 generates an attribute set representation key x′ denoted by the formula (8) (
The tracking ciphertext generation unit 203 randomly selects elements μ, ν, λ of Z/pZ, generates a tracking ciphertext (c, u, v) denoted by the formula (9), and generates b and Δ denoted by the formula (10). Then, the relation denoted by the formula (11) (
(c,u,v)=(gξ+λ,sλ,tλ) (9)
b=ahμ
Δ=x′g[1]ν (10)
The linkage identifier generation unit 204 generates a linkage identifier tag denoted by the formula (12), if D=1 (
tag=Hash[E](ref)ξ (12)
The non-interactive zero-knowledge proof generation unit 205 generates a non-interactive zero-knowledge proof of (ω, ξ, ζ, ν, λ) which satisfies each of the relations denoted by the formula (9), the formula (12), which are described above, and the formula (13). However, only if D=1, the formula (12) is considered (
More specifically, the non-interactive zero-knowledge proof generation unit 205 initially selects elements ω′, ξ′, ζ′, ν′, λ′ of Z/pZ, at random, and generates Ω′, Γ′, (c′, u′, v′) and a tag′ denoted by the formula (14). However, only if D=1, the tag′ is generated.
Ω′=e(b,g[2])ω′e(f,g[2])ξ′e(h,g[2])ζ′e(h,y)−ν′
Γ′=e(g[1],Ψ)−ν′e(d,g[2])ω′
(c′,u′,v′)=(gξ′+λ′,sλ′,tλ′)
tag′=Hash[E](ref)ξ′ (14)
After that, the non-interactive zero-knowledge proof generation unit 205 generates γ denoted by the formula (15). However, only if D=1, the tag′ is included in an argument of Hash function of the formula (15).
γ=Hash(param,mpk,tpk,apk,attr,b,Δ,c,u,v,Ω′,Γ′,c′,u′,v′,tag′,m) (15)
The non-interactive zero-knowledge proof generation unit 205 generates ω″, ξ″, ζ″, ν″, λ″ denoted by the formula (16).
ω″=γω+ω′
ξ″=γξ+ξ′
ζ″=γ(η−ων)+ζ′
ν″=γν+ν′
λ″=γλ+λ′ (16)
The signature output unit 206 finally outputs a gs denoted by the formula (17) as the signature with respect to the text m under disclosure of attributes Θ[i] (i=1, . . . , M). However, only if D=1, the linkage identifier tag is included in the gs denoted by the formula (17).
gs=(b,Δ,c,u,v,tag,γ,ω″,ξ″,ζ″,ν″,λ″) (17)
The disclosed attributes Θ[i] (i=1, . . . , M), the determiner Dε{0, 1}, the linkage character string ref, the signature gs denoted by the formula (21) are further inputted into the selected attributes disclosure signature verification unit 300, where M≦N. However, only if D=1, the linkage character string ref is inputted, and the signature includes the linkage identifier tag.
The selected attributes disclosure signature verification unit 300 includes the attribute set representation value generation unit 301, the linkage identifier and character string input unit 302, and the non-interactive zero-knowledge proof verification unit 303. An operation of each of the units is described below.
The attribute set representation value generation unit 301 calculates all coefficients of the polynomial denoted by the formula (18) on the variable ψ. The k-th degree coefficient of ψ is denoted as ψ[k]. The attribute set representation value ψ denoted by the formula (19) is generated from the coefficients and z[i] (i=1, . . . , M) (
Πi=1M(ψ+Hash(Θ[i])) (18)
Ψ=Πi=1Mz[i]ψ[i]=g[2](Π
The non-interactive zero-knowledge proof verification unit 303 verifies whether or not (γ, ω″, ξ″, ζ″, ν″, λ″) included in the inputted gs are non-interactive zero-knowledge proofs of (ω, ξ, ζ, ν, λ) which satisfy the formulas (20)-(22). The signature verification device 310 outputs the verification result as a verification result. However, only if D=1, the formula (22) is calculated.
(c,u,v)=(gξ+λ,sλ,tλ) (20)
tag=Hash[E](ref)ξ (22)
More specifically, the non-interactive zero-knowledge proof verification unit 303 carried out verification of calculations denoted by the formulas (20)-(22) by generating each value according to each of equalities of the formula (23) (
The non-interactive zero-knowledge proof verification unit 303 verifies whether or not these values satisfy the condition shown in the formula (24) (
γ=Hash(param,mpk,tpk,apk,attr,b,Δ,c,u,v,Ω′,c′,u′,v′,tag′,m) (24)
Each of operations of the attribute adding unit 410, the attribute acquiring unit 420, the tracking unit 430, the invalidating unit 440 and the key renewal unit 450 which operate in the authentication authority device 30 of
x=(g[1]d−ω)1/(ψ+θ) (25)
Each of the public variables param (p, N, g[1], g[2], g, f, h), the authentication authority public key mpk=(y), the attribute public key apk=(d, z[i]), the signer information (q, ω), and the attribute proof (Θ, x) is inputted into the attribute acquiring unit 420. After confirming that the condition denoted by the formula (26) holds, the attribute acquiring unit 420 stores the attribute proof (Θ, x).
e(x,z[1]g[2]Hash(Θ))e(dω,g[2])=e(g[1],g[2]) (26)
Each of the public variables param which are character strings and (p, N, g[1], g[2], g, f, h), the authentication authority public key mpk=(y), the attribute public key apk=(d, z[i]) (i=1, . . . , N), the tracking public key tpk=(s, t), the tracking secret key tsk=(σ, τ), the signature gs denoted by the formula (27), and the member list L 460 is inputted into the tracking unit 430, where M≦N.
gs((Θ[i])i=1, . . . , M,b,Δ,c,u,v,tag,γ,ω″,ξ″,ζ″,ν″,λ″) (27)
The tracking unit 430 generates q denoted by the formula (28), searches the signer information including it from the member list L 460 and outputs. The non-interactive zero-knowledge proof prf on existence of σ which satisfies the condition denoted by the formula (29) is generated and outputted.
q=cu−σ (28)
u=(q/c)σ
t=gσ (29)
Each of the public variables param which are character strings and (p, N, g[1], g[2], g, f, h), the authentication authority public key mpk=(y), and the authentication authority secret key sk=φ, and further the member list L 460, and the signer information (q′, ω′) on an invalidated signer are inputted into the invalidating unit 440.
The invalidating unit 440 confirms that U′ and attr′ exist in the member list 460, and generates each of data denoted by the formula (30) thereon. After that, ω′ and (g′[1], f′, h′) are outputted as invalidation information.
g′[1]=g[1]1/(φ+ω′)
f′=f1/(φ+ω′)
h′=h1/(φ+ω′) (30)
Each of the public variables param which are character strings and (p, N, g[1], g[2], g, f, h), and the authentication authority public key mpk=(y), and further the anonymous authentication certificate (a, ω, η), the signer key (ξ), and an invalidation information (ω′, (g′[1], f′, h′)) are inputted into the key renewal unit 450.
The key renewal unit 450 generates a′ denoted by the formula (31) and outputs the new anonymous authentication certificate (a′, ω, η) as the renewed one of the anonymous authentication certificate (a, ω, η).
a′=(ag′[1]−1 f′−ξh′η)1/(ω′−ω) (31)
Only the authentication authority device 30 stores the member list L 460, the authentication authority secret key, the attribute secret key, and the tracking secret key, which are not disclosed to the signer device 10 and the operator device 20. The signature key (ξ) is given to the signer device 10 in advance.
The public variables param (p, N, g[1], g[2], f, h), the authentication authority public key mpk=(y), the attribute secret key, and the attribute public key apk=(d, z[i]) are inputted into the attribute adding unit 410.
Each of the public variables param (p, N, g[1], g[2], g, f, h), the authentication authority public key mpk=(y), the attribute public key apk=(d, z[i]), and the tracking public key tpk=(s, t) is inputted into the signature verification device 310 shown in
Each of the public variables param (p, N, g[1], g[2], g, f, h), the authentication authority public key mpk=(y), the attribute public key apk=(d, z[i]), the tracking secret key, and the tracking public key tpk=(s, t) is inputted into the tracking unit 430.
Each of the public variables param (p, N, g[1], g[2], f, h), the authentication authority secret key, and the authentication authority public key mpk=(y) is inputted into the invalidating unit 440.
Each of the public variables param (p, N, g[1], g[2], g, f, h), the authentication authority public key mpk=(y), the attribute public key apk=(d, z[i]), the signer information (q, ω), and the attribute proof (Θ, x) is inputted into the attribute acquiring unit 420.
Each of the public variables param (p, N, g[1], g[2], g, f, h), the authentication authority public key mpk=(y). the attribute public key apk=(d, z[i]), and the tracking public key tpk=(s, t) is inputted into the signature device 210 shown in
Each of the public variables param (p, N, g[1], g[2], g, f, h), the authentication authority public key mpk=(y), the attribute public key apk=(d, z[i]), and the tracking public key tpk=(s, t) is inputted into the key renewal unit 450.
When signer information (q, ω) and attributes Θε{0, 1}* are inputted, the attribute adding unit 410 conducts calculation denoted in the formula (25) and outputs the attribute proof (Θ, x). The attribute proof (Θ, x) is sent to the attribute acquiring unit 420 which is prepared in response to the inputted signer information (q, ω). The attribute acquiring unit 420 confirms that the condition denoted in the formula (26) described above holds with respect to the inputted attribute proof (Θ, x).
In response to the signer information (q, ω), the attribute adding unit 410 generates the attribute proof (Θ, x) and the attribute acquiring unit 420 confirms and stores the attribute proof (Θ, x). The attribute proof set attr=(Θ[i], x[i]) comprising a combination of a plurality of the confirmed and stored attribute proofs is inputted into the signature device 210 in response to the signer information (q, ω).
When the text m, the linkage character string ref, the determiner D, the attribute proof set attr=(Θ[i], x[i]) to be disclosed, the anonymous authentication certificate (a, ω, η), and the signature key (ξ) are inputted, the signature device 210 generates the signature gs according to the operation mentioned above.
When the signature gs generated by the signature device 210, the disclosed attributes Θ[i], and the text m are inputted into the signature verification device 310, the signature verification device 310 outputs data representing “receipt” or “refusal of receipt” according to the operation mentioned above.
When the member list L 460, the signature gs generated by the signature device 210, and the disclosed attributes Θ[i] are inputted, the tracking unit 430 searches the signer information (q, ω) including q denoted by the formula (28) from the member list L 460 and outputs according to the operation mentioned above.
When the member list L 460 and the signer information (q′, ω′) corresponding to an invalidated member (signer) are inputted into the invalidating unit 440, ω′ and (g′[1], f′, h′) both denoted by the formula (30) are outputted as the invalidation information according to the operation mentioned above.
When the anonymous authentication certificate (a, ω, η), the invalidation information ω′, and (g′[1], f′, h′) are inputted into the key renewal unit 450, calculations denoted by the formula (31) are conducted according to the operation described above, and the new anonymous authentication certificate (a′, ω, η) is outputted. The new anonymous authentication certificate (a′, ω, η) is inputted into the signature device 210.
Next, whole operations of the embodiment above are described. The signing method of the invention described below is a method which generates the signature data using the signature device 210. The signature device 210 initially receives inputs of the authentication authority public key, the anonymous authentication certificate, the signature key, the text, the attribute proof set, and the attribute public key. Next, the signature device 210 generates the attribute set representation value from the inputted attribute proof set and the inputted attribute public key (
The signature verification method of the invention described below is the signature verification method including verifying whether or not the signature data is proper by using the signature verification device 310 and outputting the result thereof. Initially, the signature verification device 310 receives inputs of the authentication authority public key, the attribute public key, the attribute, the text, and the signature data including the non-interactive zero-knowledge proof. Next, the signature verification device 310 generates the attribute set representation value from the inputted attribute and the attribute public key (
The signature device 210 or the signature verification device 310, which is a component directly executing each of the steps, may execute the program in which each of the operational steps mentioned above is programmed so as to be executable on a computer.
Due to the configuration and the operation, the embodiment has the advantages described below.
The anonymous authentication system 1 of the embodiment can unlimitedly generates the attribute proof (Θ, x) corresponding to (q, ω) by the attribute adding unit 410. A signer who receives the attribute proof (Θ, x) at the attribute acquiring unit 420 can disclose any attributes Θ[i] in attr=(Θ[i], x[i]) together with the signature gs to be generated, by using the signature device 210.
The signature verification device 310 can verify whether or not the signature gs, the disclosed attributes Θ[i], and the text m are proper. And, the tracking unit 430 can search and take the signer information (q, ω) in the member list L 460 through the signature gs.
In the embodiment, regarding the signature gs which the signature device 210 generates, calculation amount for the generation thereof only increases in proportion to the number of disclosed attributes, and the length of the signature does not increase depending on the number of attributes associated with the signer information. Though the number of the attributes which are able to be disclosed at once is limited to the number not greater than a predetermined number N, it does not matter for operation for using the anonymous authentication system.
The minimum configuration of the signature device of the invention is a configuration including a unit which receives inputs of the authentication authority public key, the anonymous authentication certificate, the signature key, the text, the attribute proof set, and the attribute public key, the attribute set representation value generation unit 201, the attribute set representation key generation unit 202, the non-interactive zero-knowledge proof generation unit 205, and the signature output unit 206. The attribute set representation value generation unit 201 generates the attribute set representation value from the inputted attribute proof set and the inputted attribute public key. The attribute set representation key generation unit 202 generates the attribute set representation key from the attribute proof set which the attribute set representation value generation unit 201 generates. The non-interactive zero-knowledge proof generation unit 205 generates the non-interactive zero-knowledge proof from the authentication authority public key, the anonymous authentication certificate, the signature key, the text, which are inputted therein, and the attribute set representation value, and the attribute set representation key. The signature output unit 206 outputs the non-interactive zero-knowledge proof as the signature data.
The signature device with the configuration described above generates the attribute set representation value representing the whole attributes to be disclosed and the corresponding attribute public key as one value, and the attribute set representation key corresponding to the attribute set representation value. The signature device generates the non-interactive zero-knowledge proof from data including the generated attribute set representation value and the generated attribute set representation key and outputs as the signature data. Because the non-interactive zero-knowledge proof does not include a value corresponding to each of attributes, a data size of the non-interactive zero-knowledge proof is not affected by the number of the attributes.
Therefore, the signature device with the minimum configuration described above has an advantage that the length of the signature is not affected by the number of the attributes.
While the invention has been particularly shown and described with reference to exemplary embodiments thereof, the invention is not limited to these embodiments. It will be understood by those of ordinary skill in the art that various changes in form and details may be made therein without departing from the spirit and scope of the present invention as defined by the claims.
The application is based upon and claims the benefit of priority from Japanese patent application No. 2009-130644, filed on May 29, 2009, the disclosure of which is incorporated herein in its entirety by reference.
The invention can be applied to a system and a device using anonymous authentication.
Number | Date | Country | Kind |
---|---|---|---|
2009-130644 | May 2009 | JP | national |
Filing Document | Filing Date | Country | Kind | 371c Date |
---|---|---|---|---|
PCT/JP2010/058482 | 5/13/2010 | WO | 00 | 11/11/2011 |
Publishing Document | Publishing Date | Country | Kind |
---|---|---|---|
WO2010/137508 | 12/2/2010 | WO | A |
Number | Name | Date | Kind |
---|---|---|---|
20020007457 | Neff | Jan 2002 | A1 |
20020112166 | Jakobsson | Aug 2002 | A1 |
20090041239 | Teranishi | Feb 2009 | A1 |
20090287926 | Furukawa | Nov 2009 | A1 |
Number | Date | Country |
---|---|---|
2002341762 | Nov 2002 | JP |
2004005643 | Jan 2004 | JP |
2005064791 | Mar 2005 | JP |
2006108917 | Apr 2006 | JP |
2007135580 | Nov 2007 | WO |
Entry |
---|
International Search Report for PCT/JP2010/058482 mailed Jun. 15, 2010. |
M. H. Au et al., “Constant-Size Dynamic k-TAA”, Security and Cryptography for Networks, 5th International Conference, SCN 2006, Springer, Lecture Notes in Computer Science, vol. 4116, 2006. |
H. Maji et al., “Attribute Based Signatures: Achieving Attribute-Privacy and Collusion-Resistance”, [online], Apr. 2008, pp. 1-23, [retrieved on Jun. 7, 2010], <URL: http://eprint.iacr.org/2008/328.pdf>. |
K. Sako et al., “Selective Attributes Disclosure Scheme for Authentication Infrastructure management”, Symposium on Cryptography and Information Security 2009 (SCIS2009), Jan. 2009. |
Y. Tamura et al., “Anonymous Multiple Credential System”, IEICE Technical Report, vol. 103, Nov. 2003. |
Number | Date | Country | |
---|---|---|---|
20120060028 A1 | Mar 2012 | US |