检索结果-内蒙古大学图书馆

中国密码学会2010年会

作者：谭林戚文峰信息工程大学信息工程学院郑州 450002 信息工程大学信息工程学院郑州 450002 中国科学院软件研究所信息安全国家重点实验室北京 100190

FCSR是由***和***提出的一类非线性序列生成器,由于其带进位的反馈方式,FCSR序列蕴含了较高的复杂性.极大周期FCSR序列,也叫1-序列,具有很好的分布特性、相关性以及很高的线性复杂度.1-序列好的伪随机性质使其作为序列源的应用具有很好... 详细信息

FCSR是由***和***提出的一类非线性序列生成器,由于其带进位的反馈方式,FCSR序列蕴含了较高的复杂性.极大周期FCSR序列,也叫1-序列,具有很好的分布特性、相关性以及很高的线性复杂度.1-序列好的伪随机性质使其作为序列源的应用具有很好的前景.密钥流序列不仅要有高的线性复杂度，而且要求对其改变少量的比特后线性复杂度不会急剧下降.为此，丁存生等提出了序列的稳定性理论及序列的球体复杂度，随后***等提出了k-错线性复杂度的概念.序列s的k-错线性复杂度LCk(s)定义为:在一个周期内至多改变k个比特(其他周期作相同的改变)所得到序列的线性复杂度的最小值.k-错线性复杂度被认为是衡量序列伪随机性的一个指标.***等定义minerror(s)为使得LCk(s)

关键词：密码学 l-序列采样元素分布 k-错线性复杂度

来源：评论

学校读者我要写书评

暂无评论

车载容迟网络中一种基于真实轨迹的车辆移动模型

车载容迟网络中一种基于真实轨迹的车辆移动模型

引用

CWSN2010第4届中国传感器网络学术会议

作者：杨卫东朱红松张德贤王珂张瑜刘伎昭河南工业大学信息科学与工程学院郑州450001 中国科学院软件研究所信息安全国家重点实验室北京100190 中国科学院软件研究所信息安全国家重点实验室北京100190 河南工业大学信息科学与工程学院郑州450001

车辆移动模型的选择会严重影响车载容迟网络中关键技术的仿真研究结果。现有车辆移动模型大多属于合成移动模型,不符合真实环境。本文基于车辆真实移动轨迹建立车辆移动模型,考虑了道路拓扑选择、车辆速度控制、车辆初始位置选择以及路... 详细信息

车辆移动模型的选择会严重影响车载容迟网络中关键技术的仿真研究结果。现有车辆移动模型大多属于合成移动模型,不符合真实环境。本文基于车辆真实移动轨迹建立车辆移动模型,考虑了道路拓扑选择、车辆速度控制、车辆初始位置选择以及路口转向选择等因素。在此基础上,进一步分析了模型对实际车辆行为模拟的接近程度、车辆的分布特性,以及基于该模型的网络连接特性。结果表明,提出的模型能够真实地逼近现实环境中车辆的实际行为。

关键词：无线通信车载网络移动定位网络拓扑

来源：评论

学校读者我要写书评

暂无评论

全程一致访问控制体系研究

全程一致访问控制体系研究

引用

2010年第四届中国可信计算与信息安全学术会议

作者：韩培胜赵勇李瑜北京工业大学计算机学院北京100124 信息工程大学电子技术学院郑州450004 中国科学院软件研究所信息安全国家重点实验室北京100049 北京工业大学计算机学院北京100124

针对系统中的访问控制体系由各种访问控制机制堆彻而成而带来的系统访问控制不一致问题,本文提出了全程一致访问控制的概念,随后给出了全程一致访问控制体系的结构、分工及准则,以指导全程一致访问控制体系的构建,然后采用了原型系统对... 详细信息

针对系统中的访问控制体系由各种访问控制机制堆彻而成而带来的系统访问控制不一致问题,本文提出了全程一致访问控制的概念,随后给出了全程一致访问控制体系的结构、分工及准则,以指导全程一致访问控制体系的构建,然后采用了原型系统对全程一致的访问控制体系进行了验证.采用该体系,不但能有效发挥系统中各访问控制机制的优势,还能降低安全投入成本.

关键词：全程一致访问控制体系原型系统安全投入成本

来源：评论

学校读者我要写书评

暂无评论

吝啬语义信任协商

引用

计算机学报 2009年第10期32卷 1989-2003页

作者：张妍冯登国中国科学院软件研究所信息安全国家重点实验室北京100190 信息安全共性技术国家工程研究中心北京100190

