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

移动节点切换安全是移动IPv6网络今后研究中最基本的问题之一。切换安全对于保障移动IPv6网络的完整性、可用性,推动其实际应用具有重要意义。本文在全面地阐述了切换算法的发展历程的基础上,对切换过程的网络威胁、安全性需求及现状进行了总结,然后分别对当前的代表性切换算法提供的保护机制进行安全性分析,指出了这些算法相对于安全性需求存在的不足,最后进一步分析和总结了研究现状中存在的问题、需要研究的内容和切换安全性研究的发展趋势。

关键词：移动IPv6 切换算法网络威胁安全性需求

来源：评论

学校读者我要写书评

暂无评论

基于源代码的指针分析算法的安全性改进

引用

计算机应用与软件 2008年第12期25卷 9-11页

作者：魏磊谢立南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系江苏南京210093

提出了一种安全性更强的指针分析算法。通过对四种常用的指针分析算法的综合分析,选取了Steensgaard算法进行安全性改进,在该算法的基础上通过添加强制类型转换的语义并对算法的类型系统的推导规则进行改进,使其避免了因精确性损耗而导... 详细信息

提出了一种安全性更强的指针分析算法。通过对四种常用的指针分析算法的综合分析,选取了Steensgaard算法进行安全性改进,在该算法的基础上通过添加强制类型转换的语义并对算法的类型系统的推导规则进行改进,使其避免了因精确性损耗而导致的攻击的漏报,同时还保持了原有算法复杂度不变。

关键词：指针分析算法类型系统函数标签

来源：评论

学校读者我要写书评

暂无评论

基于不变量的程序运行保护方法

引用

计算机工程与设计 2008年第5期29卷 1069-1071,1075页

作者：王勇曾庆凯南京大学计算机软件新技术国家重点实验室江苏南京210093南京大学计算机科学与技术系

程序不变量反映了程序在特定点上的安全属性,可以作为运行保护时的监控对象。提出了一种程序运行保护方法,通过动态监控程序不变量,保护程序安全运行。该方法根据检测出的程序不变量,配置程序保护策略。运行环境支持对程序插装保护代码... 详细信息

程序不变量反映了程序在特定点上的安全属性,可以作为运行保护时的监控对象。提出了一种程序运行保护方法,通过动态监控程序不变量,保护程序安全运行。该方法根据检测出的程序不变量,配置程序保护策略。运行环境支持对程序插装保护代码,执行保护策略。实验表明方法是有效的且使用方便,保护带来的性能损失不大。

关键词：程序不变量动态监控运行保护保护策略保护代码

来源：评论

学校读者我要写书评

暂无评论

电力网格通信方式的研究和实现

引用

计算机应用与软件 2008年第9期25卷 5-7,26页

作者：王昊吕琦严涛陆桑璐陈道蓄南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系江苏南京210093

电力网格是网格技术和电力监控与自动化调度技术结合发展的产物。网格技术对于网络上的各种资源具有巨大的整合能力,电力网格能解决现有电力系统中存在的一些问题。同时,电力网格作为网格技术的新应用,它给网格技术的发展带来了新的研... 详细信息

电力网格是网格技术和电力监控与自动化调度技术结合发展的产物。网格技术对于网络上的各种资源具有巨大的整合能力,电力网格能解决现有电力系统中存在的一些问题。同时,电力网格作为网格技术的新应用,它给网格技术的发展带来了新的研究背景和发展方向。但是电力系统有其特殊性,并非所有的网格技术都可以不加变化地照搬到电力网格中。电力网格对数据通信的实时性、兼容性和开放性有比较高的要求。针对电力网格的以上特点,分析了传统网格通信方式在电力网格应用中的困难。最后,根据电力网格的一个应用范例——PGP平台,提出了自己的解决方案,并验证了该方案的技术可行性。

关键词：网格电力网格通信协议

来源：评论

学校读者我要写书评

暂无评论

基于数据浓度的粗糙集规则生成算法分析