空間信息網(wǎng)絡(luò)集成了各種空間信息獲取、傳輸、處理、分發(fā)和應(yīng)用系統(tǒng)，能夠?qū)崿F(xiàn)快速智能的信息共享和綜合利用，極大地促進(jìn)了制信息權(quán)優(yōu)勢的獲得，是未來信息化戰(zhàn)爭的核心技術(shù)支撐，并將對軍事現(xiàn)代化產(chǎn)生巨大的推動作用。唐朝京、魯智勇等著的《空間網(wǎng)絡(luò)安全與驗證》內(nèi)容分為三部分：介紹了空間網(wǎng)絡(luò)及架構(gòu)；論述了空間網(wǎng)絡(luò)安全策略、空間網(wǎng)絡(luò)安全體系結(jié)構(gòu)、安全路由、安全傳輸控制、密鑰管理和安全切換等關(guān)鍵技術(shù)；探討和研究了空間網(wǎng)絡(luò)安全協(xié)議建模、協(xié)議安全定量驗證方法和協(xié)議安全定性驗證方法等技術(shù)。
本書可作為從事空間網(wǎng)絡(luò)安全和對抗人員的必備參考資料，也可作為高等院校學(xué)生和教師參考書以及工程實踐用書。
第一部分 空間網(wǎng)絡(luò)和架構(gòu)
第1章 空間網(wǎng)絡(luò)
1.1 概述
1.1.1 基本概念
1.1.2 網(wǎng)絡(luò)特點
1.1.3 典型應(yīng)用
1.2 空間網(wǎng)絡(luò)中的安全問題
第2章 空間網(wǎng)絡(luò)架構(gòu)
2.1 空間應(yīng)用的組網(wǎng)需求
2.1.1 對地觀測
2.1.2 導(dǎo)航定位
2.1.3 通信
2.1.4 網(wǎng)絡(luò)融合
2.1.5 綜合軍事應(yīng)用需求
2.2 空、天、地一體化網(wǎng)絡(luò)現(xiàn)狀 第一部分 空間網(wǎng)絡(luò)和架構(gòu)
第1章 空間網(wǎng)絡(luò)
1.1 概述
1.1.1 基本概念
1.1.2 網(wǎng)絡(luò)特點
1.1.3 典型應(yīng)用
1.2 空間網(wǎng)絡(luò)中的安全問題
第2章 空間網(wǎng)絡(luò)架構(gòu)
2.1 空間應(yīng)用的組網(wǎng)需求
2.1.1 對地觀測
2.1.2 導(dǎo)航定位
2.1.3 通信
2.1.4 網(wǎng)絡(luò)融合
2.1.5 綜合軍事應(yīng)用需求
2.2 空、天、地一體化網(wǎng)絡(luò)現(xiàn)狀
2.2.1 美國
2.2.2 歐洲
2.2.3 中國
2.3 空間網(wǎng)絡(luò)架構(gòu)
2.3.1 一體化空間網(wǎng)絡(luò)模型
2.3.2 網(wǎng)絡(luò)協(xié)議
2.4 本章小結(jié)
第二部分 空間網(wǎng)絡(luò)安全策略和技術(shù)
第3章 空間網(wǎng)絡(luò)安全策略
3.1 空間網(wǎng)絡(luò)安全防護(hù)體系
3.1.1 空間網(wǎng)絡(luò)安全保護(hù)原理
3.1.2 空間無線網(wǎng)絡(luò)與有線網(wǎng)的安全性比較
3.1.3 無線網(wǎng)絡(luò)安全措施
3.2 數(shù)據(jù)加密技術(shù)
3.2.1 網(wǎng)絡(luò)數(shù)據(jù)通信的加密策略
3.2.2 公鑰密碼
3.2.3 數(shù)據(jù)加密標(biāo)準(zhǔn)DES
3.2.4 密碼協(xié)議
3.3.PGP加密技術(shù)
3.3.1 公開密鑰加密系統(tǒng)
3.3.2 PGP加密軟件的深遠(yuǎn)影響
3.3.3 PGP加密技術(shù)的性能
3.4 數(shù)字簽名
3.4.1 數(shù)字簽名技術(shù)原理
3.4.2 數(shù)字簽名的算法
3.4.3 數(shù)字簽名的程序?qū)崿F(xiàn)
3.5 身份驗證
3.5.1 用戶ID和口令字
3.5.2 數(shù)字證書
3.5.3 SecurID
3.5.4 生物測量學(xué)
第4章 空間網(wǎng)絡(luò)安全體系結(jié)構(gòu)
4.1 概述
4.1.1 基本概念
4.1.2 空間網(wǎng)絡(luò)安全現(xiàn)狀
4.2 空間網(wǎng)絡(luò)安全需求
4.2.1 安全威脅分析
4.2.2 安全需求分析
4.3 空間網(wǎng)絡(luò)安全體系的框架結(jié)構(gòu)
4.3.1 安全保障體系
4.3.2 安全協(xié)議體系
4.3.3 安全機(jī)制分析
4.4 密碼學(xué)基礎(chǔ)——基于身份的密碼學(xué)
4.4.1 基本概念
4.4.2 典型方案
4.4.3 多PKG下的典型方案
4.5 本章小結(jié)
第5章 空間網(wǎng)絡(luò)安全路由技術(shù)
5.1 概述
5.1.1 空間網(wǎng)絡(luò)路由組成
5.1.2 空間網(wǎng)絡(luò)路由技術(shù)
5.1.3 安全路由技術(shù)
5.1.4 跨層設(shè)計的路由技術(shù)
5.2 衛(wèi)星網(wǎng)絡(luò)安全路由協(xié)議
5.2.1 系統(tǒng)模型
5.2.2 協(xié)議描述
5.2.3 安全性分析
5.2.4 路由性能評價
5.3 臨近空間網(wǎng)絡(luò)安全路由協(xié)議
5.3.1 系統(tǒng)模型
5.3.2 協(xié)議設(shè)計
5.3.3 路由性能評價
5.4 本章小結(jié)
第6章 空間網(wǎng)絡(luò)安全傳輸控制技術(shù)
6.1 概述
6.1.1 安全傳輸協(xié)議
6.1.2 安全隧道框架分析
6.2 空間網(wǎng)絡(luò)傳輸層安全協(xié)議研究
6.2.1 TLS協(xié)議概述
6.2.2 基于IBC的TLS握手協(xié)議
6.2.3 安全性分析
6.2.4 協(xié)議性能分析
6.3 安全傳輸系統(tǒng)的設(shè)計與實現(xiàn)
6.3.1 系統(tǒng)設(shè)計
6.3.2 系統(tǒng)實現(xiàn)
6.4 本章小結(jié)
第7章 空間網(wǎng)絡(luò)密鑰管理技術(shù)
7.1 概述
7.1.1 公鑰管理
7.1.2 對稱密鑰管理
7.1.3 組密鑰管理
7.2 空間網(wǎng)絡(luò)公鑰和對稱密鑰管理方案
7.2.1 公鑰管理方案
7.2.2 對稱密鑰管理方案
7.3 空間網(wǎng)絡(luò)組密鑰管理方案
7.3.1 組播通信架構(gòu)
7.3.2 設(shè)計思想
7.3.3 方案描述
7.3.4 安全性分析
7.3.5 性能分析
7.4 本章小結(jié)
第8章 空間網(wǎng)絡(luò)安全切換技術(shù)
8.1 概述
8.1.1 移動性管理技術(shù)
8.1.2 空間網(wǎng)絡(luò)切換技術(shù)
8.1.3 安全切換技術(shù)
8.2 空間網(wǎng)絡(luò)安全接入與通信方案
8.2.1 網(wǎng)絡(luò)模型
8.2.2 安全接入機(jī)制
8.2.3 安全通信的建立過程
8.2.4 安全性分析
8.2.5 性能分析
8.3 空間網(wǎng)絡(luò)安全切換方案
8.3.1 水平切換模型
8.3.2 基于預(yù)認(rèn)證的快速切換算法
8.3.3 衛(wèi)星—臨近空間網(wǎng)絡(luò)垂直切換模型
8.3.4 垂直切換方案
8.3.5 切換性能分析
8.4 本章小結(jié)
第三部分 空間網(wǎng)絡(luò)安全驗證
第9章 空間網(wǎng)絡(luò)安全協(xié)議建模
9.1 基于進(jìn)程模型的協(xié)議描述語言
9.1.1 描述語言的語法
9.1.2 描述語言的執(zhí)行語義
9.1.3 密碼算法的定義
9.1.4 敵手能力模型
9.2 執(zhí)行跡屬性的邏輯模型
9.2.1 邏輯的語法
9.2.2 邏輯的語義
9.3 認(rèn)證性建模
9.4 協(xié)議建模示例
9.4.1 Needham-Scheoder-Lowe協(xié)議的建模
9.4.2 Challenge-Response協(xié)議的建模
9.5 與CPCL建模能力的比較
9.6 本章小結(jié)
第10章 協(xié)議安全定性驗證方法
10.1 計算可靠的定性證明系統(tǒng)
10.1.1 推理規(guī)則
10.1.2 公理集
10.2 證明系統(tǒng)的計算可靠性
10.3 與CPCL證明系統(tǒng)的比較
10.4 證明系統(tǒng)的驗證與測試
10.4.1 NSL協(xié)議認(rèn)證性的證明
10.4.2 驗證結(jié)果分析
10.5 本章小結(jié)
第11章 協(xié)議安全定量驗證方法
11.1 協(xié)議邏輯的概率擴(kuò)展
11.2 計算可靠的定量證明系統(tǒng)
11.2.1 概率公理
11.2.2 隨機(jī)數(shù)概率公理
11.2.3 密碼學(xué)概率公理
11.3 CPCL的概率擴(kuò)展能力分析
11.4 定量證明系統(tǒng)的計算可靠性
11.5 證明系統(tǒng)的驗證與測試
11.5.1 雙向認(rèn)證性的證明
11.5.2 驗證結(jié)果分析
11.6 本章小結(jié)
第12章 基于LVC的空間網(wǎng)絡(luò)安全驗證技術(shù)
12.1 空間網(wǎng)絡(luò)安全性傳輸控制評估指標(biāo)體系
12.1.1 建立指標(biāo)體系的原則
12.1.2 空間網(wǎng)絡(luò)信息安全性能評估指標(biāo)體系
12.1.3 空間信息傳輸網(wǎng)攻擊效果評估指標(biāo)體系
12.1.4 空間信息傳輸網(wǎng)安全性和控制效果評估過程
12.2 空間網(wǎng)絡(luò)安全控制驗證環(huán)境設(shè)計與構(gòu)建
12.2.1 設(shè)計思路
12.2.2 驗證模式分析
12.2.3 安全風(fēng)險分析
12.2.4 基于LVC的空間信息網(wǎng)安全傳輸驗證環(huán)境構(gòu)建
12.3 空間網(wǎng)絡(luò)安全控制驗證方法
12.3.1 驗證項目
12.3.2 驗證方法
12.4 本章小結(jié)
附錄A 基于身份的密碼學(xué)方案
A.1 基于身份的加密方案
A.2 基于身份的簽名方案
A.3 基于身份的認(rèn)證密鑰協(xié)商協(xié)議
A.4 基于身份的簽密方案
A.5 基于身份的多接收者簽密方案
A.6 多PKG下基于身份的簽密方案
A.7 多PKG下基于身份的認(rèn)證密鑰協(xié)商協(xié)議
附錄B 安全傳輸系統(tǒng)中安全連接的建立
術(shù)語表
參考文獻(xiàn)
書單推薦
