CN107609417A - 用于审计和追踪的匿名消息发送系统及方法 - Google Patents

Abstract

本发明公开了一种用于审计和追踪的匿名消息发送系统及方法，其中，系统包括：注册模块，用于通过用户与注册机构交互生成用户证书；签名模块，用于通过用户在通信得到可链接群签名；验证模块，用于验证可链接群消息签名的有效性；链接模块，用于链接判断任意两消息是否来自于同一用户；追踪模块，用于追踪异常消息的关联用户。该系统可以通过可链接群签名方案，有效实现通信发送方的隐私保护，实现审计机构对异常消息的审计，实现监管机构对用户的追踪，保护通信系统的信息安全，保护个人隐私，提高安全监管。

Description

用于审计和追踪的匿名消息发送系统及方法

技术领域

本发明涉及匿名通信系统中的用户隐私保护技术领域，特别涉及一种用于审计和追踪的匿名消息发送系统及方法。

背景技术

信息化技术的迅猛发展极大地推动了通信领域的变革。随着电子商务、电子银行、电子选举、网上医疗咨询、匿名WEB浏览、匿名电子邮件等新需求的出现和普及，人们更加关注通信系统中的信息安全和个人隐私保护。传统的加密技术虽然对传输的信息内容起到了很好的保护作用，但是却无法很好地保护通信双方的身份信息、地理位置等唯一可识别的关键信息，而这些信息的泄露可能会导致严重后果。匿名通信作为一种保护用户隐私的重要而有效的手段，从阻止窃听者攻击这个角度出发，结合既有的加密算法和签名技术，符合当前社会的发展和需要，使得电子商务、物联网等匿名应用有了更坚实的技术保障。

匿名通信，是指采取一定的措施隐蔽通信流中的通信关系，使窃听者难以获取或推知通信双方的关系及内容。匿名通信的目的就是隐蔽通信双方的身份或通信关系，保护网络用户的个人通信隐私。常见的匿名通信系统有：基于广播/群组的DC-NET，基于Mix的Onion Routing和Remailer，基于P2P(peer-to-peer，对等网络)的Crowds和TOR等。然而，目前绝大多数匿名通信系统是针对特定领域设计的，分别从不同应用角度来对匿名通信进行研究，缺乏统一完善的构造体系和评价标准。因此，对匿名通信系统的形式化通用模型研究，仍然是一项基础性的工作。

相关技术中，匿名通信系统的匿名属性包括不可辨识性和不可关联性。不可辨识性是指敌手无法识别用户的身份，不可联系性则是指敌手无法通过观察系统，将消息、行为和用户相关联。虽然该系统设计保证了通信方之间的匿名性，但同时也使得双方通信绕开了任何现行组织或机构的审计和追踪，这与实施可监管匿名通信系统的需求严重不符。例如，对于电子银行来说，监管机制的缺失，容易导致出现敲诈勒索行为，并滋生利用电子现金偷税漏税、地下洗钱等违法犯罪行为。

发明内容

本发明旨在至少在一定程度上解决相关技术中的技术问题之一。

为此，本发明的一个目的在于提出一种用于审计和追踪的匿名消息发送系统，该系统可以保护通信系统的信息安全，保护个人隐私，提高安全监管。

本发明的另一个目的在于提出一种用于审计和追踪的匿名消息发送方法。

为达到上述目的，本发明一方面实施例提出了一种用于审计和追踪的匿名消息发送系统，包括注册模块，用于通过用户与注册机构交互生成用户证书；签名模块，用于通过用户在通信得到可链接群签名；验证模块，用于验证所述可链接群消息签名的有效性；链接模块，用于链接判断任意两消息是否来自于同一用户；追踪模块，用于追踪异常消息的关联用户。

本发明实施例的用于审计和追踪的匿名消息发送系统，可以通过可链接群签名的匿名性实现通信发送方的隐私保护，可链接性实现审计机构对异常消息的审计，可追踪性实现监管机构对通信发送方的监管，从而保护通信系统的信息安全，保护个人隐私，提高安全监管。

另外，根据本发明上述实施例的用于审计和追踪的匿名消息发送系统还可以具有以下附加的技术特征：

进一步地，在本发明的一个实施例中，所述可链接群签名的实体包括用户User，注册机构Manager，审计机构Linker和监管机构Tracer，其中，令所述用户User的公私钥为(UPK,USK)，所述用户证书为Cert，所述注册机构Manager的公私钥为(GPK,GSK)，所述审计机构Linker的公私钥为(LPK,LSK)，所述监管机构Trace的公私钥为(TPK,TSK)。

进一步地，在本发明的一个实施例中，所述注册模块还用于用户和所述注册机构Manager交互进行注册，生成所述用户证书Cert和公私钥(UPK,USK)；所述签名模块还用于定义消息m∈{0,1}^*，输入系统参数GP，用户私钥USK，审计机构和监管机构公钥LPK,TPK，所述用户证书Cert和消息m，生成可链接群签名σ；所述验证模块还用于输入所述系统参数GP、所述消息m和所述可链接群签名σ，进行验证运算，其中，若签名有效，则输出1，否则输出0；所述链接模块还用于所述审计机构Linker利用密钥LSK进行链接运算，输入签名(m,σ)和签名(m′,σ′)，并判断是否来自于同一群成员，其中，若来自于同一群成员，则输出1，否则输出0；所述追踪模块还用于所述监管机构Tracer利用所述密钥LSK进行追踪运算，其中，输入所述可链接群签名σ，输出完成签名的群成员注册证书。

进一步地，在本发明的一个实施例中，所述可链接群签名的构造为Π＝(Setup,Join,GSig,GVer,Link,Trace)，具体为：令Π₁＝(BKeyGen,BSign,UBSign,BVer)代表盲签名方案，其中BKeyGen，BSign，UBSign和BVer分别为所述盲签名方案的密钥生成、盲签名、恢复签名和验证算法；令Π₂＝(PKeyGen,Enc,Dec)代表公钥加密方案，其中，PKeyGen，Enc和Dec分别为所述公钥加密方案的密钥生成、加密和解密算法；令Π₃＝(TKeyGen,TCom,TVer,TIndic)代表陷门示性承诺，其中，TKeyGen，TCom，TVer和TIndic分别为所述陷门示性承诺的密钥生成、承诺、验证和示性算法；令Π₄＝(KSetup,KSign,KVer)代表知识签名方案，其中，KSetup，KSign和KVer分别为所述知识签名方案的系统初始化、签名和验证算法。

进一步地，在本发明的一个实施例中，所述可链接群签名的算法步骤包括：输入1^k，注册机构运行Π₁的BKeyGen算法，生成注册机构的公私钥(GPK,GSK)，BKeyGen(1^k)→(GPK,GSK)；用户和注册机构通过运行盲签名Π₁和和基于知识签名Π₄的证明协议进行交互，生成证书和公私钥进行注册；定义消息m∈{0,1}^*，并进行验证运算，使得所述审计机构进行链接运算，且所述监管机构进行追踪运算。

为达到上述目的，本发明另一方面实施例提出一种用于审计和追踪的匿名消息发送方法，包括以下步骤：通过用户与注册机构交互生成用户证书；通过用户在通信得到可链接群签名；验证所述可链接群消息签名的有效性；链接判断任意两消息是否来自于同一用户；追踪异常消息的关联用户。

