国家自然科学基金(90604010)

作品数：7被引量：24H指数：2
导出分析报告
相关作者：姬东耀唐静唐强胡伟徐静更多>>
相关机构：中国科学院研究生院中国科学院更多>>
相关期刊：《武汉大学学报（理学版）》《Chinese Journal of Electronics》《计算机研究与发展》《电子与信息学报》更多>>
相关主题：可证安全RFID安全协议归约可验证秘密分享移动AD_HOC网更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-7
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于信息流模型的TCB完整性策略分析方法与工具被引量：1
《武汉大学学报（理学版）》2013年第5期431-437,共7页胡伟 姬东耀 
国家自然科学基金资助项目(90604010);中国科学院战略性先导专项(xda06010702)
TCB(trusted computing base)完整性保护对于计算机系统安全具有十分重要的意义,目前的静态度量方法并不完善,而动态度量方法还很不成熟,因而提出一种基于策略的分析方法来分析系统TCB和域TCB的完整性.这一方法将系统策略文件中的描述...
关键词：信息流 完整性 类型强制模型 可信计算基 策略违反图 
秘密认证中的可否认性问题
《中国科学院研究生院学报》2009年第6期835-840,共6页唐强 姬东耀 
国家自然科学基金(90604010);国家973计划(2007CB311202);国家863计划(2006AA01Z427)资助
针对一类隐私性问题,一些特定组织中的成员只愿意与本组成员进行一些交流,或者发布一些请求;接收方不是该小组的成员时,不能获知消息;当双方在一个小组时,消息能够被阅读并要求经过认证;通信结束时,发送方不希望接收方向其他人证明他曾...
关键词：隐私保护 可否认认证 秘密握手 可证安全 
基于LPN问题的RFID安全协议设计与分析被引量：13
《电子与信息学报》2009年第2期439-443,共5页唐静 姬东耀 
国家自然科学基金(90604010)资助课题
该文对现有的基于LPN问题的RFID安全协议进行了系统分析，总结了这类协议存在的一些设计缺陷。为了克服这类协议中存在的安全漏洞，对其中一个最新版本的协议HB＋进行改进，设计了一个新的RFID安全协议HB^#，并在随机预言模型下给出了...
关键词：射频身份识别 LPN 认证 归约 
一个移动Ad Hoc网密钥协商协议的安全分析被引量：1
《中国科学院研究生院学报》2008年第5期611-614,共4页徐静 
国家自然科学基金项目(90604018,60673083,90604010);中国科学院研究生院院长基金(O55001H)资助
Ad Hoc网是一种不依赖于任何固定基础设施、没有中心控制节点、计算资源受限的新型无线移动网络.最近王晓峰等学者提出了一个新的适用于Ad Hoc网的具有口令认证和共享口令进化的多方密钥协商协议,并认为他们的协议是安全而高效的.然而...
关键词：AD HOC网 密钥协商 安全分析 
多授权中心可验证的基于属性的加密方案被引量：8
《武汉大学学报（理学版）》2008年第5期607-610,共4页唐强 姬东耀 
国家重点基础研究发展计划(973)项目(2007CB311202);国家高技术研究发展计划(863)项目(2006AA01Z427);国家自然科学基金资助项目(90604010)
在本文构造的方案中,将可验证的属性加密方案由单个授权中心推广到多个授权中心,使得多授权中心的基于属性的加密在解密出错时,可以检验出是哪个授权中心部分的密钥出错,只需要去找该授权中心重发,不用让所有授权中心均重发;其次各个授...
关键词：基于属性的加密 多授权中心 可验证秘密分享 可证安全 
HB协议的形式规约与验证被引量：1
《计算机研究与发展》2008年第z1期113-117,共5页唐静 姬东耀 
国家自然科学基金项目(90604010)
形式化方法是确保安全协议设计正确性的重要工具,利用形式化方法已经发现了许多安全协议的设计错误.首次利用形式规约语言Z对RFID安全协议HB进行形式规约,并对HB协议应该满足的安全性质进行形式化描述,使用Z模式推理从协议及其运行环境...
关键词：形式规约 形式验证 安全协议 
An Efficient Signature Scheme with Tight Reduction被引量：1
《Chinese Journal of Electronics》2007年第2期202-205,共4页XU Jing FENG Dengguo 
This work is supported by the National Natural Science Foundation of China （No.90604018, No.60673083, No.90604010） and by the President＇s Foundation of Graduate School of CAS （No.055001H）.
Much recent work has focused on constructing efficient digital signature schemes whose security is tightly related to the hardness of some underlying cryptographic assumptions. With this motivation in mind, we propose...
关键词：Digital signature  Tight reduction Strong Diffie-Hellman problem  Random oracle. 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部