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

一种新的格式化串读写越界防御模型

引用

菏泽学院学报 2009年第2期31卷 62-65页

作者：黄玉文马瑞兴李肖坚广西师范大学计算机与信息工程学院广西桂林541004 广西经济管理干部学院计算机系广西南宁530007 北京航空航天大学北京市网络技术重点实验室北京100083

格式化串读写越界漏洞危害性非常大.介绍了格式化串读写越界的基本原理和现有防御技术,提出了一种新的格式化串读写越界防御模型;该防御模型能够对格式化串读写越界行为进行保护、检测、响应和恢复.最后给出了该模型的实现.

关键词：格式化串读写越界防御虚拟机

来源：评论

学校读者我要写书评

暂无评论

基于Petri网的WSCI形式化模型分析

基于Petri网的WSCI形式化模型分析

引用

2009年全国理论计算机科学学术年会

作者：黄雨胡文蕙高昕王捍贫教育部高可信软件技术重点实验室北京100871 100871 北京市北京大学理科1号楼1730 北京大学软件工程国家工程研究中心北京100871 北京大学信息科学技术学院北京100871

WSCI是一种Web服务组合标记语言,对于一些关键的业务流程,任何设计错误都会造成重大损失,因此有必要为WSCI语言建立形式化模型并给予分析,从而保证正确的业务流程部署。本文主要给出了WSCI的分析方法,基于文献给出了形式化模型,提出了... 详细信息

WSCI是一种Web服务组合标记语言,对于一些关键的业务流程,任何设计错误都会造成重大损失,因此有必要为WSCI语言建立形式化模型并给予分析,从而保证正确的业务流程部署。本文主要给出了WSCI的分析方法,基于文献给出了形式化模型,提出了该形式化模型下的一种网融合方法。该方法将表示进程的网模型与其表示例外处理和子流程的网模型进行合并,形成统一的网模型。本文最后还给出了在该网模型下的可达图分析方法,从而达到分析带有例外处理的WSCI形式化模型的目的。

关键词： Web服务组合标记语言业务流程网融合 Petri网

来源：评论

学校读者我要写书评

暂无评论

完美的门限秘密共享体制

完美的门限秘密共享体制

引用

中国密码学会2009年会

作者： Lin Changlu 林昌露 Harn Lein LeinHarn Key Laboratory of Network Security and Cryptology Fujian Normal UniversityFujian350007P.R.China S 福建师范大学网络安全与密码技术福建省高校重点实验室福建 350007 中科院研究生院信息安全国家重点实验室北京 100049 北京交通大学通信与信息系统北京市重点实验室北京 100044 Department of Computer Science Electrical Engineering University of Missouri-Kansas CityMO 64110US Missouri-Kansas城市大学计算机科学电子工程系密苏里 64110 美国

Shamir首次提出了(t,n)门限密钥共享体制,该体制的子密钥由有限域上的多项式生成,且其主密钥可通过拉格朗日插值公式重构得到.Ghodosi等人证明了在Shamir体制中如果多项式的次数恰好为(t-1)次,那么该体制就不是完美的;他们还指出如果该... 详细信息

Shamir首次提出了(t,n)门限密钥共享体制,该体制的子密钥由有限域上的多项式生成,且其主密钥可通过拉格朗日插值公式重构得到.Ghodosi等人证明了在Shamir体制中如果多项式的次数恰好为(t-1)次,那么该体制就不是完美的;他们还指出如果该多项式的次数至多为(t-1)次,那么该体制就是完美的.在由Benaloh提出的可验证密钥共享体制(VSS)中,其可验证性是指所有子密钥持有者在不知道主密钥和其他人的子密钥情况下可以验证所有子密钥是否由一个次数至多为(t-1)次的多项式生成.最近,Lin等人提出强可验证密钥共享体制(SVSS).在Lin等人的体制中,所有子密钥是由一个次数恰好为(t-1)次的多项式生成.本文提出了一个新的(t,n)门限密钥共享体制该;该体制的所有子密钥是由一个次数恰好为(t,n)次的多项式生成的,且它是完美的;该体制与Shamir体制一样的有效.

关键词：门限密钥共享体制子密钥多项式次数

来源：评论

学校读者我要写书评

