【摘 要】
：
作为国内现有的较为成熟的信息系统安全标准,《信息系统安全等级保护基本要求》在我国信息系统安全建设中发挥了巨大作用。描述逻辑作为一种知识表达的逻辑集,具有强大的表达
【机 构】
：
上海交通大学电子信息与电气工程学院
【基金项目】
：
科技部国家重点研发计划(No.2016YFB0800100,No.2016YFB0800105);国家自然科学地区科学基金项目(No.61562004)~~
论文部分内容阅读
作为国内现有的较为成熟的信息系统安全标准,《信息系统安全等级保护基本要求》在我国信息系统安全建设中发挥了巨大作用。描述逻辑作为一种知识表达的逻辑集,具有强大的表达能力和可判定性,可满足安全策略建模的需求。因此,提出了一种信息系统等级保护安全校验方法。该方法以描述逻辑为基础进行面向等级保护的系统安全建模,之后通过使用推理机进行安全规约符合性判定。实验表明,该方法可以在降低安全审计人员工作量的同时,提升其结果的准确度。
其他文献
随着电网企业服务器数量的快速增长,为确保信息应用系统稳定运行,需要快速有效地实现服务器信息监管。以电网企业服务器作为主要目标,开发设计了一个服务器信息监管平台。该
据草地资源最新调查，海西州现有天然草地1191．77×10^4hm^2，退化草地752．58×10^4hm^2，因草地所在地区立地条件的差异和该区域草地所受的自然、人为因素影响的不同而有所
以某工程为例说明了SMA路面施工中的质量控制要点,分别介绍了混合料拌和、铺摊、碾压等工序中的质量控制措施,以确保路面施工质量及路面耐久性。
按照党中央、国务院关于建设＂资源节约型、环境友好型＂社会的要求,在辽宁省委、省政府的正确领导下,在省建设厅的大力支持和具体指导下,沈阳市委、市政府高度重视节能减排工作,
为了针对多核系统构建更高效的MPI支撑环境，文中提出了一种基于线程的MPI加速器，称作MPIActor．MPIActor是一种用于协助传统MPI库的透明中问件，用户可以在编译期选择是否在单线程M
混合控制地源热泵系统的核心即控制土壤的温升,由此提出须遵循的原则为：全年运行策略既要保证全年累积释热量与取热量的平衡,又要保证系统能够间歇运行,给地源热泵一个间歇期,
2015年11月29日,一年一度的国家大考如约而至。人们已经习惯了“万人过独木桥”的新闻头条,但事情似乎在起着变化,国考招录人数持续增长与报名人数连续走低形成鲜明对比,公务
培养农科高校大学生创新创业能力是推动国家农业创新和缓解不断扩大的社会就业压力的需要。大学生创新创业能力的培养需要突出特色，构建合理的创新创业课程体系；搭建平台，建设大
针对环氧沥青在混凝土桥面铺装材料中的应用，制备了环氧沥青，研究了不同树脂掺量对环氧沥青结合料黏度特性、高低温性能及环氧沥青混合料力学性能、低温抗裂性和高温稳定性的影
为了探讨保水缓释肥对作物生长的调控,以“盐稻12号”为材料,研究了不同配比(1%、2%和4%)的盐碱地保水缓释肥(ZL 2012 1 0400570.0)对盐胁迫20、40、80 d水稻幼苗植株形态、