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

计算机科学 2010年第4期37卷 11-14页

作者：吴志军杨义先中国民航大学电子信息工程学院天津300300 北京邮电大学网络与交换技术国家重点实验室信息安全中心北京100876

针对信息化发展中各个阶段的显著特点,将其划分为信息化建设、信息安全保障和信息安全评价指标体系3个重要过程;并针对每个过程进行了研究,说明了3个阶段之间的关联关系;提出了适应于中国国情的信息安全保障IA(Information Assurance)的... 详细信息

针对信息化发展中各个阶段的显著特点,将其划分为信息化建设、信息安全保障和信息安全评价指标体系3个重要过程;并针对每个过程进行了研究,说明了3个阶段之间的关联关系;提出了适应于中国国情的信息安全保障IA(Information Assurance)的"运筹"(Operational)机制;研究了以"安全基线政策"(Security Baseline Policy)为核心的信息安全评价指标体系(Indicator)。最后,总结了每个信息化过程的发展特征,分析了今后的发展方向。

关键词：信息化进程信息安全保障信息安全保障评价指标体系安全基线政策

来源：评论

学校读者我要写书评

暂无评论

基于FPGA的超声波信号处理设计与实现

引用

电子技术应用 2010年第5期36卷 104-108页

作者：曹淑琴赵新超袁开国曹晨磊北方工业大学信息工程学院北京100144 北京邮电大学网络与交换技术国家重点实验室北京100876

为了满足超声波探伤检测的实时性需求,通过研究超声波探伤的工作原理,提出了基于FPGA芯片的实时信号处理系统实现方案及硬件结构设计,并根据FPGA逻辑结构模型实现了软件系统的模块化设计。根据实验测试及统计数据得出,基于FPGA芯片的信... 详细信息

为了满足超声波探伤检测的实时性需求,通过研究超声波探伤的工作原理,提出了基于FPGA芯片的实时信号处理系统实现方案及硬件结构设计,并根据FPGA逻辑结构模型实现了软件系统的模块化设计。根据实验测试及统计数据得出,基于FPGA芯片的信号处理系统提高了探伤检测的准确性与稳定性,满足了探伤过程中B超显示的实时性要求。

关键词：超声波探伤 FPGA 回波处理

来源：评论

学校读者我要写书评

暂无评论

用改进的OBDD方法计算通信网可靠度

引用

计算机应用研究 2010年第3期27卷 1114-1117页

作者：肖宇峰李昕李玉宏江虹西南科技大学信息工程学院四川绵阳621010 北京邮电大学网络与交换技术国家重点实验室宽带网研究中心北京100876

提出一种改进的OBDD(ordered binary decision diagram)方法来计算通信网可靠度。该方法考虑了网络共因失效带来的部件故障,使得计算更加准确。在创建原始网络的OBDD结构后,根据共因变量集来计算网络可靠度。由于只创建并保存一个OBDD结... 详细信息

提出一种改进的OBDD(ordered binary decision diagram)方法来计算通信网可靠度。该方法考虑了网络共因失效带来的部件故障,使得计算更加准确。在创建原始网络的OBDD结构后,根据共因变量集来计算网络可靠度。由于只创建并保存一个OBDD结构,可节省大量的计算时间和存储空间。实验证明,该方法能有效计算网络可靠度,其计算时间和存储空间要低于一般的OBDD方法。

关键词：通信网网络可靠度共因失效有序二叉判定图

来源：评论

学校读者我要写书评

暂无评论

Schnorr协议的一次一密双重身份认证研究

引用

计算机工程与应用 2010年第19期46卷 81-84页

作者：张小红樊中奎钟小勇江西理工大学信息工程学院江西赣州341000 北京邮电大学信息安全中心网络和交换技术国家重点实验室北京100876 赣州有色冶金研究所江西赣州341000

针对当前B/S模式下公共网络中进行身份认证的安全问题,设计了使用静态口令和动态口令结合进行一次一密身份认证的方案,它将认证服务器与应用程序服务器分离,使静态口令认证在安全通道内进行,有效保障口令的安全。动态口令认证采用著名的... 详细信息