本发明实施例的用于审计和追踪的匿名消息发送方法，可以通过可链接群签名的匿名性实现通信发送方的隐私保护，可链接性实现审计机构对异常消息的审计，可追踪性实现监管机构对通信发送方的监管，从而保护通信系统的信息安全，保护个人隐私，提高安全监管。

另外，根据本发明上述实施例的用于审计和追踪的匿名消息发送方法还可以具有以下附加的技术特征：

进一步地，在本发明的一个实施例中，所述可链接群签名的实体包括用户User，注册机构Manager，审计机构Linker和监管机构Tracer，其中，令所述用户User的公私钥为(UPK,USK)，所述用户证书为Cert，所述注册机构Manager的公私钥为(GPK,GSK)，所述审计机构Linker的公私钥为(LPK,LSK)，所述监管机构Trace的公私钥为(TPK,TSK)。

进一步地，在本发明的一个实施例中，用户和所述注册机构Manager交互进行注册，生成所述用户证书Cert和公私钥(UPK,USK)；定义消息m∈{0,1}^*，输入系统参数GP，用户私钥USK，审计机构和监管机构公钥LPK,TPK，所述用户证书Cert和消息m，生成可链接群签名σ；输入所述系统参数GP、所述消息m和所述可链接群签名σ，进行验证运算，其中，若签名有效，则输出1，否则输出0；所述审计机构Linker利用密钥LSK进行链接运算，输入签名(m,σ)和签名(m′,σ′)，并判断是否来自于同一群成员，其中，若来自于同一群成员，则输出1，否则输出0；所述监管机构Tracer利用所述密钥LSK进行追踪运算，其中，输入所述可链接群签名σ，输出完成签名的群成员注册证书。

进一步地，在本发明的一个实施例中，所述可链接群签名的构造为Π＝(Setup,Join,GSig,GVer,Link,Trace)，具体为：

令Π₁＝(BKeyGen,BSign,UBSign,BVer)代表盲签名方案，其中BKeyGen，BSign，UBSign和BVer分别为所述盲签名方案的密钥生成、盲签名、恢复签名和验证算法，具体的盲签名方案为：

BKeyGen(1^k)：输入1^k，生成n阶群G，选取群G的一p阶子群G₁，输出签名者的公钥(n,G)，私钥为sk_bs＝p；

BSign(sk_bs,m)：发送者随机选取计算将发送给签名者，所述签名者根据私钥对盲化信息进行签名，然后将签名作为对原消息m的签名发送给所述发送者；

BVer(m,σ)：所述发送者检查签名是否满足验证函数(相当于m＝σ^e)，然后得原消息m的签名σ；

令Π₂＝(PKeyGen,Enc,Dec)代表公钥加密方案，其中，PKeyGen，Enc和Dec分别为所述公钥加密方案的密钥生成、加密和解密算法，具体的公钥加密方案为：

PKeyGen(1^k)：输入1^k，运行获取(G,q,g)，其中G为q阶循环群，g为群G的生成元，然后随机选择x←Z_q，并计算h＝g^x，输出接收者公钥pk_en＝(G,q,g,h)，私钥sk_en＝x；

Enc(pk_en,m)：输入公钥pk_en＝(G,q,g,h)和消息m∈M，选择随机的w←Z_q，输出密文C＝(c₁,c₂)＝(g^w,m·h^w)；

Dec(sk_en,C)：输入私钥sk_en＝x和密文C＝(c₁,c₂)，输出消息或者符号⊥(表示C是一个无效密文)；

令Π₃＝(TKeyGen,TCom,TVer,TIndic)代表陷门示性承诺，其中，TKeyGen，TCom，TVer和TIndic分别为所述陷门示性承诺的密钥生成、承诺、验证和示性算法，具体的陷门示性承诺为：

TKeyGen(1^k)：运行选取G₀＝<g₁>为的一个子群，且(g₁|N)＝1，即其中，N为RIPE合数，N＝PQ,P＝2P′+1,Q＝2Q′+1，群G₀的秩为P′Q′。选取G₀的一个子群G₁，使得群G₁的秩为P′。选取h₁为G₁中随机元素，其中h₁的阶为P′，g₁的阶为P′Q′。得到公共参数pk_ic＝(N,g₁,h₁,G₀,G₁)，陷门密钥sk_ic＝P′；

TCom(pk_ic,m)：随机选取r←{0,1}ⁿ，计算输出承诺值C和验证承诺的参数(r,m)；

TVer(pk_ic,C,r,m)：验证若等式成立，则验证通过；