自动信任协商是通过数字证书的交互披露在陌生实体间建立信任的过程,现有的自动信任协商框架要求主体出示完整属性证书来证明自己满足对方资源披露策略中的身份断言约束条件,导致了属性证书中身份信息过度披露问题.该文中作者提出一种... 详细信息

自动信任协商是通过数字证书的交互披露在陌生实体间建立信任的过程,现有的自动信任协商框架要求主体出示完整属性证书来证明自己满足对方资源披露策略中的身份断言约束条件,导致了属性证书中身份信息过度披露问题.该文中作者提出一种通过交换DL-TNL语义身份断言来建立信任关系的吝啬语义信任协商框架,避免了完整属性证书的直接出示,减少信任建立过程中身份信息被披露的程度,并提出一种正确、完备且有效的吝啬语义信任协商策略.在该策略下,交易双方的协商引擎可以快速有效地从由身份断言权威签发的包含多个DL-TNL语义身份断言的身份断言证书中,自动计算出批露最少信息且符合对方策略的身份断言集进行出示,以最大限度地减少信任建立过程中被披露的身份信息,并保证理论上存在成功可能性时,使用该策略必然可以有效地帮助主体最终获得网络资源的访问权限.有关该策略完备性和正确性的证明以及策略实施中所使用的符合性检测算法的实现和分析均在文中给出.

关键词：自动信任协商语义方法隐私保护协商策略符合性检测

来源：评论

学校读者我要写书评

暂无评论

机密数据库泄漏源检测与量化评估方案

引用

计算机学报 2009年第4期32卷 721-729页

作者：咸鹤群中国科学院软件研究所信息安全国家重点实验室北京100190 信息安全共性技术国家工程研究中心北京100190

针对机密数据库泄漏源检测问题以及现有技术存在的不足,提出了一种基于复合型数据库水印的检测方法与量化评估方案.设计了复合型数据库水印的添加与检测算法,利用水印添加与数据分发协议,将机密数据与其所有者和用户的身份绑定,实现了... 详细信息

针对机密数据库泄漏源检测问题以及现有技术存在的不足,提出了一种基于复合型数据库水印的检测方法与量化评估方案.设计了复合型数据库水印的添加与检测算法,利用水印添加与数据分发协议,将机密数据与其所有者和用户的身份绑定,实现了泄漏源检测与追查过程中对参与双方的公平保护.使用概率分析的方法实现了检测结果的可靠性量化评估.最后通过实验分析了算法的计算性能,验证了方案的有效性和可行性.实验结果表明该方案具有较高的实用价值.

关键词：数据库水印泄漏源检测复合水印量化评估数据库安全

来源：评论

学校读者我要写书评

暂无评论

基于可信虚拟平台的数据封装方案

引用

计算机研究与发展 2009年第8期46卷 1325-1333页

作者：汪丹冯登国徐震中国科学院软件研究所信息安全国家重点实验室北京100190 信息安全共性技术国家工程研究中心北京100190

可信计算平台的封装存储功能将数据的加密存储与平台配置结合起来,可提供更为强有力的数据安全服务.然而,平台配置的频繁变动如硬件更替、软件更新及系统补丁等又极大地限制了封装存储功能的使用.针对这个问题,提出了一种基于可信虚拟... 详细信息

可信计算平台的封装存储功能将数据的加密存储与平台配置结合起来,可提供更为强有力的数据安全服务.然而,平台配置的频繁变动如硬件更替、软件更新及系统补丁等又极大地限制了封装存储功能的使用.针对这个问题,提出了一种基于可信虚拟平台的数据封装存储方案.方案引入了虚拟PCR(vPCR)和安全属性的概念,利用可信平台模块(TPM)将数据与系统安全属性封装起来保护.该方案除能适应平台配置频繁变更的问题外,还能同时保护多个虚拟机系统中数据的安全,不受虚拟机系统配置变化的影响.该方案执行操作简单,实验结果表明与原有方案相比,TPM的负担较小,性能无显著差别.

关键词：可信计算可信平台模块虚拟平台数据封装 .安全属性安全级别

来源：评论

学校读者我要写书评

暂无评论

一种保护芯片设计的多变量加密及其电路结构

引用

电子学报 2009年第6期37卷 1300-1306页

作者：赵险峰李宁邓艺中国科学院软件研究所信息安全国家重点实验室北京100190 中国科学技术大学电子工程与信息科学系安徽合肥230027

