国产基础软件的IT系统测评技术体系研究

本文提出了基于国产基础软件的IT系统测评体系,指出了基于国产基础软件的全生命周期各个阶段存在的一些问题并给出了相应的解决方法,论述了基于国产基础软件的IT系统测评环境,并且明确了基于国产基础软件的IT系统测评技术体系的具体内容,可为基于国产基础软件的IT系统测评相关工作的开展提供一些参考,加强基于国产基础软件的IT系统测评的服务能力,进一步提升国产基础软件的质量.     

基于UML技术的空间基础数据库设计与实现

设计合理的空间基础数据库不仅能提高整个空间数据操作时的性能和效率,而且还可以减少后期的维护修复工作,使整个空间基础数据运行的更加快捷,需要对空间基础数据建立数据库;当前的空间基础数据库设计方法采用ArcSDE数据引擎对空间基础数据进行不断地更新调整,再利用多源空间数据格式转换的技术对空间基础数据库进行设计,存在空间基础数据运行时速度缓慢,计算精度低的问题;为此,提出了一种基于UML技术的空间基础数据库设计方法;该方法首先在空间基础数据库设计中建立空间基础数据索引结构,利用R-树族构建空间基础数据索引树,依据空间基础数据索引树,扫描索引空间基础数据,过滤掉不满足查询条件的空间基础数据对象,使空间数据查询结果可以在额定时间内获得,然后采用空间基础数据点、数据线、以及由数据线组成的区域、一组区域、空间基础数据网络的详细存储方式对空间基础数据进行存储,利用MongoDB驱动程序对矢量空间数据进行存储存储,最后通过对空间基础数据库索引、查询、存储等设计实现了空间基础数据库的建立;仿真实验结果证明,所提方法提高了空间基础数据的建库速度,减少了数据运行的时间,提升了空间基础数据的利用率。     

《软件技术基础》一体化教学的立体教材研究与实践

<软件技术基础>课程由一条主线(程序设计语言)和四个基础(程序设计基础、数据结构基础、数据库基础、软件工程基础)组成.本文论述了配合教学内容一体化,在教材编写上的构想与实践,搭建了以程序设计语言为主线,适时切入四个"基础"的编写框架,提出了建设"立体化"精品教材的宗旨,以期提高学生信息素质,推动行业信息化建设.     

非计算机专业计算机基础课程建设的研究与实践

针对目前高校非计算机专业计算机基础课程教学中存在的问题,分析了计算机基础课程教学的特点,结合军事经济学院的计算机基础课程体系建设的改革实践,对如何构建高等院校非计算机专业计算机基础课程体系进行了深入探讨。     

综合高中《电工基础》课堂教学的思考

《电工基础》一直都是中等职业学校工科类各个专业一门十分重要的基础核心课程。本文首先分析了《电工基础》教学所面临的问题,对《电工基础》教学进行了思考,最后指出《电工基础》教学的未来趋势     

计算思维与大学计算机基础教学研究

大学计算机基础是高校通识教育的一门重要课程,目前将计算思维引入到大学计算机基础教学的观点受到了广泛重视,本文在分析了大学计算机基础教学困境之后,提出了以计算思维为目标的大学计算机基础课程设计思路。     

国产基础软件应用平台的兼容性测试研究

近年来,随着我国基础软件产业的蓬勃发展,操作系统、数据库软件、服务中间件、基础办公软件等国产基础软件[1]已得到广泛的应用。然而,国产基础软件产品组合关系的复杂性以及引起国产基础软件应用平台兼容性问题的不确定性,给国产基础软件应用平台兼容性测试带来了一定的困难。对此提出了一种基于依赖关系的国产基础软件应用平台的兼容性测试方法DRBA(Dependency Relationship Based Approach),给出了DRBA方法的具体描述和测试执行策略,并以C/S的方式设计实现了基于DRBA的兼容性测试工具,应用一个实例验证了DRBA的可用性和有效性。     

从《新课程标准》谈高校立体化计算机基础教学

根据普通高中《新课程标准》实施意见,分析了其对高校计算机基础教学的影响,探讨了高校计算机基础教学的改革思路,提出了立体化计算机基础教学的改革方法.     

计算机基础教学现状及改革探析

计算机基础教学是中职院校的一门非常重要的基础课程,对于培养学生的计算机基础应用实践能力有着重要的影响。通过计算机基础教学,指导学生掌握基础的计算机应用技能,对于推动学生全面发展有着非常重要的现实意义。该文结合当前计算机基础教学的现状,阐述了计算机基础教学的改革措施。     

双模式基础平台子系统结构风格研究

一、引言基础平台子系统是大多数操作系统之总体结构所包含的一种关键部件。作者在文[1]中系统地讨论了一些常见的基础平台子系统总体结构风格。从并发结构观点看,大多数操作系统其基础平台子系统总体结构使用了双模式结构风格。若一个基础平台子系统其并发结构观点下的总体结构使用了双模式结构风格,那么我们把该基础平台子系统称为双模式基础平台子系统。本文将基于文[1]的有关结论讨论双模式基础平台子系统总体结构的进一步分类,并讨论双模式基础平台子系统其关键部件所采用的一些常见的结构风格。在我们看来,系统地了解双模式基础平台子系统的结构知识对双模式基础平台子系统设计者而言非常重要也十分有益。二、双模式基础平台子系统的结构风格     

基于仿生机理的内生安全防御体系研究

