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

计算机科学 2009年第1期36卷 273-278页

作者：史栋杰顾庆冯光成陈道蓄南京大学计算机科学与技术系计算机软件新技术国家重点实验室南京210093

为了保证一个系统的质量,有必要对其可靠性进行评估。使用平均值方法、定数截尾试验、定时截尾试验、曲线拟合回归分析等常用的可靠性评估方法对目标系统进行可靠性评估,并比较几种可靠性评估方法的准确程度。最后提出使用曲线拟合改进... 详细信息

为了保证一个系统的质量,有必要对其可靠性进行评估。使用平均值方法、定数截尾试验、定时截尾试验、曲线拟合回归分析等常用的可靠性评估方法对目标系统进行可靠性评估,并比较几种可靠性评估方法的准确程度。最后提出使用曲线拟合改进的评估方法,使得可靠性评估结果更加准确。目标系统是4个电信运营中重要的系统设备,使用残差分析R2检验来比较评估结果的优劣。

关键词：可靠性定数截尾试验定时截尾试验曲线拟合 R^2检验电信系统

来源：评论

学校读者我要写书评

暂无评论

采用SPIN的L4内存管理形式化验证

引用

计算机工程 2009年第11期35卷 131-133页

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

模型检验通过状态空间搜索检验一个给定的计算模型是否满足某个用时序逻辑公式表示的特定性质。对L4微内核操作系统的内存管理机制进行形式化抽象建模,针对L4内核API提供的地址空间操作原语Grant,Map和Flush等操作进行形式化描述,模拟... 详细信息

模型检验通过状态空间搜索检验一个给定的计算模型是否满足某个用时序逻辑公式表示的特定性质。对L4微内核操作系统的内存管理机制进行形式化抽象建模,针对L4内核API提供的地址空间操作原语Grant,Map和Flush等操作进行形式化描述,模拟地址页面映射的树形结构管理,运用模型检验工具SPIN对抽象模型进行了验证。

关键词： L4微内核地址空间操作原语模型检验

来源：评论

学校读者我要写书评

暂无评论

动态安全策略的权限撤销研究

引用

计算机应用 2009年第7期29卷 1809-1812页

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

在分析以往安全操作系统中权限撤销机制的基础上,提出一种基于VTC和in-progress交叉链表的权限撤销机制。该机制通过对权限有效性、时效性检查以及in-progress权限双向搜索实现权限撤销,并在基于L4微内核的原型系统中得以实现。实验表明... 详细信息

在分析以往安全操作系统中权限撤销机制的基础上,提出一种基于VTC和in-progress交叉链表的权限撤销机制。该机制通过对权限有效性、时效性检查以及in-progress权限双向搜索实现权限撤销,并在基于L4微内核的原型系统中得以实现。实验表明,该撤销机制增加了1%左右的系统性能损耗。

关键词：动态安全策略权限撤销安全操作系统访问向量安全服务器

来源：评论

学校读者我要写书评

暂无评论

基于SSA中间表示的源代码信息流分析

引用

计算机工程 2009年第13期35卷 166-168,171页

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

提出一种基于SSA中间表示的源代码信息流分析算法,介绍隐蔽通道识别过程,采用基于信息流的工作表实现该算法,讨论其在时空代价以及分析精度方面的特点,并将分析框架嵌入GCC编译器。仿真实验结果表明,该算法是有效的,且具有一定应用价值。

关键词：信息流分析隐蔽通道静态单一赋值编译器

来源：评论

学校读者我要写书评

暂无评论

基于内存更新记录的漏洞攻击错误定位方法

引用

计算机科学 2009年第1期36卷 252-255页

作者：葛毅茅兵谢立南京大学计算机科学与技术系软件新技术国家重点实验室南京210093

软件漏洞攻击威胁日益严重。其中基于内存腐败漏洞的攻击最为普遍,如缓冲区溢出和格式化串漏洞。提出一种针对内存腐败漏洞攻击的自动错误定位方法。基于内存更新操作记录,可以回溯找到程序源代码中腐败关键数据的语句,从而提供有益的... 详细信息

软件漏洞攻击威胁日益严重。其中基于内存腐败漏洞的攻击最为普遍,如缓冲区溢出和格式化串漏洞。提出一种针对内存腐败漏洞攻击的自动错误定位方法。基于内存更新操作记录,可以回溯找到程序源代码中腐败关键数据的语句,从而提供有益的信息修复漏洞并生成最终补丁。

关键词：内存腐败攻击软件安全错误定位程序源代码

来源：评论

学校读者我要写书评

暂无评论

基于复杂网络的大型软件系统度量

引用

计算机科学 2009年第2期36卷 287-290,302页

作者：王树森顾庆陈焘陈道蓄南京大学计算机科学与技术系软件新技术国家重点实验室南京210093

随着软件系统规模的不断增大,如何度量面向对象大规模软件系统成为一个亟待解决的问题。近年来迅速发展的复杂网络理论为解决该问题提供了一个新的视角。介绍了大规模软件系统中的复杂网络现象,从元素级、模块级、网络级3个不同的粒度... 详细信息