暂无评论

小区地表温度与下垫面结构关系研究

引用

国土资源遥感 2009年第3期21卷 49-53页

作者：陈声海魏信王修信朱启疆东华理工大学长江学院南昌330013 北京师范大学珠海分校不动产学院珠海519085 广西师范大学计算机科学与信息工程学院桂林541004 北京师范大学地理学与遥感科学学院遥感与地理信息系统研究中心北京100875 环境遥感与数字城市北京市重点实验室北京100875 遥感科学国家重点实验室北京100875

以北京市为例,选取了商业区、学校、生活区和公园4种典型小区24个,基于遥感及G IS的方法反演地表温度,获取下垫面覆盖信息;研究了不同类型小区地表温度热场与下垫面结构的关系。结果表明:水体、绿地具有明显的降温功能,建筑地面则增温... 详细信息

以北京市为例,选取了商业区、学校、生活区和公园4种典型小区24个,基于遥感及G IS的方法反演地表温度,获取下垫面覆盖信息;研究了不同类型小区地表温度热场与下垫面结构的关系。结果表明:水体、绿地具有明显的降温功能,建筑地面则增温效果明显,这3种地表所占的面积比例与小区平均地表温度关系密切;在所选取的绿地结构指数中,对温度影响从大到小依次为绿地覆盖率、分离度、缀块平均面积、连通指数、形状指数和分维数,其中,分离度与温度呈现正相关,其它指数与温度呈负相关;在所有类型小区中,温度从高到低依次为商业区、学校、生活区和公园;公园的温度分布在所有类型小区中最分散,商业区最集中。

关键词：小区地表温度下垫面结构景观生态绿地

来源：评论

学校读者我要写书评

暂无评论

SMS4算法在嵌入式系统中的硬件实现方法

引用

武汉大学学报（信息科学版） 2008年第10期33卷 1015-1017页

作者：赵波熊泉韩碧霞武汉大学计算机学院武汉市430079 武汉大学软件工程国家重点实验室武汉市430072 武汉大学空天信息安全与可信计算教育部重点实验室武汉市430079

提出了一种在嵌入式系统中使用FPGA(filed programmable gate array)实现国家对称密码算法SMS4算法的方法,并在实际系统中进行了设计验证。试验结果表明,使用硬件实现的加密算法可以大大提高嵌入式系统的加解密速度,在不增加嵌入式系统... 详细信息

提出了一种在嵌入式系统中使用FPGA(filed programmable gate array)实现国家对称密码算法SMS4算法的方法,并在实际系统中进行了设计验证。试验结果表明,使用硬件实现的加密算法可以大大提高嵌入式系统的加解密速度,在不增加嵌入式系统负担的情况下,提高了其安全性。

关键词：可信计算嵌入式系统 FPGA SMS4

来源：评论

学校读者我要写书评

暂无评论

基于状态机理论的可信平台模块测试研究

引用

武汉大学学报（信息科学版） 2008年第10期33卷 1067-1069页

作者：詹静张焕国徐士伟向騻武汉大学计算机学院武汉市430079 武汉大学软件工程国家重点实验室武汉市430072 武汉大学空天信息安全及可信计算教育部重点实验室武汉市430079

可信平台模块(trusted platform module,TPM)作为可信计算关键部件,对其进行规范符合性测试非常有必要。基于TPM规范进行了一致性测试建模,提出了相关测试策略和测试系统框架。

关键词：状态机理论符合性测试可信平台模块

来源：评论

学校读者我要写书评

暂无评论

基于多分类器的数据流中的概念漂移挖掘

引用

自动化学报 2008年第1期34卷 93-97页

作者：孙岳毛国君刘旭刘椿年北京市多媒体与智能软件重点实验室北京工业大学计算机学院北京100022

数据流中概念漂移的检测是当前数据挖掘领域的重要研究分支,近年来得到了广泛的关注.本文提出了一种称为M_ID4的数据流挖掘算法.它是在大容量数据流挖掘中,通过尽量少的训练样本来实现概念漂移检测的快速方法.利用多分类器综合技术,M-ID... 详细信息