针对当前B/S模式下公共网络中进行身份认证的安全问题,设计了使用静态口令和动态口令结合进行一次一密身份认证的方案,它将认证服务器与应用程序服务器分离,使静态口令认证在安全通道内进行,有效保障口令的安全。动态口令认证采用著名的Schnorr身份认证协议,其私钥采用复杂的混沌序列生成以确保密钥敏感安全性,结合Java Applet技术对公共网络上传输的信息采用对称DES算法加密,提升了整个系统的可靠性。研究方案最后通过实例验证了系统的可行性和安全保障性。

关键词：身份认证 DES算法 Schnorr协议混沌序列一次一密

来源：评论

学校读者我要写书评

暂无评论

一种基于函数依赖图的构件抽取方法

引用

南京邮电大学学报（自然科学版） 2010年第6期30卷 78-84页

作者：符炜张迎周孙无极杨庚南京邮电大学计算机学院江苏南京210046 北京邮电大学网络与交换技术国家重点实验室北京100876 南京大学软件新技术国家重点实验室江苏南京210093 南京邮电大学通信与信息工程学院江苏南京210003

结合程序切片技术,文中提出了一种基于函数依赖图的构件抽取方法。先讨论函数依赖图中的几种依赖关系及其表示方法,再对由源码分析所得的函数依赖图进行切片操作得到依赖子图,并结合源码生成最终切片代码,即为构件抽取的结果。此基础上... 详细信息

结合程序切片技术,文中提出了一种基于函数依赖图的构件抽取方法。先讨论函数依赖图中的几种依赖关系及其表示方法,再对由源码分析所得的函数依赖图进行切片操作得到依赖子图,并结合源码生成最终切片代码,即为构件抽取的结果。此基础上,提出一种基于函数依赖图的内聚度和耦合度的计算方法,以便从软件度量的角度来评价切片代码(构件)的质量。实验表明利用文中的构件抽取方法生成的切片代码较精简,且具有较高的运行效率。

关键词：构件抽取函数依赖图程序切片内聚度和耦合度 Haskell

来源：评论

学校读者我要写书评

暂无评论

基于静态分析的死锁检测

基于静态分析的死锁检测

引用

数字出版背景下的数字内容安全——2010年亚太信息网络与数字内容安全会议

作者：杨朝红彭平雷刘海燕刘军辉装甲兵工程学院信息工程系北京邮电大学网络与交换技术国家重点实验室

死锁是分布式和并发程序中的常见缺陷。静态分析技术是软件缺陷检测的主要手段之一。本文基于静态分析技术提出了一种死锁检测方法,该方法将死锁检测这一复杂问题分解成为四个子问题—可达分析、别名分析、并发分析、以及Gatelock分析,... 详细信息

死锁是分布式和并发程序中的常见缺陷。静态分析技术是软件缺陷检测的主要手段之一。本文基于静态分析技术提出了一种死锁检测方法,该方法将死锁检测这一复杂问题分解成为四个子问题—可达分析、别名分析、并发分析、以及Gatelock分析,本文详细讨论了这四个子问题的解决方法。

关键词：死锁静态分析

来源：评论

学校读者我要写书评

暂无评论

一种异构无线网络流媒体QoS评测系统的设计实现

引用

计算机应用与软件 2010年第11期27卷 85-87,90页

作者：衷璐洁许长桥首都师范大学信息工程学院北京100089 中国科学院计算技术研究所北京100080 北京邮电大学网络与交换技术国家重点实验室北京100876

异构无线网络接入技术的发展为移动流媒体技术应用带来了全新的机遇与挑战。流控制传输协议SCTP(Stream Control Transmission Protocol)的提出能够很好地实现异构无线网络间的透明无缝切换。为了研究未来泛在异构无线网络环境中的视频... 详细信息

异构无线网络接入技术的发展为移动流媒体技术应用带来了全新的机遇与挑战。流控制传输协议SCTP(Stream Control Transmission Protocol)的提出能够很好地实现异构无线网络间的透明无缝切换。为了研究未来泛在异构无线网络环境中的视频传输,设计了一种SCTP多宿环境下的流媒体QoS评测系统。实验结果表明,该方案能在异构无线网络环境下对不同网络拥塞和负载下的视频传输行为和服务质量进行有效的分析。