随着软件系统规模的不断增大,如何度量面向对象大规模软件系统成为一个亟待解决的问题。近年来迅速发展的复杂网络理论为解决该问题提供了一个新的视角。介绍了大规模软件系统中的复杂网络现象,从元素级、模块级、网络级3个不同的粒度提出基于复杂网络的软件系统的各种度量;实现了大型Java程序复杂网络描述和度量工具JPAC。JPAC可用于分析大型Java系统的结构,并计算基于复杂网络的各度量值。

关键词：复杂网络软件系统软件度量 JPAC

来源：评论

学校读者我要写书评

暂无评论

基于回归的传感器网络数据抑制方案

引用

计算机应用研究 2009年第1期26卷 253-255页

作者：曹学成柏文阳南京大学计算机科学与技术系软件新技术国家重点实验室南京210093

提出了三种基于回归模型的数据抑制方案:其中两种利用了无线传感器网络中数据的时序相关性;另一种利用了感知数据的时序—地理位置相关性。模拟实验表明,相对于简单的数据抑制方案,基于回归的数据抑制方案的通信代价更低。

关键词：无线传感器网络回归数据抑制近似查询

来源：评论

学校读者我要写书评

暂无评论

基于构件软件的抗衰策略分析

引用

计算机科学 2009年第5期36卷 121-123,180页

作者：王平涛许满武刘志军南京大学计算机科学与技术系软件新技术国家重点实验室南京210093

软件在长期运行过程中由于资源消耗、数据损坏、数值错误累积而引起性能下降的现象被称为软件老化。在软件失效前选择合适时机通过预反应的技术来保持软件性能的方法称作软件抗衰。由于构件软件常常应用在结构复杂、规模庞大的网络环境... 详细信息

软件在长期运行过程中由于资源消耗、数据损坏、数值错误累积而引起性能下降的现象被称为软件老化。在软件失效前选择合适时机通过预反应的技术来保持软件性能的方法称作软件抗衰。由于构件软件常常应用在结构复杂、规模庞大的网络环境中,软件老化现象就更为突出。提出了一种针对构件软件的抗衰策略,通过对构件软件进行可靠性分析,构造了一种结合失效性和泊松失败分布的马尔可夫模型,并根据模型进行软件抗衰来保持构件软件的性能。

关键词：软件老化软件抗衰可用性可靠性马尔科夫模型泊松分布

来源：评论

学校读者我要写书评

暂无评论

微内核完整性保障研究与应用

引用

计算机科学 2009年第1期36卷 247-251页

作者：于淑英黄皓刘国斌南京大学计算机科学与技术系软件新技术国家重点实验室南京210093

为了避免安全操作系统中访问控制机制被篡改、绕过,提出利用微内核多服务器结构为安全核完整性提供保障。微内核提供的进程隔离和消息传递机制使得各个服务进程独立运行,通过受控的消息机制进行交互,有效保证了各个模块的完整性。微内... 详细信息

为了避免安全操作系统中访问控制机制被篡改、绕过,提出利用微内核多服务器结构为安全核完整性提供保障。微内核提供的进程隔离和消息传递机制使得各个服务进程独立运行,通过受控的消息机制进行交互,有效保证了各个模块的完整性。微内核结构的简单性和模块化为形式化验证奠定了基础。原型系统Nutos利用Flask安全体系结构为用户提供灵活多策略的强制访问控制,由微内核多服务器结构为Flask中的安全服务器和引用监控器提供完整性保障,确保安全策略的正确实施。

关键词：完整性安全保障微内核多服务器结构进程隔离消息通信操作系统

来源：评论

学校读者我要写书评

暂无评论

基于MDE的异构模型转换：从MARTE模型到FIACRE模型

引用

软件学报 2009年第2期20卷 214-233页

作者：张天 Frédéric JOUAULT Christian ATTIOGBE Jean BEZIVIN 李宣东南京大学计算机科学与技术系江苏南京210093 南京大学计算机软件新技术国家重点实验室江苏南京210093 ATLAS Team INRIA ＆ LINA Nantes University Nantes 44300 France COLOSS Team LINA Faculty of Science Nantes University Nantes 44300 France

通过研究一个具有代表性的UML/MARTE(unified modeling language/modeling and analysis of real time and embedded systems)模型向FIACRE(intermediate format for the architectures of embedded distributed components)形式模型的转换实例,探讨了异构模型之间在语义和语法层的相互转换问题.在语义层,通过模型转换技术构造语义映射规则,实现元语言之间的转换;在语法层,通过构造元模型的具体语法,反映元语言的语法规则,从而产生目标模型的程序实体.基于此实例研究,探讨了通用转换途径的相关框架和关键技术,并讨论了转换工作的优缺点和实用性.

关键词：模型驱动工程形式化方法 MARTE(modeling and analysis of real time and embedded systems) FIACRE (intermediate format for the architectures ofembedded distributed components) 异构性

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：