TIndic(sk_ic,C,C')：利用陷门密钥判断若等式成立，说明两个承诺值相同，此时输出1，否则输出0；

令Π₄＝(KSetup,KSign,KVer)代表知识签名方案，其中，KSetup，KSign和KVer分别为所述知识签名方案的系统初始化、签名和验证算法，具体的知识签名方案为：

SKDL方案：若一个数对满足c＝H(m||g||y||g^sy^c)，则称(c,s)是已知y基于g为底的离散对数的知识签名。记作SKDL{(α)|y＝g^α}(m)；

若用户知道秘密值x＝log_gy，对消息m产生这样的知识签名，具体签名过程如下：

首先随机选取计算t＝g^r，计算c＝H(m||g||y||t)，s＝r-cx，生成签名(c,s)；

接收者验证该数对(c,s)是否满足上述定义式，若满足，则表明所述用户知道y基于g为底的离散对数；

SKEQDL方案：若一个数对满足则称(c,s)是已知y₁与y₂基于g与h为底的离散对数的知识签名，记作SKEQDL{(α)|y₁＝g^α∧y₂＝h^α}(m)；

若所述用户知道秘密值x＝log_gy₁＝log_hy₂，对消息m产生知识签名，具体签名过程如下：

首先随机选取计算t₁＝g^r,t₂＝h^r，计算c＝H(m||g||h||y₁||y₂||t₁||t₂)，s＝r-cx，生成签名(c,s)；

所述接收者验证该数对(c,s)是否满足上述定义式，若满足，则表明所述用户知道y₁基于g为底的离散对数与y₂基于h为底的离散对数相等。

进一步地，在本发明的一个实施例中，所述可链接群签名的算法步骤包括：输入1^k，注册机构运行Π₁的BKeyGen算法，生成注册机构的公私钥(GPK,GSK)，BKeyGen(1^k)→(GPK,GSK)；用户和注册机构通过运行盲签名Π₁和和基于知识签名Π₄的证明协议进行交互，生成证书和公私钥进行注册；定义消息m∈{0,1}^*，并进行验证运算，使得所述审计机构进行链接运算，且所述监管机构进行追踪运算。

本发明附加的方面和优点将在下面的描述中部分给出，部分将从下面的描述中变得明显，或通过本发明的实践了解到。

附图说明

本发明上述的和/或附加的方面和优点从下面结合附图对实施例的描述中将变得明显和容易理解，其中：

图1为根据本发明实施例的用于审计和追踪的匿名消息发送系统的结构示意图；

图2为根据本发明一个实施例的可链接群签名方案的通用构造示意图；

图3为根据本发明一个实施例的可链接群签名方案的具体构造示意图；

图4为根据本发明一个具体实施例的用于审计和追踪的匿名消息发送系统的结构示意图；

图5为根据本发明实施例的用于审计和追踪的匿名消息发送方法的流程图。

具体实施方式

下面详细描述本发明的实施例，所述实施例的示例在附图中示出，其中自始至终相同或类似的标号表示相同或类似的元件或具有相同或类似功能的元件。下面通过参考附图描述的实施例是示例性的，旨在用于解释本发明，而不能理解为对本发明的限制。

在介绍本发明实施例的用于审计和追踪的匿名消息发送系统及方法之前，先简单描述下解决匿名通信系统中用户隐私保护与安全监管问题的重要性。

例如，对于电子银行来说，监管机制的缺失，容易导致出现敲诈勒索行为，并滋生利用电子现金偷税漏税、地下洗钱等违法犯罪，而增加审计追踪功能的电子银行系统能够在保证用户隐私的前提下，通过审计和监管策略发现并追踪异常交易，进而根据异常信息追踪匿名账号的关联用户和关联账号，为进一步措施提供技术支持和司法证据。对于军事情报部门来说，增加审计追踪功能的情报系统能够使上层监管机构在保证通信方隐私的前提下，利用审计追踪策略将获得的出口情报进行数据分析，进而根据预定信息判断出通信方来源并追踪到情报部门存在的间谍。因此，解决匿名通信系统中用户隐私保护与安全监管的冲突是迫切需要突破的一项关键技术。

本发明正是基于上述问题而提出一种用于审计和追踪的匿名消息发送系统及方法。

下面参照附图描述根据本发明实施例提出的用于审计和追踪的匿名消息发送系统及方法，首先将参照附图描述根据本发明实施例提出的用于审计和追踪的匿名消息发送系统。

图1是本发明一个实施例的用于审计和追踪的匿名消息发送系统的结构示意图。

如图1所示，该用于审计和追踪的匿名消息发送系统10包括：注册模块100、签名模块200、验证模块300、链接模块400和追踪模块500。

其中，注册模块100用于通过用户与注册机构交互生成用户证书。签名模块200用于通过用户在通信得到可链接群签名。验证模块300用于验证可链接群消息签名的有效性。链接模块400用于链接判断任意两消息是否来自于同一用户。追踪模块500用于追踪异常消息的关联用户。本发明实施例的系统10可以通过可链接群签名方案，有效实现通信发送方的隐私保护，实现审计机构对异常消息的审计，实现监管机构对用户的追踪，保护通信系统的信息安全，保护个人隐私，提高安全监管。

可以理解的是，用户的注册由通信发送方和注册机构完成，签名由通信发送方完成，签名验证由通信系统中的其他参与者完成，链接操作由审计机构完成，追踪操作由监管机构完成。

进一步地，在本发明的一个实施例中，可链接群签名的实体包括用户User，注册机构Manager，审计机构Linker和监管机构Tracer，其中，令用户User的公私钥为(UPK,USK)，用户证书为Cert，注册机构Manager的公私钥为(GPK,GSK)，审计机构Linker的公私钥为(LPK,LSK)，监管机构Trace的公私钥为(TPK,TSK)。

其中，在本发明的一个实施例中，注册模块100还用于用户和注册机构Manager交互进行注册，生成用户证书Cert和公私钥(UPK,USK)。签名模块200还用于定义消息m∈{0,1}^*，输入系统参数GP，用户私钥USK，审计机构和监管机构公钥LPK,TPK，用户证书Cert和消息m，生成可链接群签名σ。验证300模块还用于输入系统参数GP、消息m和可链接群签名σ，进行验证运算，其中，若签名有效，则输出1，否则输出0。链接模块400还用于审计机构Linker利用密钥LSK进行链接运算，输入签名(m,σ)和签名(m′,σ′)，并判断是否来自于同一群成员，其中，若来自于同一群成员，则输出1，否则输出0。追踪模块500还用于监管机构Tracer利用密钥LSK进行追踪运算，其中，输入可链接群签名σ，输出完成签名的群成员注册证书。

可以理解的是，一个可链接群签名方案由以下六个算法构成：系统生成、用户注册、签名、验证、链接和追踪，其中，为系统安全参数长度。

Setup(1^k)：输入1^k，注册机构Manager运行生成注册机构公私钥(GPK,GSK)。审计机构Linker和监管机构Tracer运行生成各自的公私钥(LPK,LSK)和(TPK,TSK)。群签名系统公共参数GP＝(GPK,LPK,TPK)。

Join(GPK,GSK,USK)：用户和注册机构交互进行注册，生成证书Cert和公私钥(UPK,USK)。

GSig(GP,LPK,TPK,USK,Cert,m)：定义消息m∈{0,1}^*，输入系统参数GP，用户私钥USK，审计机构和监管机构公钥LPK,TPK，证书Cert和消息m，用户生成群签名σ。

GVer(GP,LPK,TPK,m,σ)：输入系统参数GP，消息m和群签名σ，进行验证运算。若签名有效，输出1，否则输出0。

Link(GP,LSK,(m,σ),(m′,σ′))：审计机构利用密钥LSK进行链接运算。输入两签名(m,σ),(m′,σ′)，判断它们是否来自于同一群成员。若来自于同一群成员，输出1，否则输出0。

Trace(GP,TSK,σ)：监管机构利用密钥TSK进行追踪运算。输入签名σ，输出完成该签名的群成员注册证书。

本发明实施例可以通过设计可链接群签名方案提供一种匿名消息发送系统中通信发送方的隐私保护与审计监管方法，具有以下特点：

(1)在本发明的实施例中，可链接群签名方案的设计可以是一种通用化构造，任何满足本发明实施例要求的基础密码学工具都可组合实现具备隐私保护和审计监管功能的可链接群签名具体方案。

(2)本发明实施例给出了一个具体的可链接群签名方案构造步骤及构造实例，对于本领域普通技术人员来讲，可以根据自己所期望的性能及安全需求，仿照这一实例构造其他的可链接群签名安全方案。

(3)可链接群签名将管理员的注册、链接和追踪功能独立分开，有效避免传统群管理员权利过大问题。由可链接群签名自身特征所形成的注册-审计-监管的顺序功能，使之在匿名通信系统有着潜在的应用价值。

进一步地，在本发明的一个实施例中，可链接群签名的构造为Π＝(Setup,Join,GSig,GVer,Link,Trace)，具体为：

令Π₁＝(BKeyGen,BSign,UBSign,BVer)代表盲签名方案，其中BKeyGen，BSign，UBSign和BVer分别为盲签名方案的密钥生成、盲签名、恢复签名和验证算法；

令Π₂＝(PKeyGen,Enc,Dec)代表公钥加密方案，其中，PKeyGen，Enc和Dec分别为公钥加密方案的密钥生成、加密和解密算法；

令Π₃＝(TKeyGen,TCom,TVer,TIndic)代表陷门示性承诺，其中，TKeyGen，TCom，TVer和TIndic分别为陷门示性承诺的密钥生成、承诺、验证和示性算法；

令Π₄＝(KSetup,KSign,KVer)代表知识签名方案，其中，KSetup，KSign和KVer分别为知识签名方案的系统初始化、签名和验证算法。

可以理解的是，可链接群签名通用结构时需要用到的密码学基础工具，包括知识签名、盲签名、公钥加密和陷门示性承诺，下面分别对各个密码体制进行详细介绍。

首先是盲签名，盲签名就是接收者在不让签名者获取所签署消息具体内容的情况下所采取的一种特殊的数字签名技术，它除了满足一般数字签名条件外，还必须满足下面的两条性质：

(1)签名者对其所签署的信息是不可见的，即签名者不知道他所签署消息的具体内容。

(2)签名消息不可跟踪，即当签名信息被公布后，签名者无法知道这是他哪次签署的。

其中，令Π₁＝(BKeyGen,BSign,UBSign,BVer)代表盲签名方案，其中BKeyGen，BSign，UBSign和BVer分别为方案中的密钥生成、盲签名、恢复签名和验证算法，具体结构算法如下：

BKeyGen(1^k)：输入1^k，输出签名者的公私钥对(pk_bs,sk_bs)。

BSign(sk_bs,m)：发送者将盲化后的信息B(m,r)→m′发送给签名者，签名者用私钥sk_bs对盲化信息m′进行签名，然后将签名σ′_bs发送给发送者。

UBSign(pk_bs,σ′_bs)：发送者对签名σ′_bs进行脱盲得原消息m的签名σ_bs，UBSign(σ′_bs,r)＝σ_bs。

BVer(m,σ_bs)：发送者检查签名σ_bs是否为原消息m的有效签名，输出1或0。

举例而言，BKeyGen(1^k)：输入1^k，生成n阶群G，选取群G的一p阶子群G₁，输出签名者的公钥(n,G)，私钥为sk_bs＝p。

BSign(sk_bs,m)：发送者随机选取计算将发送给签名者，签名者根据私钥对盲化信息进行签名，然后将签名作为对原消息m的签名发送给发送者。

BVer(m,σ)：发送者检查签名是否满足验证函数(相当于m＝σ^e)，然后得原消息m的签名σ。

其次介绍的PKE(Public Key Encryption，公钥加密体制)，公钥加密，也称为非对称密钥加密，是密码学的一种算法。该加密算法使用两个不同的密钥：加密密钥和解密密钥。前者公开，又称公开密钥，简称公钥；后者保密，又称私有密钥，简称私钥。这两个密钥是数学相关的，用某用户加密密钥加密后所得的信息只能用该用户的解密密钥才能解密。

一个公钥加密方案通常包含三个(概率)多项式时间算法。其中，令Π₂＝(PKeyGen,Enc,Dec)代表普通的公钥加密方案，其中PKeyGen，Enc和Dec分别为方案中的密钥生成、加密和解密算法。分别定义为：

PKeyGen(1^k)：是一个概率多项式时间算法。它输入1^k，输出接收者的公私钥对(pk_en,sk_en)。

Enc(pk_en,m)：是一个概率多项式时间算法。它输入公钥pk_en和消息m∈M，输出密文C＝Enc(pk_en,m)。

Dec(sk_en,C)：是一个确定多项式时间算法。它输入私钥sk_en和密文C，输出消息m或者符号⊥(表示C是一个无效密文)。

举例而言，PKeyGen(1^k)：输入1^k，运行获取(G,q,g)，其中G为q阶循环群，g为群G的生成元。然后随机选择x←Z_q并计算h＝g^x，输出接收者公钥pk_en＝(G,q,g,h)，私钥sk_en＝x。

Enc(pk_en,m)：输入公钥pk_en＝(G,q,g,h)和消息m∈M，选择随机的w←Z_q，输出密文C＝(c₁,c₂)＝(g^w,m·h^w)。

Dec(sk_en,C)：输入私钥sk_en＝x和密文C＝(c₁,c₂)，输出消息或者符号⊥(表示C是一个无效密文)。

一个公钥加密方案PKE必须满足正确性，即对于所有的

((pk_en,sk_en))←PKeyGen(1^k)和消息m∈M，满足Dec(sk_en,Enc(pk_en,m))＝m。

再次介绍的是陷门示性承诺(Trapdoor Indicative Commitment)，陷门示性承诺是一种特殊的陷门承诺方案。它不同于传统的陷门承诺，传统陷门承诺只是针对一个承诺值根据陷门信息进行运算，而陷门示性承诺针对两个承诺进行操作，其示性特征仅允许拥有陷门信息的人能够判断出两个承诺里的秘密值是否相等，却不能打开承诺。

具体地说，概念中的示性特征体现在方案的输出结果是判断结果1或0，而不是具体的承诺值。即，当拥有陷门密钥且承诺里的秘密值相等情形发生时，方案输出1，其他情形输出0。

其中，令Π₃＝(TKeyGen,TCom,TVer,TIndic)代表陷门示性承诺，其中TKeyGen，TCom，TVer和TIndic分别为方案中的密钥生成、承诺、验证和示性算法。

TKeyGen(1^k)：输入1^k，输出公开参数pk_ic和陷门密钥sk_ic。

TCom(pk_ic,m)：输入公开参数pk_ic和承诺值m，输出承诺C＝TCom(pk_ic,m)和验证承诺的参数(r,m)。

TVer(pk_ic,C,r,m)：输入公开参数pk_ic、承诺C和验证承诺的参数(r,m)，检查是否满足验证函数TVer(pk_ic,C,r,m)。

TIndic(sk_ic,C,C')：输入陷门密钥sk_ic和两承诺C,C′，判断承诺C,C′中的承诺秘密值m,m′是否相同。若相同，此时输出1，否则输出0。

举例而言，TKeyGen(1^k)：运行选取G₀＝<g₁>为的一个子群，且(g₁|N)＝1，即其中N为RIPE合数，N＝PQ,P＝2P′+1,Q＝2Q′+1，群G₀的秩为P′Q′。选取G₀的一个子群G₁，使得群G₁的秩为P′。选取h₁为G₁中随机元素，其中h₁的阶为P′，g₁的阶为P′Q′。得到公共参数pk_ic＝(N,g₁,h₁,G₀,G₁)，陷门密钥sk_ic＝P′。

TCom(pk_ic,m)：随机选取r←{0,1}ⁿ，计算输出承诺值C和验证承诺的参数(r,m)。

TVer(pk_ic,C,r,m)：验证若等式成立，则验证通过。

TIndic(sk_ic,C,C')：利用陷门密钥判断若等式成立，说明两个承诺值相同，此时输出1，否则输出0。

最后介绍的是知识签名方案(Signature of Knowledge)，知识签名是签名者将自己知道某知识的证据附在消息的签名上，在非交互的情况下通过签名的形式向别人证明其知道某个秘密而不泄露该秘密本身。

在传统的签名方案中，一个对消息m的签名σ对应于一个公钥pk，可以表述成“拥有公钥pk及其对应私钥sk的用户可对消息m签名”。知识签名方案允许用户代表某一个NP论断进行签名，即“拥有论断x∈L的证据w的用户可对消息m签名”。知识签名在提供一般消息签名功能的同时又对签名者自身掌握某知识这一事实进行了证明。其概念类似非交互的零知识证明，为了区别非交互的零知识证明，称这样的签名为知识签名。

其中，令Π₄＝(KSetup,KSign,KVer)代表知识签名方案，其中KSetup，KSign和KVer分别为方案中的系统初始化、签名和验证算法。令m∈M代表签名消息，对任意语言L∈NP，用M_L代表多项式时间的图灵机，其输入为(x,w)，当且仅当w为x∈L的证据时有M_L(x,w)＝1。具体结构算法如下：

KSetup(1^k)：输入1^k，输出公共参数pk_ks。

KSign(pk_ks,ML,x,w,m)：输入pk_ks，NP论断x∈L及对应证据w，对应于某一NP论断的M_L和要签署消息m。输出代表x∈L对消息m的知识签名σ_ks。

KVer(pk_ks,ML,x,m,σ_ks)：输入pk_ks,M_L,x,m和签名σ_ks，验证签名是否由此NP论断的证据的拥有者生成，输出1或0。

举例而言，令符号SKDL和SKEQDL代表基于离散对数的知识签名方案，其中SKDL为离散对数已知存在的知识证明，SKEQDL为两个离散对数相等的知识证明。

SKDL方案：若一个数对满足c＝H(m||g||y||g^sy^c)，则称(c,s)是已知y基于g为底的离散对数的知识签名。记作SKDL{(α)|y＝g^α}(m)。

若用户A知道秘密值x＝log_gy，她可以对消息m产生这样的知识签名，具体签名过程如下：

(1)A首先随机选取计算t＝g^r，计算c＝H(m||g||y||t)，s＝r-cx，生成签名(c,s)；

(2)接收者验证该数对(c,s)是否满足上述定义式，若满足，则表明A知道y基于g为底的离散对数。

SKEQDL方案：若一个数对满足则称(c,s)是已知y₁与y₂基于g与h为底的离散对数的知识签名。记作SKEQDL{(α)|y₁＝g^α∧y₂＝h^α}(m)。

若用户A知道秘密值x＝log_gy₁＝log_hy₂，她可以对消息m产生这样的知识签名，具体签名过程如下：

(1)A首先随机选取计算t₁＝g^r,t₂＝h^r，计算c＝H(m||g||h||y₁||y₂||t₁||t₂)，s＝r-cx，生成签名(c,s)；

(2)接收者验证该数对(c,s)是否满足上述定义式，若满足，则表明A知道y₁基于g为底的离散对数与y₂基于h为底的离散对数相等。

进一步地，在本发明的一个实施例中，可链接群签名的算法步骤包括：

输入1^k，注册机构运行Π₁的BKeyGen算法，生成注册机构的公私钥(GPK,GSK)，BKeyGen(1^k)→(GPK,GSK)；用户和注册机构通过运行盲签名Π₁和和基于知识签名Π₄的证明协议进行交互，生成证书和公私钥进行注册；定义消息m∈{0,1}^*，并进行验证运算，使得审计机构进行链接运算，且监管机构进行追踪运算。

可以理解的是，如图2所示，可链接群签名方案通用构造其算法如下：

Setup(1^k)：输入1^k，注册机构运行Π₁的BKeyGen算法，生成注册机构的公私钥(GPK,GSK)，BKeyGen(1^k)→(GPK,GSK)。

审计机构运行Π₃的TKeyGen算法，生成审计机构的公私钥对(LPK,LSK)。TKeyGen(1^k)→(LPK,LSK)。

监管机构运行Π₂的PKeyGen算法，生成监管机构的公私钥对(TPK,TSK)。PKeyGen(1^k)→(TPK,TSK)。

最后，输出可链接群签名的系统公共参数GP，GP＝(GPK,LPK,TPK)。

Join(GPK,GSK,USK)：用户和注册机构通过运行盲签名Π₁和和基于知识签名Π₄的证明协议进行交互，生成证书和公私钥进行注册。

(1)用户选取私钥USK，根据注册机构公钥GPK，将私钥USK盲化后发送给注册机构，同时运行基于知识签名的证明协议Π₄(GPK)，证明进行了正确盲化；

(2)注册机构运行Π₁的BSign算法，生成盲签名-证书Cert′，BSign(GSK)→Cert′；

(3)用户得到Cert′，运行Π₁的UBSign算法得到解盲签名-证书Cert，并运行Π₁的BVer算法进行证书的有效性验证；

(4)用户将证书Cert发送给注册机构，同时将身份信息ID作为用户公钥UPK发送给注册机构，保留私钥USK。注册机构将(ID,Cert)添加到注册表中。

GSig(GP,LPK,TPK,USK,Cert,m)：定义消息m∈{0,1}^*，用户的群签名算法分为以下几个部分：

(1)对用户证书的加密。运行Π₂的Enc算法，Enc(Cert,TPK)→(a,b)；

(2)对用户私钥的陷门示性承诺。运行Π₃的TCom算法，TCom(LPK,USK)→d；

(3)对消息m的知识签名。运行Π₄的KSign算法，KSign(USK,GP,m)→c；

(4)最后，得到签名σ＝(a,b,c,d)。

GVer(GP,LPK,TPK,m,σ)：进行验证运算。

对知识签名的验证。运行Π₄的KVer算法，KVer(GP,m,σ)→1/0。若输出为1，说明签名有效。

Link(GP,LSK,(m,σ),(m′,σ′))：审计机构进行链接运算。

(1)给定(m,σ),(m′,σ′)，审计机构首先运行GVer算法验证消息-签名对的有效性。如果签名不正确，则终止。

(2)否则，审计机构针对签名σ中的分量d和σ′中的分量d′，运行Π₃的TVer算法验证签名的有效性。如果签名不正确，则终止。否则运行Π₃的TIndic算法，TIndic(LSK,d,d′)→1/0。若输出为1，说明两个签名来自于同一用户。

Trace(GP,TSK,σ)：监管机构进行追踪运算。

(1)给定σ，监管机构首先运行GVer算法验证签名的有效性。如果签名不正确，则终止。

(2)否则，监管机构运行Π₂的Dec算法，Dec(TSK,σ)→Cert₀，同时运行基于知识签名的证明协议Π₄(σ‖m)，证明计算出了正确的用户证书；

(3)根据注册机构给出的注册表，对比找到该证书对应的用户注册ID。

举例而言，如图3所示，由以上给出的基础工具的方案案例，按照通用结构可以组合成一个具体的可链接群签名方案，具体构造如下：

Setup(l_g)：注册机构运行生成注册机构公钥GPK和注册密钥GSK。

令ε>1,k,l_g,l₁,l₂,为安全参数，其中 代表秩长度为l_g，且有两个长度为(l_g-2)/2的素因子的群集。

特别地，注册机构选取G＝<g>为的一个子群，且(g|n)＝1，即其中n为RIPE合数，n＝pq,p＝2p′+1,q＝2q′+1，群G的秩为p′q′，选取z,h为G中随机元素，定义抗碰撞哈希函数H:{0,1}^*→{0,1}^k，输出系统公共参数注册密钥GSK＝(p,q)。

审计机构Linker和监管机构Tracer运行生成链接密钥和追踪密钥。

(1)审计机构运行选取G₀＝<g₁>为的一个子群，且(g₁|N)＝1，即其中N为RIPE合数，N＝PQ,P＝2P′+1,Q＝2Q′+1，群G₀的秩为P′Q′。选取G₀的一个子群G₁，使得群G₁的秩为P′。选取h₁为G₁中随机元素，其中h₁的阶为P′，g₁的阶为P′Q′。得到审计机构的公钥LPK＝(N,g₁,h₁,G₀,G₁)，链接密钥LSK＝P′。

(2)监管机构选取计算y＝g^x。得到监管机构的公钥TPK＝y，追踪密钥TSK＝x。

Join(GPK,GSK,USK)：用户和注册机构交互生成证书和公私钥，进行注册。

(1)用户随机选取计算将发送给注册机构，并与注册机构进行交互式证明

来证明用户正确生成了

(2)注册机构计算将u发送给用户。

(3)用户验证(相当于z＝u^e)。若等式成立，则接受证书Cert＝u，并将身份信息ID作为用户公钥发送给注册机构。保留用户私钥USK＝e。

(4)注册机构将添加到注册表中。

其中SKDL符号代表离散对数的知识签名证明协议。

GSig(GP,LPK,TPK,USK,Cert,m)：令消息m∈{0,1}^*，用户对消息进行群签名。

(1)随机选取计算a＝g^w,b＝uy^w，计算

(2)选取计算

c＝H(g||h||y||z||a||b||d||t₁||t₂||t₃||t₄||m)

(3)最后，得到签名σ＝(c,s₁,s₂,s₃,a,b,d)，用户输出签名σ。

上述群签名相当于是对m的知识签名，可以记作

GVer(GP,LPK,TPK,m,σ)：进行验证运算。

(1)计算

(2)如果c＝c'，接受该签名，否则拒绝。

Link(GP,LSK,(m,σ),(m′,σ′))：审计机构进行链接运算。

(1)给定(m,σ),(m′,σ′)，审计机构首先运行GVer算法验证消息-签名对的有效性。如果签名不正确，则终止。

(2)否则审计机构选取签名σ中的分量d和σ′中的分量d′，利用链接密钥判断若等式成立，说明两个签名来自于同一用户，此时输出1，否则输出0。

Trace(GP,TSK,σ)：监管机构进行追踪运算。

(1)给定σ，监管机构首先运行GVer算法验证签名的有效性。如果签名不正确，则终止。

(2)否则监管机构利用追踪密钥计算u′＝b/a^x，并进行知识证明运算SKEQDL{(α)|y＝g^α∧b/u′＝a^α}(σ‖m)，其中SKEQDL符号代表两个离散对数相等的知识签名证明协议。

(3)获取用户证书u后，根据注册机构给出的注册表，对比找到该证书对应的用户注册ID。

综上所述，如图4所示，本发明实施例提供了一种匿名通信系统中通信发送方的隐私保护与审计监管系统，该系统具有以下功能：

(1)实现通信发送方的隐私保护。给定某一消息的签名，除了监管机构，其他任何人都不能识别出签名是由哪个通信发送者所签。

(2)实现审计机构对异常消息的审计。给定任意两个消息签名对，审计机构能够判断出两个签名是否由同一个发送者所签。

(3)实现监管机构对用户的追踪。给定某一消息的签名，监管机构能够识别出签名是由哪个发送者所签。

根据本发明实施例提出的一种用于审计和追踪的匿名消息发送系统，可以通过可链接群签名的匿名性实现通信发送方的隐私保护，可链接性实现审计机构对异常消息的审计，可追踪性实现监管机构对通信发送方的监管，从而保护通信系统的信息安全，保护个人隐私，提高安全监管。

其次参照附图描述根据本发明实施例提出的于审计和追踪的匿名消息发送方法。

图5是用于审计和追踪的匿名消息发送方法的流程图。

如图5所示，该用于审计和追踪的匿名消息发送方法包括以下步骤：

在步骤S501中，通过用户与注册机构交互生成用户证书。

在步骤S502中，通过用户在通信得到可链接群签名。

在步骤S503中，验证可链接群消息签名的有效性。

在步骤S504中，链接判断任意两消息是否来自于同一用户。

在步骤S505中，追踪异常消息的关联用户。

进一步地，在本发明的一个实施例中，可链接群签名的实体包括用户User，注册机构Manager，审计机构Linker和监管机构Tracer，其中，令用户User的公私钥为(UPK,USK)，用户证书为Cert，注册机构Manager的公私钥为(GPK,GSK)，审计机构Linker的公私钥为(LPK,LSK)，监管机构Trace的公私钥为(TPK,TSK)。

进一步地，在本发明的一个实施例中，用户和注册机构Manager交互进行注册，生成用户证书Cert和公私钥(UPK,USK)；定义消息m∈{0,1}^*，输入系统参数GP，用户私钥USK，审计机构和监管机构公钥LPK,TPK，用户证书Cert和消息m，生成可链接群签名σ；输入系统参数GP、消息m和可链接群签名σ，进行验证运算，其中，若签名有效，则输出1，否则输出0；审计机构Linker利用密钥LSK进行链接运算，输入签名(m,σ)和签名(m′,σ′)，并判断是否来自于同一群成员，其中，若来自于同一群成员，则输出1，否则输出0；监管机构Tracer利用密钥LSK进行追踪运算，其中，输入可链接群签名σ，输出完成签名的群成员注册证书。

进一步地，在本发明的一个实施例中，可链接群签名的构造为Π＝(Setup,Join,GSig,GVer,Link,Trace)，具体为：

令Π₁＝(BKeyGen,BSign,UBSign,BVer)代表盲签名方案，其中BKeyGen，BSign，UBSign和BVer分别为盲签名方案的密钥生成、盲签名、恢复签名和验证算法，具体的盲签名方案为：

BKeyGen(1^k)：输入1^k，生成n阶群G，选取群G的一p阶子群G₁，输出签名者的公钥(n,G)，私钥为sk_bs＝p；

BSign(sk_bs,m)：发送者随机选取计算将发送给签名者，签名者根据私钥对盲化信息进行签名，然后将签名作为对原消息m的签名发送给发送者；

BVer(m,σ)：发送者检查签名是否满足验证函数(相当于m＝σ^e)，然后得原消息m的签名σ；

令Π₂＝(PKeyGen,Enc,Dec)代表公钥加密方案，其中，PKeyGen，Enc和Dec分别为公钥加密方案的密钥生成、加密和解密算法，具体的公钥加密方案为：

PKeyGen(1^k)：输入1^k，运行获取(G,q,g)，其中G为q阶循环群，g为群G的生成元，然后随机选择x←Z_q，并计算h＝g^x，输出接收者公钥pk_en＝(G,q,g,h)，私钥sk_en＝x；

Enc(pk_en,m)：输入公钥pk_en＝(G,q,g,h)和消息m∈M，选择随机的w←Z_q，输出密文C＝(c₁,c₂)＝(g^w,m·h^w)；

Dec(sk_en,C)：输入私钥sk_en＝x和密文C＝(c₁,c₂)，输出消息或者符号⊥(表示C是一个无效密文)；

令Π₃＝(TKeyGen,TCom,TVer,TIndic)代表陷门示性承诺，其中，TKeyGen，TCom，TVer和TIndic分别为陷门示性承诺的密钥生成、承诺、验证和示性算法，具体的陷门示性承诺为：

TKeyGen(1^k)：运行选取G₀＝<g₁>为的一个子群，且(g₁|N)＝1，即其中，N为RIPE合数，N＝PQ,P＝2P′+1,Q＝2Q′+1，群G₀的秩为P′Q′。选取G₀的一个子群G₁，使得群G₁的秩为P′。选取h₁为G₁中随机元素，其中h₁的阶为P′，g₁的阶为P′Q′。得到公共参数pk_ic＝(N,g₁,h₁,G₀,G₁)，陷门密钥sk_ic＝P′；

TCom(pk_ic,m)：随机选取r←{0,1}ⁿ，计算输出承诺值C和验证承诺的参数(r,m)；

TVer(pk_ic,C,r,m)：验证若等式成立，则验证通过；

TIndic(sk_ic,C,C')：利用陷门密钥判断若等式成立，说明两个承诺值相同，此时输出1，否则输出0；

令Π₄＝(KSetup,KSign,KVer)代表知识签名方案，其中，KSetup，KSign和KVer分别为知识签名方案的系统初始化、签名和验证算法，具体的知识签名方案为：

SKDL方案：若一个数对满足c＝H(m||g||y||g^sy^c)，则称(c,s)是已知y基于g为底的离散对数的知识签名。记作SKDL{(α)|y＝g^α}(m)；

若用户知道秘密值x＝log_gy，对消息m产生这样的知识签名，具体签名过程如下：

首先随机选取计算t＝g^r，计算c＝H(m||g||y||t)，s＝r-cx，生成签名(c,s)；

接收者验证该数对(c,s)是否满足上述定义式，若满足，则表明用户知道y基于g为底的离散对数；

SKEQDL方案：若一个数对满足则称(c,s)是已知y₁与y₂基于g与h为底的离散对数的知识签名，记作SKEQDL{(α)|y₁＝g^α∧y₂＝h^α}(m)；

若用户知道秘密值x＝log_gy₁＝log_hy₂，对消息m产生知识签名，具体签名过程如下：

首先随机选取计算t₁＝g^r,t₂＝h^r，计算c＝H(m||g||h||y₁||y₂||t₁||t₂)，s＝r-cx，生成签名(c,s)；

接收者验证该数对(c,s)是否满足上述定义式，若满足，则表明用户知道y₁基于g为底的离散对数与y₂基于h为底的离散对数相等。

进一步地，在本发明的一个实施例中，可链接群签名的算法步骤包括：

输入1^k，注册机构运行Π₁的BKeyGen算法，生成注册机构的公私钥(GPK,GSK)，BKeyGen(1^k)→(GPK,GSK)；

用户和注册机构通过运行盲签名Π₁和和基于知识签名Π₄的证明协议进行交互，生成证书和公私钥进行注册；

定义消息m∈{0,1}^*，并进行验证运算，使得审计机构进行链接运算，且监管机构进行追踪运算。

需要说明的是，前述用于审计和追踪的匿名消息发送系统实施例的解释说明也适用于该实施例用于审计和追踪的匿名消息发送方法，此处不再赘述。

根据本发明实施例提出的用于审计和追踪的匿名消息发送方法，可以通过可链接群签名的匿名性实现通信发送方的隐私保护，可链接性实现审计机构对异常消息的审计，可追踪性实现监管机构对通信发送方的监管，从而保护通信系统的信息安全，保护个人隐私，提高安全监管。

在本发明的描述中，需要理解的是，术语“中心”、“纵向”、“横向”、“长度”、“宽度”、“厚度”、“上”、“下”、“前”、“后”、“左”、“右”、“竖直”、“水平”、“顶”、“底”“内”、“外”、“顺时针”、“逆时针”、“轴向”、“径向”、“周向”等指示的方位或位置关系为基于附图所示的方位或位置关系，仅是为了便于描述本发明和简化描述，而不是指示或暗示所指的装置或元件必须具有特定的方位、以特定的方位构造和操作，因此不能理解为对本发明的限制。

此外，术语“第一”、“第二”仅用于描述目的，而不能理解为指示或暗示相对重要性或者隐含指明所指示的技术特征的数量。由此，限定有“第一”、“第二”的特征可以明示或者隐含地包括至少一个该特征。在本发明的描述中，“多个”的含义是至少两个，例如两个，三个等，除非另有明确具体的限定。

在本发明中，除非另有明确的规定和限定，术语“安装”、“相连”、“连接”、“固定”等术语应做广义理解，例如，可以是固定连接，也可以是可拆卸连接，或成一体；可以是机械连接，也可以是电连接；可以是直接相连，也可以通过中间媒介间接相连，可以是两个元件内部的连通或两个元件的相互作用关系，除非另有明确的限定。对于本领域的普通技术人员而言，可以根据具体情况理解上述术语在本发明中的具体含义。

在本发明中，除非另有明确的规定和限定，第一特征在第二特征“上”或“下”可以是第一和第二特征直接接触，或第一和第二特征通过中间媒介间接接触。而且，第一特征在第二特征“之上”、“上方”和“上面”可是第一特征在第二特征正上方或斜上方，或仅仅表示第一特征水平高度高于第二特征。第一特征在第二特征“之下”、“下方”和“下面”可以是第一特征在第二特征正下方或斜下方，或仅仅表示第一特征水平高度小于第二特征。

在本说明书的描述中，参考术语“一个实施例”、“一些实施例”、“示例”、“具体示例”、或“一些示例”等的描述意指结合该实施例或示例描述的具体特征、结构、材料或者特点包含于本发明的至少一个实施例或示例中。在本说明书中，对上述术语的示意性表述不必须针对的是相同的实施例或示例。而且，描述的具体特征、结构、材料或者特点可以在任一个或多个实施例或示例中以合适的方式结合。此外，在不相互矛盾的情况下，本领域的技术人员可以将本说明书中描述的不同实施例或示例以及不同实施例或示例的特征进行结合和组合。

尽管上面已经示出和描述了本发明的实施例，可以理解的是，上述实施例是示例性的，不能理解为对本发明的限制，本领域的普通技术人员在本发明的范围内可以对上述实施例进行变化、修改、替换和变型。

Claims (10)

1.一种用于审计和追踪的匿名消息发送系统，其特征在于，包括：

注册模块，用于通过用户与注册机构交互生成用户证书；

签名模块，用于通过用户在通信得到可链接群签名；

验证模块，用于验证所述可链接群消息签名的有效性；

链接模块，用于链接判断任意两消息是否来自于同一用户；以及

追踪模块，用于追踪异常消息的关联用户。

2.根据权利要求1所述的用于审计和追踪的匿名消息发送系统，其特征在于，所述可链接群签名的实体包括用户User，注册机构Manager，审计机构Linker和监管机构Tracer，其中，令所述用户User的公私钥为(UPK,USK)，所述用户证书为Cert，所述注册机构Manager的公私钥为(GPK,GSK)，所述审计机构Linker的公私钥为(LPK,LSK)，所述监管机构Trace的公私钥为(TPK,TSK)。

3.根据权利要求2所述的用于审计和追踪的匿名消息发送系统，其特征在于，所述注册模块还用于用户和所述注册机构Manager交互进行注册，生成所述用户证书Cert和公私钥(UPK,USK)；所述签名模块还用于定义消息m∈{0,1}^*，输入系统参数GP，用户私钥USK，审计机构和监管机构公钥LPK,TPK，所述用户证书Cert和消息m，生成可链接群签名σ；所述验证模块还用于输入所述系统参数GP、所述消息m和所述可链接群签名σ，进行验证运算，其中，若签名有效，则输出1，否则输出0；所述链接模块还用于所述审计机构Linker利用密钥LSK进行链接运算，输入签名(m,σ)和签名(m′,σ′)，并判断是否来自于同一群成员，其中，若来自于同一群成员，则输出1，否则输出0；所述追踪模块还用于所述监管机构Tracer利用所述密钥LSK进行追踪运算，其中，输入所述可链接群签名σ，输出完成签名的群成员注册证书。

4.根据权利要求1所述的用于审计和追踪的匿名消息发送系统，其特征在于，所述可链接群签名的构造为Π＝(Setup,Join,GSig,GVer,Link,Trace)，具体为：

令Π₁＝(BKeyGen,BSign,UBSign,BVer)代表盲签名方案，其中BKeyGen，BSign，UBSign和BVer分别为所述盲签名方案的密钥生成、盲签名、恢复签名和验证算法；

令Π₂＝(PKeyGen,Enc,Dec)代表公钥加密方案，其中，PKeyGen，Enc和Dec分别为所述公钥加密方案的密钥生成、加密和解密算法；

令Π₃＝(TKeyGen,TCom,TVer,TIndic)代表陷门示性承诺，其中，TKeyGen，TCom，TVer和TIndic分别为所述陷门示性承诺的密钥生成、承诺、验证和示性算法；

令Π₄＝(KSetup,KSign,KVer)代表知识签名方案，其中，KSetup，KSign和KVer分别为所述知识签名方案的系统初始化、签名和验证算法。

5.根据权利要求4所述的用于审计和追踪的匿名消息发送系统，其特征在于，所述可链接群签名的算法步骤包括：

输入1^k，注册机构运行Π₁的BKeyGen算法，生成注册机构的公私钥(GPK,GSK)，BKeyGen(1^k)→(GPK,GSK)；

用户和注册机构通过运行盲签名Π₁和和基于知识签名Π₄的证明协议进行交互，生成证书和公私钥进行注册；

定义消息m∈{0,1}^*，并进行验证运算，使得所述审计机构进行链接运算，且所述监管机构进行追踪运算。

6.一种用于审计和追踪的匿名消息发送方法，其特征在于，包括以下步骤：

通过用户与注册机构交互生成用户证书；

通过用户在通信得到可链接群签名；

验证所述可链接群消息签名的有效性；

链接判断任意两消息是否来自于同一用户；以及

追踪异常消息的关联用户。

7.根据权利要求6所述的用于审计和追踪的匿名消息发送方法，其特征在于，所述可链接群签名的实体包括用户User，注册机构Manager，审计机构Linker和监管机构Tracer，其中，令所述用户User的公私钥为(UPK,USK)，所述用户证书为Cert，所述注册机构Manager的公私钥为(GPK,GSK)，所述审计机构Linker的公私钥为(LPK,LSK)，所述监管机构Trace的公私钥为(TPK,TSK)。

8.根据权利要求7所述的用于审计和追踪的匿名消息发送方法，其特征在于，用户和所述注册机构Manager交互进行注册，生成所述用户证书Cert和公私钥(UPK,USK)；定义消息m∈{0,1}^*，输入系统参数GP，用户私钥USK，审计机构和监管机构公钥LPK,TPK，所述用户证书Cert和消息m，生成可链接群签名σ；输入所述系统参数GP、所述消息m和所述可链接群签名σ，进行验证运算，其中，若签名有效，则输出1，否则输出0；所述审计机构Linker利用密钥LSK进行链接运算，输入签名(m,σ)和签名(m′,σ′)，并判断是否来自于同一群成员，其中，若来自于同一群成员，则输出1，否则输出0；所述监管机构Tracer利用所述密钥LSK进行追踪运算，其中，输入所述可链接群签名σ，输出完成签名的群成员注册证书。

9.根据权利要求6所述的用于审计和追踪的匿名消息发送方法，其特征在于，所述可链接群签名的构造为Π＝(Setup,Join,GSig,GVer,Link,Trace)，具体为：

令Π₁＝(BKeyGen,BSign,UBSign,BVer)代表盲签名方案，其中BKeyGen，BSign，UBSign和BVer分别为所述盲签名方案的密钥生成、盲签名、恢复签名和验证算法，具体的盲签名方案为：

BKeyGen(1^k)：输入1^k，生成n阶群G，选取群G的一p阶子群G₁，输出签名者的公钥(n,G)，私钥为sk_bs＝p；

BSign(sk_bs,m)：发送者随机选取计算将发送给签名者，所述签名者根据私钥对盲化信息进行签名，然后将签名作为对原消息m的签名发送给所述发送者；

BVer(m,σ)：所述发送者检查签名是否满足验证函数(相当于m＝σ^e)，然后得原消息m的签名σ；

令Π₂＝(PKeyGen,Enc,Dec)代表公钥加密方案，其中，PKeyGen，Enc和Dec分别为所述公钥加密方案的密钥生成、加密和解密算法，具体的公钥加密方案为：

PKeyGen(1^k)：输入1^k，运行获取(G,q,g)，其中G为q阶循环群，g为群G的生成元，然后随机选择x←Z_q，并计算h＝g^x，输出接收者公钥pk_en＝(G,q,g,h)，私钥sk_en＝x；

Enc(pk_en,m)：输入公钥pk_en＝(G,q,g,h)和消息m∈M，选择随机的w←Z_q，输出密文C＝(c₁,c₂)＝(g^w,m·h^w)；

Dec(sk_en,C)：输入私钥sk_en＝x和密文C＝(c₁,c₂)，输出消息或者符号⊥(表示C是一个无效密文)；

令Π₃＝(TKeyGen,TCom,TVer,TIndic)代表陷门示性承诺，其中，TKeyGen，TCom，TVer和TIndic分别为所述陷门示性承诺的密钥生成、承诺、验证和示性算法，具体的陷门示性承诺为：

TKeyGen(1^k)：运行选取G₀＝<g₁>为的一个子群，且(g₁|N)＝1，即其中，N为RIPE合数，N＝PQ,P＝2P′+1,Q＝2Q′+1，群G₀的秩为P′Q′。选取G₀的一个子群G₁，使得群G₁的秩为P′。选取h₁为G₁中随机元素，其中h₁的阶为P′，g₁的阶为P′Q′。得到公共参数pk_ic＝(N,g₁,h₁,G₀,G₁)，陷门密钥sk_ic＝P′；

TCom(pk_ic,m)：随机选取r←{0,1}ⁿ，计算输出承诺值C和验证承诺的参数(r,m)；

TVer(pk_ic,C,r,m)：验证若等式成立，则验证通过；

TIndic(sk_ic,C,C')：利用陷门密钥判断若等式成立，说明两个承诺值相同，此时输出1，否则输出0；

令Π₄＝(KSetup,KSign,KVer)代表知识签名方案，其中，KSetup，KSign和KVer分别为所述知识签名方案的系统初始化、签名和验证算法，具体的知识签名方案为：

SKDL方案：若一个数对满足c＝H(m||g||y||g^sy^c)，则称(c，s)是已知y基于g为底的离散对数的知识签名。记作SKDL{(α)|y＝g^α}(m)；

若用户知道秘密值x＝log_gy，对消息m产生这样的知识签名，具体签名过程如下：

首先随机选取计算t＝g^r，计算c＝H(m||g||y||t)，s＝r-cx，生成签名(c,s)；

接收者验证该数对(c,s)是否满足上述定义式，若满足，则表明所述用户知道y基于g为底的离散对数；

SKEQDL方案：若一个数对满足则称(c,s)是已知y₁与y₂基于g与h为底的离散对数的知识签名，记作SKEQDL{(α)|y₁＝g^α∧y₂＝h^α}(m)；

若所述用户知道秘密值x＝log_gy₁＝log_hy₂，对消息m产生知识签名，具体签名过程如下：

首先随机选取计算t₁＝g^r,t₂＝h^r，计算c＝H(m||g||h||y₁||y₂||t₁||t₂)，s＝r-cx，生成签名(c,s)；

所述接收者验证该数对(c,s)是否满足上述定义式，若满足，则表明所述用户知道y₁基于g为底的离散对数与y₂基于h为底的离散对数相等。

10.根据权利要求9所述的用于审计和追踪的匿名消息发送方法，其特征在于，所述可链接群签名的算法步骤包括：

输入1^k，注册机构运行Π₁的BKeyGen算法，生成注册机构的公私钥(GPK,GSK)，BKeyGen(1^k)→(GPK,GSK)；

用户和注册机构通过运行盲签名Π₁和和基于知识签名Π₄的证明协议进行交互，生成证书和公私钥进行注册；

定义消息m∈{0,1}^*，并进行验证运算，使得所述审计机构进行链接运算，且所述监管机构进行追踪运算。