关键词：异构无线网络实时流媒体无缝切换流控制传输协议

来源：评论

学校读者我要写书评

暂无评论

安全多方模糊综合评判模型及协议

引用

北京邮电大学学报 2009年第3期32卷 5-9页

作者：肖倩罗守山杨文川郑康锋北京邮电大学网络与交换技术国家重点实验室北京100876 北京邮电大学网络与信息攻防技术教育部重点实验室北京100876 北京邮电大学灾备技术国家工程实验室北京100876 北京邮电大学信息与通信工程学院北京100876

传统的模糊综合评判模型必须集中所有数据进行计算.为了解决分布式环境中多个用户在不共享各自隐私数据的情况下完成综合评判的问题,提出了安全多方模糊综合评判(SMFCE)模型及其主要性质.该模型允许多个分享数据的用户分处不同地点完成... 详细信息

传统的模糊综合评判模型必须集中所有数据进行计算.为了解决分布式环境中多个用户在不共享各自隐私数据的情况下完成综合评判的问题,提出了安全多方模糊综合评判(SMFCE)模型及其主要性质.该模型允许多个分享数据的用户分处不同地点完成评判过程,并且不泄露各自持有的数据.然后,针对参与方按行分享模糊评价矩阵的情形,基于安全多方计算理论,设计出半诚实模型下SMFCE协议.最后,对协议的正确性和安全性进行了证明.

关键词：模糊综合评判安全多方计算百万富翁协议加同态加密体制安全多方排序

来源：评论

学校读者我要写书评

暂无评论

基于指针映射集的动态内存故障测试方法研究

引用

计算机学报 2009年第11期32卷 2274-2281页

作者：张威宫云战卢庆龄万琳装甲兵工程学院信息工程系北京100072 北京邮电大学网络与交换技术国家重点实验室北京100876

动态内存故障在使用指针的程序中是普遍存在的,采用动态测试方法进行测试难以准确定位故障源.而现有的静态分析方法主要存在漏报和误报过多的情况.针对这些问题,提出了指针映射代数系统的概念,全面地反映了指针与内存之间的映射关系,并... 详细信息

动态内存故障在使用指针的程序中是普遍存在的,采用动态测试方法进行测试难以准确定位故障源.而现有的静态分析方法主要存在漏报和误报过多的情况.针对这些问题,提出了指针映射代数系统的概念,全面地反映了指针与内存之间的映射关系,并给出了面向不同故障的指针映射集的构造规则,以此为基础建立了动态内存故障模型.通过指针映射集和故障模型,可以自动检测内存释放异常、内存泄露和空指针引用等动态内存故障,提高了测试效率.在分析过程中,还综合应用了控制流图和路径条件,提高了测试结果的精度.实验结果表明,该方法能够有效检测动态内存故障,而且由于规则定义较为全面,漏报和误报率也较低.

关键词：软件测试静态分析指针映射集内存泄漏空指针引用

来源：评论

学校读者我要写书评

暂无评论

扩展区间运算的变量值范围分析技术

引用

北京邮电大学学报 2009年第3期32卷 36-41页

作者：王雅文宫云战肖庆杨朝红北京邮电大学网络与交换技术国家重点实验室北京100876 装甲兵工程学院信息工程系北京100072

首先扩展了数值区间代数理论,提出了区间集的概念,并定义了区间集上的运算;然后定义了布尔型和引用型变量的取值区间及其运算;最后将区间运算应用于程序的静态分析中,提出了一种基于区间运算的变量取值范围分析方法(RABIC).该方法一方... 详细信息

首先扩展了数值区间代数理论,提出了区间集的概念,并定义了区间集上的运算;然后定义了布尔型和引用型变量的取值区间及其运算;最后将区间运算应用于程序的静态分析中,提出了一种基于区间运算的变量取值范围分析方法(RABIC).该方法一方面可以直接判定出程序中的不可达路径;另一方面可以应用于软件缺陷检测工具中,减少误报,提高检测结果的准确率.

关键词：软件测试静态分析区间运算范围分析

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：