针对防火墙、入侵检测、防病毒等外壳式防御技术来不及检测、分析和过滤恶意流量,防御机制没有与网络设备的安全状态关联,导致安全效能低的问题,提出一种基于仿生机理的内生安全防御体系。模仿生物体的高效安全防御机理,在设计和建造信息系统时,将巨量安全机制部署进入网络的每一个安全部件中,通过网络互联将所有节点中的安全组件关联在一起,对网络进行全面、深度的安全态势感知和防御,并通过人工智能“大脑”不断地自主学习和演进,提升发现未知威胁和自动处理威胁的能力。通过构建全新的内生安全防御体系,将安全体系和信息系统高度融合,能够解决现有信息系统防御效率低、无法处理高速率数据、不能应对未知威胁等问题,使网络具有“与生俱来、自主成长”的安全防御能力,满足“业务高可用、安全高效率”的信息系统发展需求。     

Web服务安全机制和安全技术

Web服务安全问题是近年来信息安全的研究热点之一.介绍两种Web服务安全机制,即传输级安全机制和消息级安全机制,随后详细介绍实现Web服务消息级安全所用到的安全技术,最后对Web服务安全性进行总结并提出了一种新的Web服务分层安全模型.     

网络安全体系及其发展趋势研究

网络安全是一个复杂的系统工程,为保障网络安全需要建立一整套的安全保障体系,采用先进的安全保障技术和管理方法。本文首先介绍了计算机网络安全概念和特点,然后从网络安全策略和网络安全技术等方面分析了如何实现网络安全,深入探讨了基于 AP2DR2模型的网络安全体系结构,论述了 AP2DR2安全模型是一个多层次、全方位的动态防御体系,网络安全体系的发展趋势是从静态、被动向动态、主动转变。     

移动网络中安全策略划分的新方法研究

针对3G网络中不同业务具有不同的安全需求,提出一种基于安全等级的安全系统模型.把决定安全策略的因素划分为安全等级、安全场景、安全元以及安全算法和协议,并设计出安全策略表,对安全策略进行有效管理.该方法不仅为移动通信运营商实现增值安全服务提供技术保障,还解决用户按需分配的安全服务问题.     

基于LogicSQL的多级安全数据库的研究与设计

数据库安全是当前信息安全研究的一个基础和难点,文章结合数据库的用户身份认证与自主访问控制研究,设计了LogicSQL多级安全模型。该模型把安全级分为分层密级和非分层的范围组成的二元组形式;主要从安全标签、强制访问控制和可信体系结构方面进行讨论。鉴于多级安全模型在高安全数据库系统中的重要作用,在自行开发的具有自主版权的数据库管理系统LogicSQL上实现了该模型,使其至少达到B1级别安全并在企业搜索与公安系统中得到应用。     

信息系统安全等级化防护研究探讨

文章针对广州强力安全部门网络安全系统防护提出的一种网络安全系统设计构架;对其中的网络安全体系结构设计与实现进行了详细的分析;提出了安全体系结构模型和管理执行策略模型,并详述了其设计过程。把安全体系结构、安全策略管理的实现和网络安全的实现机制有机地结合在一起。     

物联网的OT安全技术探讨

物联网是一种将虚拟网络世界与现实物理世界相结合的综合信息技术,具有广泛的应用和庞大的潜在市场.但是,物联网安全方面的现有技术远不能满足产业的需求.本文指出物联网的安全问题与传统网络环境的信息安全(称为IT安全)有着本质区别.传统网络安全保护的主要是信息,因此使用IT安全技术.本文强调物联网系统除了要保护信息安全外,还需要对操作进行安全保护,这类技术称为OT安全技术.本文对OT安全的概念和内涵进行了描述,指出OT安全是信息转化为物理活动行为的安全问题,其安全防护的目标与传统的信息安全保护不同,尽管在实现技术方面有许多类似的技术.本文分析了IT安全与OT安全的特性,这些特性包括物联网中的IT技术与OT技术相互作用和相互影响,并阐述常用的IT安全与OT安全保护技术.     

物联网感知层安全性研究综述

物联网的大规模应用离不开安全性的保障。感知层在物联网体系结构中处于底层,承担信息感知的重任。感知层的安全问题是物联网安全与互联网安全主要的差别所在,是物联网安全的重点。针对物联网感知层的安全架构、感知层的安全威胁进行了分析总结;从无线射频识别（ RFID）安全、无线传感器网络安全两个方面总结了近年来物联网感知层的安全性研究成果;提出了RFID安全和无线传感器网络安全的未来研究方向;给物联网安全领域的研究者提供一定的参考。     

基于科学计算与数据服务的Linux安全

为便于分析科学计算与数据平台的安全隐患,制定安全策略,将操作系统Linux和应用服务的安全简化为内核安全、与网络无关的系统安全、与网络有关的系统安全、与应用有关的系统安全四层分析模型,分析了不同层面Linux的安全隐患,提出了防范措施。并利用此分析模型,给出了基于互联网络环境,建立在Linux操作系统之上的科学计算与数据服务系统的安全策略。     

模式驱动的系统安全性设计的验证

随着万维网和移动计算技术的广泛应用,系统安全性得到了越来越多的关注,使用安全模式对系统安全解决方案进行设计并验证是提升系统安全性的一种有效途径。现有方法根据系统安全需求选择适用的安全模式,在此基础上将模式组合为系统的安全解决方案,并通过模型检测方法验证其安全性。但是,这些方法往往将方案看作整体进行验证,忽略了内部安全模式的组合细节,难以在包含大量模式的复杂系统中定位缺陷。提出一种模式驱动的系统安全性设计的验证方法,首先使用代数规约语言SOFIA描述安全模式及其组合,以构建系统安全解决方案的形式化模型;然后将SOFIA规约转换为Alloy规约后,使用模型检测工具验证模式组合的正确性和系统的安全性。案例研究表明,该方法能够有效地验证系统安全解决方案的正确性。