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

计算机与现代化 2012年第12期 119-122,126页

作者：王竞超刘光耀华北计算技术研究所航空信息系统部北京100083

Ajax作为Web 2.0的核心技术,可以异步地向服务器发出请求并实现页面的局部刷新,已经成为开发Web应用的必备技术之一。伴随着此项技术的蓬勃发展,越来越多的安全问题也浮出水面。本文分析基于Ajax的几种Web攻击方式和防御方法,并对其中... 详细信息

Ajax作为Web 2.0的核心技术,可以异步地向服务器发出请求并实现页面的局部刷新,已经成为开发Web应用的必备技术之一。伴随着此项技术的蓬勃发展,越来越多的安全问题也浮出水面。本文分析基于Ajax的几种Web攻击方式和防御方法,并对其中一种攻击进行实例分析,验证文中提出的防御方法的有效性。

关键词： Ajax Web攻击防御方法

来源：评论

学校读者我要写书评

暂无评论

基于虚拟机的嵌入式软件仿真测试环境

引用

沈阳工业大学学报 2011年第4期33卷 409-415页

作者：殷永峰刘斌王志北京航空航天大学可靠性与系统工程学院北京100191 华北计算技术研究所软件平台研发部北京100083

为了提高嵌入式软件的质量和可靠性,提出了一种基于虚拟机的嵌入式软件仿真测试环境.将虚拟机技术引入到嵌入式软件仿真测试领域中,介绍了嵌入式软件仿真测试环境的构成原理,并对虚拟机技术进行了分析,提出一种基于程序移植虚拟机模型... 详细信息

为了提高嵌入式软件的质量和可靠性,提出了一种基于虚拟机的嵌入式软件仿真测试环境.将虚拟机技术引入到嵌入式软件仿真测试领域中,介绍了嵌入式软件仿真测试环境的构成原理,并对虚拟机技术进行了分析,提出一种基于程序移植虚拟机模型扩展的嵌入式软件仿真测试虚拟机(ESSTVM),给出了内存管理和指令系统的设计方案.将ESSTVM应用到航电嵌入式软件系统测试环境AESSTE设计中,研究了该测试环境的体系结构,阐述了测试开发系统及测试执行系统的设计与实现,并对AESSTE的可移植性进行了分析.分析结果表明,该方法能有效提高嵌入式软件测试环境的通用性、可移植性和可维护性.

关键词：嵌入式软件航电系统软件测试虚拟机仿真测试环境软件体系结构实时调度

来源：评论

学校读者我要写书评

暂无评论

关于Negabent函数的若干结论

引用

通信学报 2011年第8期32卷 179-182页

作者：任传伦刘凤梅李忠献钮心忻杨义先北京邮电大学网络与交换技术国家重点实验室信息安全中心北京邮电大学网络与信息攻防技术教育部重点实验室华北计算技术研究所信息保障技术重点实验室天津市国瑞数码安全系统有限公司

利用二次不定方程的求解,研究了Negabent函数的判别和构造问题,给出了Negabent函数的一个直观判别条件和一种间接构造法,同时,证明了一类Maiorana-McFarland bent函数不是Negabent函数。

关键词：布尔函数 Nega-Hadamard变换 Negabent函数 bent函数

来源：评论

学校读者我要写书评

暂无评论

用户层次化的RBAC授权管理模型

引用

计算机应用研究 2010年第12期27卷 4633-4637页

作者：任传伦李忠献钮心忻杨义先北京邮电大学网络与信息攻防技术教育部重点实验室天津市国瑞数码安全系统有限公司华北计算技术研究所

为了降低授权的管理成本,基于用户分层的思想,提出了用户层次化的授权管理模型,即AHURBAC,通过将用户和管理员分层降低了管理成本。给出了AHURBAC模型的形式化定义,并给出canassign、canre-voke、canassignp和canrevokep的形式化定义。... 详细信息

为了降低授权的管理成本,基于用户分层的思想,提出了用户层次化的授权管理模型,即AHURBAC,通过将用户和管理员分层降低了管理成本。给出了AHURBAC模型的形式化定义,并给出canassign、canre-voke、canassignp和canrevokep的形式化定义。给出的授权管理模型对有效降低授权管理成本是有益的。

关键词：角色基于角色的访问控制授权管理形式化定义

来源：评论

学校读者我要写书评

暂无评论

基于有限脊波变换的多聚焦图像融合新算法