信息系统安全

本书详尽地介绍了系统安全领域中的基本概念、经典模型、安全机制、测评标准和体系结构等知识。内容涵盖了信息系统中的身份认证、访问控制、安全审计、最小特权管理等基本安全机制；BLP、Biba、RBAC、Chinese Wall和Clark-Wilson等经典安全模型；TCSEC、GB17859-1999 CC、等保2.0等主要的安全测评标准；恶意代码及其防御、系统漏洞与检测、数据库安全、Windows安全、Linux安全、可信计算、人工智能与系统安全、工控系统安全等具体安全技术，内容既包含系统安全的经典理论，又包含最新成果应用。

朱婷婷，毕业于武汉大学计算机学院，师从武汉大学王丽娜教授，获信息安全专业博士学位。长期从事信息系统安全、多媒体安全相关教学、科研工作。主持国家信息安全基础研究课题、湖北省自然科学基金课题以及军队装备科研10余项，获科技进步奖6项，发表相关学术论10余篇，具有扎实的理论功底。

目 录第1章 概 论 101.1仿真的基本概念· 10第2章 半实物仿真系统精度分析 152.1半实物仿真系统组成原理· 162.2 半实物仿真环境设备模型· 172.2.1 两轴转台模型· 172.2.2 目标干扰模拟器· 182.2.3 三轴转台模型· 182.2.4 负载模拟器模型· 202.3 炸弹制导控制系统数学模型· 212.4 均值、协方差传播模型· 312.4.1 制导控制系统的状态变量方程· 322.4.2 非线性函数的统计线性化· 332.4.3 制导控制系统的均值和协方差传播方程· 372.5 仿真试验 392.5.1 仿真试验条件及初始参数· 392.5.2 基于Simulink建立仿真模型· 402.5.3 仿真试验结果及分析· 44第3章 近红外目标建模 493.1 视景仿真概述· 493.1.1 视景仿真· 493.1.2 视景仿真技术用途· 493.1.3国内外发展概况· 503.1.4 近红外视景仿真的发展动态· 503.2 视景仿真建模理论· 523.2.1 视景仿真软件组成与原理· 523.2.2 仿真环境建模方法· 533.2.3 三维地形建模· 543.2.4 海天背景建模· 593.2.5 天空背景建模· 623.2.6 云背景的建模· 633.2.7 坦克目标建模· 653.2.8 飞机目标建模· 683.2.9 雨雪特效建模· 723.2.10 MultiGen 建模技术在视景仿真中的应用· 733.2.11 近红外材质建模· 753.2.12 三维视景仿真系统驱动· 773.3 仿真技术 873.3.1 碰撞检测技术· 873.3.2 LOD技术· 883.3.3 实时阴影技术· 903.3.4 公告牌技术· 913.4 视景仿真软件可信度验证方法· 923.4.1仿真可信度· 923.4.2 视景仿真软件评估· 943.4.3 计算机模型验证方法· 963.5 建模实例 1013.5.1 建模步骤· 1013.5.2 素材准备· 1013.5.3 模型构建方法· 102第4章 制导炸弹建模仿真 1074.1数学仿真概述· 1074.1.1仿真目的· 1074.1.2仿真与实弹试验· 1074.2 制导炸弹数学仿真· 1094.2.1某型制导炸弹系统简介· 1094.2.2系统工作流程· 1104.2.3制导炸弹数字仿真· 1144.3 坐标系定义及转换关系· 1164.3.1坐标系定义· 1164.3.2各坐标系之间的关系及变换矩阵· 1174.4 电视导引头数学模型· 1204.4.1电视导引头各环节的数学模型· 1214.4.2电视导引头数学模型· 1244.5 有控弹道运动学模型· 1244.5.1力和力矩· 1254.5.2动力学方程· 1354.5.3弹体—目标相对运动方程组· 1374.5.4电视导引头制导律· 1374.6 制导炸弹数学实时仿真· 1424.6.1 基于MatlabSimulink的仿真程序设计与调试· 1434.6.2 自定义RTX实时目标环境· 1474.6.3 RTX实时环境中的仿真程序设计与调试· 1534.7 制导炸弹系统RTX实时仿真· 156第5章 仿真模型校核与验证 1585.1基本概念 1585.2 仿真模型的校核与验证· 1595.2.1 模型校核验证的理论· 1595.2.2 模型校核验证的试验· 1605.2.3 校核验证参数估计的准确度· 1615.2.4 模型校验过程· 1655.3 仿真可信度评估的主要内容· 1675.3.1仿真可信度的概念· 1675.3.2仿真可信度评估· 1685.3.3仿真可信度与VV&A、T&E的关系· 1705.4制导炸弹模型校验及可信度分析方案· 1715.4.1基本构想· 1715.4.2制导炸弹系统仿真模型校核验证方法· 1735.4.3 可信度评估方法的适用性分析· 1755.4.4制导炸弹仿真试验的可信性分析方案· 1795.5 静态性能一致性验证方法· 1805.5.1 参数检验方法· 1805.5.2 分布拟合检验方法· 1815.5.3 非参数检验方法· 1825.5.4 自助(Bootstrap)法· 1845.5.5 稳健统计· 1845.6 动态一致性验证的时域方法· 1865.6.1一般时域方法· 1865.7 动态一致性验证的频域方法· 1885.7.1平稳时序的功率谱密度估计· 1885.7.2谱估计的相容性检验· 1895.8 仿真系统可信度评估方法· 1895.8.1层次分析法· 1895.8.2模糊综合评判法· 1925.8.3模糊层次分析法(Fuzzy-AHP) 1935.8.4灰色关联分析法· 1965.8.5基于相容限的可信度评估方法· 196第6章 应用实例 2006.1 激光制导炸弹仿真试验大纲· 2006.2 激光制导炸弹实弹试验大纲· 2006.3 仿真结果及模型校核· 2016.4 飞行试验结果及模型验证· 2036.3 应用实例 2066.3.1 实弹试验· 2066.3.2 脱靶量评估· 210参考文献 217