论文部分内容阅读
为公平交换协议引入了一个自然的范例一一基于身份的部分代理签名，给出其形式化的安全模型，同时提出了一个高效可证安全的部分代理签名方案．这是一个完全基于身份的优化公平交换协议与以前协议不同的是，该方案没有使用任何零知识证明，有效地避免了大量计算．
利用代理签名构造基于身份的优化公平交换协议
【摘 要】
：
为公平交换协议引入了一个自然的范例一一基于身份的部分代理签名，给出其形式化的安全模型，同时提出了一个高效可证安全的部分代理签名方案．这是一个完全基于身份的优化公平交换
【机 构】
：
信息安全国家重点实验室（中国科学院研究生院）,信息安全国家重点实验室（中国科学院软件研究所）
【出 处】
：
软件学报
【发表日期】
：
2007年3期
【基金项目】
：
Supported by the National Natural Science Foundation of China under Grant Nos.60373039,90604010（国家自然科学基金）,the National Science Fund for Distinguished Young Scholars of China under Grant No.60025205（国家
其他文献
中国绘画的品评风气在南北朝蔚然成风,至唐代形成了主要的品评结构。此后的宋代确立了文人化的品评范式。文章通过对中国绘画品评方式产生、发展的历史脉络的梳理,着意于“品
自我国提出丝绸之路经济带以后，中亚各国对与我国共建丝绸之路经济带表现出了极大热情，出台相关政策和规划与丝绸之路经济带建设对接，尤其是进一步深化对外开放的深度，拓展开放的
针对De Santis给出的开放问题，提出了公开密钥公开随机性模型下的独立的不经意传榆（简称PKPR IOT）．首先，给出了IOT的一个非交互式实现，它能够独立地不经意传输多项式条消息．该实现是
在移动自主网络中，提供服务质量支持是一个核心研究问题．大量研究表明，在移动自主网络中提供服务质量保障具有很大的挑战性．提出一个基于簇的QoS多路径路由协议（CQMRP），通过一种可扩
智慧是后天的和长期培养才能具备的能力，是指一个人能够看清和把握事物的本质和核心，能够深刻理解洞察事物真相，辨析判断，解决问题和发明创造的能力等。智慧的第一层境界是知识；智
2014年支气管哮喘全球创议（GINA）与慢性阻塞性肺疾病（简称慢阻肺）全球创议（GOLD）科学委员会联合提出了哮喘-慢性阻塞性肺疾病重叠综合征（ACOS）的相关概念。大量的相关文献指出：与慢阻
结构性测试是标识测试用例的基本方法之一．由于程序语言的复杂性以及被测程序的多样性，自动生成结构测试数据的一种有效方法是根据程序运行结果指导生成过程，通过不断迭代，生成符
使用反例压缩算法,从反例中剔除冗余信息,从而使反例易于理解,是目前的研究热点.然而,目前压缩率最高的BFL（brute force lifting）算法,其时间开销过大.为此,提出一种基于悖论分
作者简介： 刘丕华，景德镇陶瓷大学硕士研究生。获“江西省技术能手”“江西省青年岗位能手”称号，国家职业资格二级证书。研究方向：陶瓷雕塑。 王蔓莉，景德鎮陶瓷大学硕士研究生。研究方向：陶瓷装饰设计。
目的：改进传统ELISA方法,提高其对痕量样本的检测灵敏度,降低检测限。方法：将一抗和二抗分别与纳米金和氧化石墨烯结合,应用于传统ELISA方法,通过纳米材料的信号放大作用,提高