(椭圆曲线的定义)。该方案使用一个160位的椭圆加密算法。假设
问是一个大素数和
F
问是一个有限域的模块
问。一个椭圆曲线有限域
F
问可以被定义为:
E
:
y
2
≡
x
3
+
一个
x
+
b
国防部
问,在那里
一个
,
b
,
x,
y
∈
F
问
和
Δ
=
4
一个
3
+
27
b
2
≠
0。
定义2。
(添加椭圆曲线)。假设一个椭圆曲线
P
=
x
1
,
y
1
∈
E,
−
P
=
x
1
,
−
y
1是负面的
P,
问
=
x
2
,
y
2
∈
E
,
问
≠
−
P,线
l通过
P和
问,椭圆曲线相交于一点
R
′
=
x
3
,
−
y
3,对称点
x设在与
R
′是
R
=
x
3
,
y
3和
R
=
P
+
问。添加循环群的秩序
问在椭圆曲线上
E是
G
问
=
x
,
y
:
一个
,
b
,
x
,
y
∈
F
问
,
x
,
y
∈
F
问
,
一个
,
b在哪里
G发电机在椭圆曲线
E和椭圆曲线标量乘法操作
k
P
=
P
+
P
+
P
+
⋯
+
P
k
,
k
∈
Z
问
∗。
定义3。
(椭圆曲线离散对数问题(ECDLP))。有两个点
P
1和
P
2在椭圆曲线上
E有限域上的
F
问和存在
k
∈
Z
问
∗,这样
P
1
=
k
P
2;计算是可行的
P
1从
k和
P
2计算,但它不是明智的
k从
P
1和
P
2。
3所示。建立一个匿名认证方案基于Certificateless群签名
设计理念。摘要certificateless设计理念是集成到基于群签名方案,简化了成员加入的过程,并且可以抵抗公钥替换攻击。在会员加入过程中,成员
一个使用私钥签署
年代
K
一个,获得身份签名信息
h
一个,并发送
我
D
一个
Y
一个
h
一个
v
一个
b
一个来
RSU和
RSU获得
一个的公钥
助教验证发送的身份信息
一个。它不仅证明了的合法性
一个而且还避免了公钥替换攻击。此外,在生成的过程中小组成员证书,车辆用户需要验证组管理员的身份
RSU在接受会员证书之前提高证书的可信性。
基于所选择的安全参数
k,
助教生成两个大素数
p和
问,这样
问
p
−
1。选择发电机
P循环群
G椭圆曲线上的秩序
问。然后,选择两个无碰撞散列函数:
H
:
0 1
∗
⟶
Z
问
∗和
H
1
:
0 1
∗
×
G
⟶
Z
问
∗。
助教选择一个随机参数
z
∈
Z
问
∗作为系统主密钥和计算
P
z
=
z
P公共密钥。
助教使系统参数
参数个数
=
p
,
问
,
G
,
P
,
P
z
,
H
,
H
1公开和秘密保存系统主密钥
z。
4.2。公共和私人密钥生成
在这个方案中,
RSU作为一组经理来管理车辆组中的成员。假设组经理的身份信息
RSU是
我
D
RSU,然后
RSU随机选择
x
RSU
∈
Z
问
∗,计算
P
RSU
=
x
RSU
P,并发送
P
我
D
RSU
,
P
RSU来
助教;
助教随机选择
r
RSU
∈
Z
问
∗,计算
R
RSU
=
r
RSU
P和
年代
RSU
=
r
RSU
+
z
H
1
我
D
RSU
P
RSU
R
RSU,并发送
R
RSU
,
年代
RSU来
RSU秘密,
R
RSU部分公共密钥吗
RSU和
年代
RSU的部分私钥吗
RSU;
RSU接收信息,验证是否
年代
RSU
P
=
R
RSU
+
P
z
H
1
我
D
RSU
P
RSU
R
RSU成立,法官部分私钥的有效性
年代
RSU。在这个时候,
RSU得到一个完整的私钥配对
年代
K
RSU
=
x
RSU
,
年代
RSU和一个完整的公共密钥配对
P
K
RSU
=
x
RSU
P
,
年代
RSU
P
=
P
RSU
,
年代
RSU。
助教保存相应的信息
我
D
RSU
,
P
RSU
,
年代
RSU
,
年代
RSU的
RSU并保存公钥公开列表。
假设用户的身份信息
酸
一个是
我
D
一个。通过上述过程,私钥配对
年代
K
一个
=
x
一个
,
年代
一个和公共密钥配对
P
K
一个
=
P
一个
,
年代
一个的用户
酸
一个生成,公钥呢
P
K
一个是公开的。哈希函数
H
1用于生成私钥的一部分。
组管理器
RSU随机选择
e
∈
Z
问
∗并计算出
T
0
=
e
P作为初始群体同步的因素,和同步的因素是订婚了
T。
4.3。加入
当用户
酸
一个想要加入该组织,
酸
一个随机选择
y
一个
∈
Z
问
∗和
b
一个
∈
Z
问
∗并计算出
Y
一个
=
y
一个
P,
h
一个
=
H
我
D
一个
P
K
一个
Y
一个
b
一个,
v
一个
=
y
一个
−
h
一个
⋅
年代
K
一个。用户
酸
一个发送
我
D
一个
Y
一个
h
一个
v
一个
b
一个来
RSU。
RSU发送
我
D
一个来
助教,获得
酸
一个的公钥
P
K
一个,确认是否
Y
一个
′
=
v
一个
P
+
h
一个
P
K
一个
=
Y
一个建立,并生成一个证书吗
酸
一个如果它成立。
RSU随机选择
e
一个
∈
Z
问
∗,计算
E
一个
=
Y
一个
+
e
一个
P
=
e
一个
+
y
一个
P,
h
RSU
=
H
E
一个
P
K
RSU
T,
年代
RSU
=
e
一个
+
年代
K
RSU
⋅
h
RSU,发送
E
一个
,
h
RSU
,
年代
RSU
,
T来
酸
一个,和商店
我
D
一个
,
P
K
一个
,
Y
一个
,
b
一个
,
E
一个
,
E
一个
P
,
e
一个
,
h
一个
,
年代
一个小组成员信息列表。
酸
一个验证
RSU的公钥
P
K
RSU并计算出是否
E
一个
′
=
年代
RSU
+
y
一个
P
−
h
RSU
P
K
RSU
=
E
一个建立了。如果持有,用户
酸
一个加入该组织并生成团体会员证书
我
D
一个
,
P
K
RSU
,
Y
一个
,
E
一个
,
b
一个
,
T。
RSU发送
T
,
b
一个组中的其他成员,成员
酸
B同步更新他们的因素
T
B。假设
酸
B的证书
我
D
B
,
P
K
RSU
,
Y
B
,
E
B
,
b
B
,
T
B,
酸
B计算一个新的同步因素
T
B
′
=
T
+
T
B
b
B
−
b
B,
酸
B新证书
我
D
B
,
P
K
RSU
,
Y
B
,
E
B
,
b
B
,
T
B
′。
RSU更新同步因素
T
′
=
T
⋅
b
一个
+
x
R
年代
U。
4.4。其他步骤
剩下的四个步骤的计划,在秩序,签名,签名验证,成员撤销,和签名。
4.1.1。签名的一代
假定组成员
酸
一个生成一个签名信息
米,计算
C
1
=
E
一个
P
+
T
一个
P
K
RSU和
C
2
=
T
一个
P,
C
3
=
b
一个
E
一个,随机选择
r
1
,
r
2
,
r
3
,
r
4
∈
Z
问
∗,计算
d
1
=
r
1
C
1
−
r
2
P
K
RSU,
d
2
=
r
1
C
2
+
r
3
年代
RSU,
d
3
=
r
3
P,
d
4
=
r
3
P
K
RSU
+
r
4
P,
c
=
H
P
K
RSU
米
C
1
C
2
C
3
d
1
d
2
d
3
d
4,
年代
1
=
r
1
−
c
b
一个,
年代
2
=
r
2
−
c
b
一个
T
一个,
年代
3
=
r
3
−
c
T
一个,
年代
4
=
r
4
−
c
E
一个;输出签名
RM
=
c
,
年代
1
,
年代
2
,
年代
3
,
年代
4
,
C
1
,
C
2
,
C
3。
10/24/11。签名验证
验证人计算
d
1
′
=
年代
1
C
1
−
年代
2
P
K
RSU
+
c
P
C
3,
d
2
′
=
年代
1
C
2
+
年代
3
年代
RSU
+
c
T
P,
d
3
′
=
年代
3
P
+
c
C
2,
d
4
′
=
c
C
1
+
年代
4
P
+
年代
3
P
K
RSU,
c
′
=
H
P
K
RSU
米
C
1
C
2
C
3
d
1
′
d
2
′
d
3
′
d
4
′基于
c
,
年代
1
,
年代
2
,
年代
3
,
年代
4
,
C
1
,
C
2
,
C
3。如果方程
c
′
=
c,验证通过。
4.4.3。成员撤销
取消用户
酸
一个,
RSU计算一个新的同步因素
T
′
=
T
⋅
b
一个
+
x
RSU
−
1基于
T
,
b
一个。然后,
RSU发送
T
′
,
b
一个在该组织其他成员
酸
B,
酸
B同步更新他们的因素
T
B来
T
B
′,在那里
T
B
′
=
T
B
−
T
′
⋅
b
一个
−
b
B
−
1。
4.4.4。签名开放
当
RSU发现小组成员车辆用户发送的消息签名是假的信息或群体成员之间的纠纷发生,它计算
E
一个
P
=
C
1
−
C
2
年代
K
RSU基于签名的消息
RM
=
c
,
年代
1
,
年代
2
,
年代
3
,
年代
4
,
C
1
,
C
2
,
C
3和经理的私钥
年代
K
RSU
=
x
RSU
,
年代
RSU然后找到相应的小组成员的身份。
5。匿名方案分析5.1。正确分析5.1.1。密钥分发的正确性
后组管理器
RSU接收
R
RSU
,
年代
RSU,验证是否
年代
RSU
P
=
R
RSU
+
P
z
H
1
我
D
RSU
P
RSU
R
RSU建立了。自
年代
RSU
P
=
r
RSU
P
+
z
P
H
1
我
D
RSU
P
RSU
R
RSU
=
R
RSU
+
P
z
H
1
我
D
RSU
P
RSU
R
RSU,验证结果符合签名生成算法的结果,所以签名方案满足正确性。
同样,当用户
酸
一个接收
酸
一个,验证是否
年代
一个
P
=
R
一个
+
P
z
H
1
我
D
一个
P
一个
R
一个建立了。自
年代
一个
P
=
r
一个
P
+
z
P
H
1
我
D
一个
P
一个
R
一个
=
R
一个
+
P
z
H
1
我
D
一个
P
一个
R
一个,签名方案满足正确性。
5.1.2中。签名加入的正确性
后
RSU收到签名信息
我
D
一个
Y
一个
h
一个
v
一个
b
一个从用户
酸
一个,如果
h
一个
,
v
一个是一个合法的签名,方程
Y
一个
′
=
v
一个
P
+
h
一个
P
K
一个
=
y
一个
P
−
h
一个
年代
K
一个
P
+
h
一个
P
K
一个
=
Y
一个持有,然后
RSU计算
h
一个
′
=
H
我
D
一个
P
K
一个
Y
一个
′
b
一个基于
Y
一个
′并获得
h
一个
′
=
h
一个。所以,
r
4
P
−
c
E
一个
P
+
r
3
P
K签名是有效的,也就是说,用户的身份
酸
一个是有效的。
同样的,当
酸
一个接收消息
E
一个
,
h
RSU
,
年代
RSU
,
T发送的
RSU并计算出
E
一个
′
=
年代
RSU
+
y
一个
P
−
h
RSU
P
K
RSU基于
RSU的公钥
P
K
RSU和
年代
RSU
=
e
一个
+
年代
K
RSU
⋅
h
RSU,那么方程
E
一个
′
=
E
一个成立。因此,签名是有效的。
5.1.3。群签名的正确性
如果
c
,
年代
1
,
年代
2
,
年代
3
,
年代
4
,
C
1
,
C
2
,
C
3是一个合法的签名,验证器计算
d
1
′
=
年代
1
C
1
−
年代
2
P
K
RSU
+
c
P
C
3
=
r
1
C
1
−
c
b
一个
E
一个
P
−
c
b
一个
T
一个
P
K
RSU
−
r
2
P
K
RSU
+
c
b
一个
T
一个
P
K
RSU
+
c
b
一个
E
一个
P
=
r
1
C
1
−
r
2
P
K
RSU
=
d
1,
d
2
′
=
年代
1
C
2
+
年代
3
年代
RSU
+
c
T
P
=
r
1
C
2
−
c
b
一个
T
一个
P
+
r
3
年代
RSU
−
c
T
一个
年代
RSU
+
c
T
P
=
r
1
C
2
+
r
3
年代
RSU
=
d
2,
d
3
′
=
年代
3
P
+
c
C
2
=
r
3
P
−
c
T
一个
P
+
c
T
一个
P
=
r
3
P
=
d
3,
d
4
′
=
c
C
1
+
年代
4
P
+
年代
3
P
K
RSU
=
c
E
一个
P
+
c
T
一个
P
K
RSU
+
r
4
P
−
c
E
一个
P
+
r
3
P
K
RSU
−
c
T
一个
P
K
RSU
=
r
3
P
K
RSU
+
r
4
P
=
d
4基于
T
P
=
T
一个
b
一个
+
x
RSU
P
=
T
一个
b
一个
P
+
T
一个
年代
RSU并获得
c
′
=
c从现有的公共信息,签名验证算法是正确的。
5.2。Unforgeability
Unforgeability意味着该组织成员组中是不可伪造的证书。
在这个方案中,
RSU的私钥配对
年代
K
RSU
=
x
RSU
,
年代
RSU,在那里
年代
RSU
=
r
RSU
+
z
H
1
我
D
RSU
P
RSU
R
RSU;该组织团体会员证书
酸
一个是
我
D
一个
,
P
K
RSU
,
Y
一个
,
E
一个
,
b
一个
,
T
一个,在那里
E
一个
=
Y
一个
+
e
一个
P
=
e
一个
+
y
一个
P,
Y
一个
=
y
一个
P和同步的因素
T和小组成员的同步的因素
酸
一个有以下关系:
T
=
T
一个
b
一个
+
x
RSU。
y
一个,
b
一个,
x
RSU,
e
一个私人小组成员吗
酸
一个和
RSU分别,所以没有任何一个政党可以完成创建独立的团体会员证书。因此,证书是不可伪造。
5.3。提出安全
当小组成员
酸
一个加入该组织,该组织同步的因素
T更新如下:
T
′
=
T
⋅
b
一个
+
x
RSU基于
b
一个所提供的
酸
一个和其他成员的同步因素
酸
B在更新如下:
T
B
′
=
T
+
T
B
b
B
−
b
B;当小组成员
酸
一个被吊销,同步因素呢
T更新如下:
T
′
=
T
⋅
b
一个
+
x
RSU
−
1和其他成员的同步因素
酸
B在更新如下:
T
B
′
=
T
B
−
T
′
⋅
b
一个
−
b
B
−
1。可以看出,签名的验证阶段和同步因子用于验证阶段根据会员将同步更新和撤销。更新后,之前的签名验证等式不成立,所以提出的安全可以得到保证。
考虑到方案的总体性能,重点分析了时间开销在签名生成和签名验证过程。这个方案与现有方案(
14,
15]。在签名生成阶段,标量乘法的双线性对主要用于计划(
14,
15]。整体的乘法操作小于这个方案,但是一个乘法操作的长度较长椭圆曲线乘法和模块化的乘法操作中使用这个方案,和整个时间开销大于这个计划的时间开销;此外,在签名生成的计算
2
T
E
C
_
米
U
l
+
2
T
米
U
l是一个固定的计算,它不需要参与每一个计算过程,从而进一步减少计算成本小组成员在执行签名的一代。在签名验证阶段,耗时的双线性操作方案(
14,
15]增加了时间开销,这个方案的签名验证过程并没有太大的区别的签名生成计算开销,如表所示
3。签名生成和签名验证开销的比较三个方案如图
3。