【摘 要】
：
总结了相关标准对软件可信属性的定义,在现有软件可信性定义的基础上给出了军用关键软件的可信性定义。对现有的软件可信性及其可靠性、数据安全性、防危性等可信性子属性相关的测评技术进行了总结,综述了软件可信性评估技术发展的国内外现状。分别从软件可靠性理论及评估技术、软件可靠性模型综合选择算法、关键软件防危性测试、软件可信性测试与评估技术、影响软件可信性的随机因素的分析几个方面进行综述,指出了实施军用软件可
【机 构】
：
解放军理工大学指挥自动化学院军用软件测评中心,江苏 南京 210007 北京图形研究所,北京 10
【出 处】
：
2008年中国计算机学会体系结构专委会学术年会(ACA08)
论文部分内容阅读
总结了相关标准对软件可信属性的定义,在现有软件可信性定义的基础上给出了军用关键软件的可信性定义。对现有的软件可信性及其可靠性、数据安全性、防危性等可信性子属性相关的测评技术进行了总结,综述了软件可信性评估技术发展的国内外现状。分别从软件可靠性理论及评估技术、软件可靠性模型综合选择算法、关键软件防危性测试、软件可信性测试与评估技术、影响软件可信性的随机因素的分析几个方面进行综述,指出了实施军用软件可信性研究的重要性,最后对软件可信性测评技术研究和实践进行了展望.
其他文献
在铁路跨越式发展的时代背景下,从铁路基层站段信息化建设的意义、内容及目前发展状况,深入分析现阶段铁路基层站段信息化建设中存在问题,进而提出解决问题的对策,借此加快铁路基层站段信息化建设发展的步伐.
随着现代信息技术的飞速发展,战争形态由机械化向信息化迅速转变,局域网、军事综合信息网等已成为部队各项工作不可或缺的信息渠道,而在军队计算机系统处理、存储、传递涉密信息的过程中,各种信息安全隐患也如影随形.既然对网络的使用和依赖无可避免,开发和运用有效的安全防护措施,建立多层次的安全防御体系以保障部队的信息安全,无疑具有十分突出的现实意义.
本文针对网络安全内涵发生的根本变化就网络的安全性及其实现方法以及在实现的过程中需要注意的若干问题进行了较为深入的探讨.
本文介绍了计算机核心软件系统BIOS的基本概念,总结了BIOS系统目前的发展状况和今后的发展趋势,并对计算机BIOS系统的安全问题进行了讨论.
根据中国互联网络信息中心(CNNIC)在京发布"第十七次中国互联网络发展状况统计报告",我国上网人数到2006年初已经超过1.11亿,其中上网计算机达4950万,随着宽带技术的推广和宽带费用的降低,越来越多的个人计算机接入互联网;虽然在个人电脑安装了杀毒软件以及防火墙,但个人银行帐号、游戏账号、电子邮箱账号等被盗,资料丢失,个人计算机感染病毒木马也越来越多,使用户蒙受了巨大经济损失.本文就计算机网
可信计算是信息安全领域的一个新分支,越来越受到人们的重视,本文分析了可信计算技术当前的发展状况和关键技术,分析可信计算领域当前存在的问题,并指出了与国外存在的差距.
通过对计算机病毒的分析,通过对病毒的分析,提出解决方案,计算机病毒是指编制或者在计算机程序中插入的破坏计算机功能或者毁坏数据,影响计算机使用,并能自我复制的一组计算机指令或者程序代码.计算机病毒可以分为系统病毒、蠕虫病毒、木马病毒、黑客病毒、脚本病毒、宏病毒、后门病毒、病毒种植程序病毒、破坏性程序病毒、玩笑病毒和捆绑机病毒等.只有正确认识和区分各种病毒的组成特征和破坏性才能有效地进行反病毒技术的更
加强政府网站建设,是推进政府管理方式创新,建设服务型政府的重要举措,对于促进政务公开,改进公共服务,提高行政效能,便于公众知情、参与和监督都具有重要意义.但是目前政府网站系统安全策略的配置、补丁的及时更新、网络安全产品的部署、防病毒软件的升级方面还存在一些问题,网站数据备份意识薄弱等,必将给网站运行带来很大的安全隐患.因此,政府网站安全防护体的建设就是摆在我们面前必须要解决的难题.
本文主要对电子政务系统中信息防护评估存在的问题,提出一种新的评估方法,该方法通过证据理论的应用,较为准确的得出防护的重点,能够对政务系统的信息防护针对性地提出防护策略.另外本文结合政务系统的网络结构特点,提出不同网络结构下的信息防护策略.证据理论的方法和防护策略的结合能够有效解决政务系统中存在的信息防护问题.
HPL(High Performance LINPACK)是一种用来测试计算机浮点性能的基准测试程序,通过求解稠密线性方程组来评估计算机的浮点性能.本文分析了HPL的核心算法,并对HPL的计时系统进行改进,提出了一种新的基于计时系统的测试方法,以达到快速完成LINPACK测试的目的,实验证明这种新的测试方法很有效.