层次撤销群签名:概念与构建

群签名是具有中心地位的密码系统,其中一个重要的问题是成员撤销.支持更多方式撤销的群签名方案能使群签名应用于更多的场合和领域;提出一种可层次撤销的群签名方案的概念,即不仅支持普通的VLR撤销某个群成员,还支持撤销某个小组、大组等等的层次撤销;与普通的VLR撤销相比在撤销一组多人时效率从O(R)(R为撤销人数)提高到了O(1);并基于RSA假设和多项式构建出了一个具体的层次撤销群签名方案,构建方法具有独立的意义可用于其他密码系统的构建.     

婴儿配方乳粉中维生素B1、B2含量测定能力验证

目的设计组织婴儿配方乳粉中维生素B_1、维生素B_2含量测定能力验证项目,评价实验室检测婴儿配方乳粉中维生素B_1、维生素B_2的技术能力和水平。方法考核样品中的维生素B_1、维生素B_2在P0.05显著水平时是否均匀,且在整个计划周期内稳定,满足能力验证的要求。通过实施能力验证计划,对来自27个省(自治区)、直辖市的33家实验室的测定结果与指定值比对得到相对偏差,评价实验室检测能力。结果在参加实验室中,维生素B_1总体满意率为90.6%;维生素B_2总体满意率为84.8%。结论多数参加实验室检测能力结果满意,表明乳粉中维生素B_1、维生素B_2检测水平总体良好。对于离群结果进行技术分析,可以帮助实验室查找原因并进行整改。     

Formal Design of Cache Memory Protocols in IBM

We describe the formal design techniques currently used in IBM to develop cache protocol controllers for high-end servers. In our approach to formal design, formal specification and verification methods are incorporated into the hardware design process, starting from the earliest stages of a hardware project. We describe collaborations between a formal methods expert and hardware designers on two high performance server projects. Properties of the design are verified using both manual proof techniques and model checking. We discuss the modelling and model checking techniques we have developed and indicate future directions.     

基于辫群的指定验证者的签名方案

辫群是一种非交换的无限群,该群中有许多困难问题是不可解的,如字问题、共轭问题和根问题等,利用这些困难问题可以去设计一些密码协议。介绍了辫群的基本概念和辫群中的困难问题,在此基础之上,利用辫群中左右子群的元素可交换性,提出了一个基于辫群上的共轭查找问题和p次根问题的指定验证者的签名方案,通过分析可知,该方案具有简单实用、算法速度快和高效安全的特性。     

可否认的基于属性的指定证实人签名方案

为了使签名人具有否认无效签名的权利, 首次提出可否认的基于属性的指定证实人签名模型, 构造了一个可否认的基于属性的指定证实人签名方案。在该方案中, 签名者和指定的证实人均可对签名的有效性进行确认, 并且可以否认无效的签名。最后, 对方案的正确性进行了分析, 并在随机预言模型下证明了其安全性。分析表明, 本方案具有不可伪造性, 并能抵抗合谋攻击。     

聚焦脉络——一种核心保护区划定方法研究

在历史街区的保护更新规划中,划定核心保护、建设控制和环境协调三个区以覆盖整个地块是规划关键的先行内容,在这其中核心保护区的划定,直接涉及到保护规划理念的价值取向、保护区的规模和规划方法的选择.我国众多历史性城市在近现代的发展过程中,完整保留和保护下来的不多,多数为保留着散点状历史建筑或簇群状传统建筑群的街区,由这些历史遗存建立起的历史文化街区或传统街区,在标识出城市历史文化特征的同时,也将城市从形成到发展的演变脉络蕴含在空间结构和风貌形态之中.鉴于此,由强调城市物质空间与文化特征的成因脉络出发,建立起传统街区中＂脉络状＂核心保护区的划定方法,并非刻意区别于＂块状＂或＂带状＂的划定方式,而在于从空间肌理和风貌形态特征生成的历史脉络着手,建立起与核心保护区规模和边界间的紧密关联.     

强制性产品认证指定实验室日常管理评价方法研究

强制性产品认证指定实验室是我国强制性产品安全质量保障体系的重要组成部分,对其开展日常管理评价研究是完善强制性产品认证指定实验室监督管理制度所需,也是加强事中事后监管形势所需。本研究通过建立系统全面科学合理的评价指标体系,提出了强制性产品认证指定实验室日常管理评价方法,并对该方法的应用提出了建议。     

A non-interactive deniable authentication scheme based on designated verifier proofs

A deniable authentication protocol enables a receiver to identify the source of the given messages but unable to prove to a third party the identity of the sender. In recent years, several non-interactive deniable authentication schemes have been proposed in order to enhance efficiency. In this paper, we propose a security model for non-interactive deniable authentication schemes. Then a non-interactive deniable authentication scheme is presented based on designated verifier proofs. Furthermore, we prove the security of our scheme under the DDH assumption.     

基于身份的可转化限制验证者签名

利用双线性映射的特性,提出一个基于身份的可转化限制验证者签名方案。该方案不仅具有基于身份密码体制的优势,而且也能解决数字签名中真实性和隐私性之间的冲突。分析表明,该方案能满足不可伪造性和不可转发性。