当前普遍用分组加密保护可编程芯片的设计数据,它们在使用前被内置密钥的电路解密,典型地,解密电路尺寸为3至6.5万门电路,处理速度为3至3.7吉比特每秒(Gbps).本文提出一种两轮多变量密码,它的解密算法并不复合构成算法的多项式映射,而... 详细信息

当前普遍用分组加密保护可编程芯片的设计数据,它们在使用前被内置密钥的电路解密,典型地,解密电路尺寸为3至6.5万门电路,处理速度为3至3.7吉比特每秒(Gbps).本文提出一种两轮多变量密码,它的解密算法并不复合构成算法的多项式映射,而仅连接它们,可仅用数千至1万余个门电路实现,解密速度可达到7.76至13.6Gbps;由于解密多项式被封装和伪装,对多变量密码的大多攻击失效,并且该密码系统也能够抵御不需要解密多项式的攻击,包括插值、线性攻击和侧信道攻击等.

关键词：知识产权保护芯片设计保护密码芯片信息安全

来源：评论

学校读者我要写书评

暂无评论

可信密码模块符合性测试方法研究

引用

计算机学报 2009年第4期32卷 654-663页

作者：李昊胡浩陈小峰中国科学院软件研究所信息安全国家重点实验室北京100190 信息安全共性技术国家工程研究中心北京100190 中国科学技术大学电子工程与信息科学系合肥230027

提出了一种可信密码模块(TCM)符合性测试的形式化方法,采用基于扩展有限状态机(EFSM)模型与测试向量相结合的方式对TCM的标准进行形式化建模.由于该建模方法结合TCM自身特点给出了命令依赖关系图的获取算法以及EFSM模型与测试向量获取算... 详细信息

提出了一种可信密码模块(TCM)符合性测试的形式化方法,采用基于扩展有限状态机(EFSM)模型与测试向量相结合的方式对TCM的标准进行形式化建模.由于该建模方法结合TCM自身特点给出了命令依赖关系图的获取算法以及EFSM模型与测试向量获取算法,所以能够更好地对标准进行形式化建模,并用于测试用例的产生.通过测试结果分析以及与其他相关工作的对比,表明该方法能够有效地产生测试用例,并提高TCM符合性测试的错误检测率.

关键词：可信计算 TCM 形式化方法符合性测试 EFSM

来源：评论

学校读者我要写书评

暂无评论

基于代码覆盖的恶意代码多路径分析方法

引用

电子学报 2009年第4期37卷 701-705页

作者：王祥根司端锋冯登国苏璞睿中国科学技术大学电子工程与信息科学系安徽合肥230027 中国科学院软件研究所信息安全国家重点实验室北京100190

传统的恶意代码动态分析每次分析的对象只是恶意代码的某一个执行路径,难以保证分析的全面性.恶意代码多路径分析是解决该问题的思路之一.本文提出一种基于代码覆盖的多路径分析方法,通过标识判断条件节点,减少局部路径被重复遍历的次数... 详细信息

传统的恶意代码动态分析每次分析的对象只是恶意代码的某一个执行路径,难以保证分析的全面性.恶意代码多路径分析是解决该问题的思路之一.本文提出一种基于代码覆盖的多路径分析方法,通过标识判断条件节点,减少局部路径被重复遍历的次数,在保证分析效果的同时,提高分析系统的分析效率以及代码覆盖率.通过对大量典型恶意代码的分析验证表明,本方法可明显缩短分析时间,提高分析效率和分析的全面性.

关键词：恶意代码动态分析多路径遍历代码覆盖

来源：评论

学校读者我要写书评

暂无评论

改进的基于漫游场景的认证密钥交换协议

引用

通信学报 2009年第S2期30卷 61-68页

作者：周涛徐静中国科学院研究生院信息安全国家重点实验室北京100190 信息安全共性技术国家工程研究中心北京100190 中国科学院软件研究所信息安全国家重点实验室北京100190

由于动态性和易受攻击的结构特性,无线网络环境下认证协议的设计面临新的挑战。2006年,全球移动网络漫游场景下的2个双向认证密钥交换协议被提出。经过分析发现,这2个协议都会遭受到一些实际的攻击。进一步的,2个改进的协议被提出用于... 详细信息

由于动态性和易受攻击的结构特性,无线网络环境下认证协议的设计面临新的挑战。2006年,全球移动网络漫游场景下的2个双向认证密钥交换协议被提出。经过分析发现,这2个协议都会遭受到一些实际的攻击。进一步的,2个改进的协议被提出用于抵御这些攻击。这2个协议不仅保留了原方案的优点,还提高了第2个方案的效率。

关键词：无线通信漫游认证密钥交换匿名性

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：