论文部分内容阅读
随着信息系统的快速发展，其复杂程度越来越高，所管理的数据规模也越来越大，这给信息系统的安全带来了严峻的挑战．随着技术的进步和人们安全意识的提高，信息系统安全已受到学术界、产业界和政府主管部门的高度关注和重视．对信息系统安全问题的研究具有重要的现实意义和学术价值．
信息系统安全专题前言
【摘 要】
：
随着信息系统的快速发展，其复杂程度越来越高，所管理的数据规模也越来越大，这给信息系统的安全带来了严峻的挑战．随着技术的进步和人们安全意识的提高，信息系统安全已受到学术界、
【机 构】
：
北京航空航天大学计算机学院,华中科技大学计算机科学与技术学院,中国科学院信息工程研究所
【出 处】
：
软件学报
【发表日期】
：
2017年9期
其他文献
用一个具有解析解的二维动力锋生成过程算例，对比自适应网格方案和因定网格方案的优劣，结果表明：同等误差要求下，固定网格方案的网格点数为自适应网格方案的３倍。从时间演化上看，自
此文分析了建设工程评标专家管理、抽取、通知、签到系统的设计原理和功能,该系统基于B/S平台,无需另外安装软件,采用系统集成独有的硬件模块将抽选专家方式完全封装,比同类C
通过大气环流模式试验，研究了春季亚洲中纬带地面温度异常对其后４个月月平均气候参数的影响。结果发现：正的地面温度异常对其后气候参数的影响的第１个月最弱，第３个月最强；它导致欧亚
乳腺癌在我国已跃居妇女恶性肿瘤的第一位。以手术为主的综合性治疗是现阶段治疗乳腺癌的主要手段。乳腺癌改良根治术是临床最常用的手术方式,但皮瓣坏死却是乳腺癌改良根治
形式化方法以严格的数学化和机械化方法为基础来规约、设计、构建、验证、演进计算系统,是改善和确保计算系统质量的重要方法,其模型、技术和工具已延伸成为计算思维的重要载
在Internet开放环境下，以云服务和移动终端为计算平台，以大数据为内容资源的新一代应用，对云平台的开发者和云服务提供者提出了诸多挑战．随着大规模分布式应用关注的焦点逐渐从“
绝大多数高等院校理工专业都将《C语言程序设计》（以下简称＂C语言＂）作为计算机基础语言课程。本文根据多年C语言的教学实践,分析了C语言教学中应注意的几个问题,并对教学方法作了
首先对n值Goguen命题逻辑进行公理化扩张，Goguen-，Δ，记为∏-，Δ.利用公式的诱导函数给出公式在k（k任取-或Δ）连接词下相对于局部有限理论Γ的Γ-k真度的定义；讨论了∏-，Δ中Γ-k真度