数据流中概念漂移的检测是当前数据挖掘领域的重要研究分支,近年来得到了广泛的关注.本文提出了一种称为M_ID4的数据流挖掘算法.它是在大容量数据流挖掘中,通过尽量少的训练样本来实现概念漂移检测的快速方法.利用多分类器综合技术,M-ID4实现了数据流中概念漂移的增量式检测和挖掘.实验结果表明,MID4算法在处理数据流的概念漂移上表现出比已有同类算法更高的精确度和适应性.

关键词：数据挖掘数据流概念漂移

来源：评论

学校读者我要写书评

暂无评论

基于混沌计算的全加器实现

引用

物理学报 2008年第12期57卷 7506-7510页

作者：杨雪梅罗红李丽香罗群彭海朋北京邮电大学计算机学院智能通信软件与多媒体北京市重点实验室北京100876 北京邮电大学网络与交换技术国家重点实验室北京100876

混沌计算是一种使用混沌单元实现基本逻辑门的新计算模式.基于混沌计算的思想提出了实现全加器的新方法,通过设定不同的阀值及判断条件,使用一个混沌单元实现全加器.与传统全加器的实现相比,降低了全加器结构上的复杂性,提供了实现上的... 详细信息

混沌计算是一种使用混沌单元实现基本逻辑门的新计算模式.基于混沌计算的思想提出了实现全加器的新方法,通过设定不同的阀值及判断条件,使用一个混沌单元实现全加器.与传统全加器的实现相比,降低了全加器结构上的复杂性,提供了实现上的灵活性.最后,以Logistic映射为例给出了使用一个混沌单元实现全加器的方法.

关键词：混沌混沌计算全加器

来源：评论

学校读者我要写书评

暂无评论

人脸特征点跟踪及夸张人脸动画系统

引用

北京工业大学学报 2008年第8期34卷 878-883页

作者：孙艳丰范霞尹宝才北京工业大学计算机学院多媒体与智能软件技术北京市重点实验室北京100022

为了研究视频中人脸特征点的跟踪问题,根据人脸特征点的不同特征,提出了不同的跟踪方法.对于眉都等特征点,利用光流跟踪方法,用拉普拉斯金字塔图代替了通常的灰度图作为光流输入图,减少了累积误差,提高了光流跟踪的准确性;对于嘴部特征... 详细信息

为了研究视频中人脸特征点的跟踪问题,根据人脸特征点的不同特征,提出了不同的跟踪方法.对于眉都等特征点,利用光流跟踪方法,用拉普拉斯金字塔图代替了通常的灰度图作为光流输入图,减少了累积误差,提高了光流跟踪的准确性;对于嘴部特征点,将光流与弹性图匹配相结合,通过光流预先得到大致位置,减小了弹性图匹配时的搜索范围,提高了跟踪速度;对于眼部特征点,采用图像二值化方法进行跟踪.通过MPEG-4机制将跟踪到的运动数据克隆到系统根据真实人脸特点生成的夸张人脸上进行动画,具有很强的娱乐色彩.

关键词：光流弹性图匹配 Gabor小波主动形状模型 MPEG-4

来源：评论

学校读者我要写书评

暂无评论

基于面向服务架构的网上支付安全体系研究与实现

引用

计算机集成制造系统 2008年第12期14卷 2468-2475页

作者：林松李舟军张帆北京航空航天大学计算机学院北京100191 北京市网络技术重点实验室北京100191

为提高网上支付系统的安全性,提出一种面向服务架构的松耦合的安全体系。该安全体系利用企业服务总线,灵活集成公钥基础设施、安全令牌、加密、签名、身份认证、角色访问控制等安全服务,增强了网上支付的安全。利用π-演算对USBKey双因... 详细信息

为提高网上支付系统的安全性,提出一种面向服务架构的松耦合的安全体系。该安全体系利用企业服务总线,灵活集成公钥基础设施、安全令牌、加密、签名、身份认证、角色访问控制等安全服务,增强了网上支付的安全。利用π-演算对USBKey双因素认证服务建模,用形式化的方法验证了细粒度安全服务组合成粗粒度安全服务的正确性。经过某商业银行网上支付系统的实践,表明这种基于企业服务总线的Web服务系统,是一种具有安全性和便利性的安全解决方案。

关键词：面向服务架构 Web服务网上支付安全体系 π演算

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：