空間信息網絡集成了各種空間信息獲取、傳輸、
處理、分發和應用繫統，能夠實
現快速智能的信息共享和綜合利用，極大地促進了制
信息權優勢的獲得，是未來信
息化戰爭的核心技術支撐，並將對軍事現代化產生巨
大的推動作用。唐朝京、魯智勇等著的《空間網絡安
全與驗證》內容分
為三部分：介紹了空間網絡及架構；論述了空間網絡
安全策略、空間網絡安全體繫
結構、安全路由、安全傳輸控制、密鑰管理和安全切
換等關鍵技術；探討和研究了空
間網絡安全協議建模、協議安全定量驗證方法和協議
安全定性驗證方法等技術。
本書可作為從事空間網絡安全和對抗人員的必備
參考資料，也可作為高等院
校學生和教師參考書以及工程實踐用書。

**部分 空間網絡和架構
第1章 空間網絡
1.1 概述
1.1.1 基本概念
1.1.2 網絡特點
1.1.3 典型應用
1.2 空間網絡中的安全問題
第2章 空間網絡架構
2.1 空間應用的組網需求
2.1.1 對地觀測
2.1.2 導航定位
2.1.3 通信
2.1.4 網絡融合
2.1.5 綜合軍事應用需求
2.2 空、天、地一體化網絡現狀
2.2.1 美國
2.2.2 歐洲
2.2.3 中國
2.3 空間網絡架構
2.3.1 一體化空間網絡模型
2.3.2 網絡協議
2.4 本章小結
第二部分 空間網絡安全策略和技術
第3章 空間網絡安全策略
3.1 空間網絡安全防護體繫
3.1.1 空間網絡安全保護原理
3.1.2 空間無線網絡與有線網的安全性比較
3.1.3 無線網絡安全措施
3.2 數據加密技術
3.2.1 網絡數據通信的加密策略
3.2.2 公鑰密碼
3.2.3 數據加密標準DES
3.2.4 密碼協議
3.3.PGP加密技術
3.3.1 公開密鑰加密繫統
3.3.2 PGP加密軟件的深遠影響
3.3.3 PGP加密技術的性能
3.4 數字簽名
3.4.1 數字簽名技術原理
3.4.2 數字簽名的算法
3.4.3 數字簽名的程序實現
3.5 身份驗證
3.5.1 用戶ID和口令字
3.5.2 數字證書
3.5.3 SecurID
3.5.4 生物測量學
第4章 空間網絡安全體繫結構
4.1 概述
4.1.1 基本概念
4.1.2 空間網絡安全現狀
4.2 空間網絡安全需求
4.2.1 安全威脅分析
4.2.2 安全需求分析
4.3 空間網絡安全體繫的框架結構
4.3.1 安全保障體繫
4.3.2 安全協議體繫
4.3.3 安全機制分析
4.4 密碼學基礎——基於身份的密碼學
4.4.1 基本概念
4.4.2 典型方案
4.4.3 多PKG下的典型方案
4.5 本章小結
第5章 空間網絡安全路由技術
5.1 概述
5.1.1 空間網絡路由組成
5.1.2 空間網絡路由技術
5.1.3 安全路由技術
5.1.4 跨層設計的路由技術
5.2 衛星網絡安全路由協議
5.2.1 繫統模型
5.2.2 協議描述
5.2.3 安全性分析
5.2.4 路由性能評價
5.3 臨近空間網絡安全路由協議
5.3.1 繫統模型
5.3.2 協議設計
5.3.3 路由性能評價
5.4 本章小結
第6章 空間網絡安全傳輸控制技術
6.1 概述
6.1.1 安全傳輸協議
6.1.2 安全隧道框架分析
6.2 空間網絡傳輸層安全協議研究
6.2.1 TLS協議概述
6.2.2 基於IBC的TLS握手協議
6.2.3 安全性分析
6.2.4 協議性能分析
6.3 安全傳輸繫統的設計與實現
6.3.1 繫統設計
6.3.2 繫統實現
6.4 本章小結
第7章 空間網絡密鑰管理技術
7.1 概述
7.1.1 公鑰管理
7.1.2 對稱密鑰管理
7.1.3 組密鑰管理
7.2 空間網絡公鑰和對稱密鑰管理方案
7.2.1 公鑰管理方案
7.2.2 對稱密鑰管理方案
7.3 空間網絡組密鑰管理方案
7.3.1 組播通信架構
7.3.2 設計思想
7.3.3 方案描述
7.3.4 安全性分析
7.3.5 性能分析
7.4 本章小結
第8章 空間網絡安全切換技術
8.1 概述
8.1.1 移動性管理技術
8.1.2 空間網絡切換技術
8.1.3 安全切換技術
8.2 空間網絡安全接入與通信方案
8.2.1 網絡模型
8.2.2 安全接入機制
8.2.3 安全通信的建立過程
8.2.4 安全性分析
8.2.5 性能分析
8.3 空間網絡安全切換方案
8.3.1 水平切換模型
8.3.2 基於預認證的快速切換算法
8.3.3 衛星—臨近空間網絡垂直切換模型
8.3.4 垂直切換方案
8.3.5 切換性能分析
8.4 本章小結
第三部分 空間網絡安全驗證
第9章 空間網絡安全協議建模
9.1 基於進程模型的協議描述語言
9.1.1 描述語言的語法
9.1.2 描述語言的執行語義
9.1.3 密碼算法的定義
9.1.4 敵手能力模型
9.2 執行跡屬性的邏輯模型
9.2.1 邏輯的語法
9.2.2 邏輯的語義
9.3 認證性建模
9.4 協議建模示例
9.4.1 Needham-Scheoder-Lowe協議的建模
9.4.2 Challenge-Response協議的建模
9.5 與CPCL建模能力的比較
9.6 本章小結
**0章 協議安全定性驗證方法
10.1 計算可靠的定性證明繫統
10.1.1 推理規則
10.1.2 公理集
10.2 證明繫統的計算可靠性
10.3 與CPCL證明繫統的比較
10.4 證明繫統的驗證與測試
10.4.1 NSL協議認證性的證明
10.4.2 驗證結果分析
10.5 本章小結
**1章 協議安全定量驗證方法
11.1 協議邏輯的概率擴展
11.2 計算可靠的定量證明繫統
11.2.1 概率公理
11.2.2 隨機數概率公理
11.2.3 密碼學概率公理
11.3 CPCL的概率擴展能力分析
11.4 定量證明繫統的計算可靠性
11.5 證明繫統的驗證與測試
11.5.1 雙向認證性的證明
11.5.2 驗證結果分析
11.6 本章小結
**2章 基於LVC的空間網絡安全驗證技術
12.1 空間網絡安全性傳輸控制評估指標體繫
12.1.1 建立指標體繫的原則
12.1.2 空間網絡信息安全性能評估指標體繫
12.1.3 空間信息傳輸網攻擊效果評估指標體繫
12.1.4 空間信息傳輸網安全性和控制效果評估過程
12.2 空間網絡安全控制驗證環境設計與構建
12.2.1 設計思路
12.2.2 驗證模式分析
12.2.3 安全風險分析
12.2.4 基於LVC的空間信息網安全傳輸驗證環境構建
12.3 空間網絡安全控制驗證方法
12.3.1 驗證項目
12.3.2 驗證方法
12.4 本章小結
附錄A 基於身份的密碼學方案
A.1 基於身份的加密方案
A.2 基於身份的簽名方案
A.3 基於身份的認證密鑰協商協議
A.4 基於身份的簽密方案
A.5 基於身份的多接收者簽密方案
A.6 多PKG下基於身份的簽密方案
A.7 多PKG下基於身份的認證密鑰協商協議
附錄B 安全傳輸繫統中安全連接的建立
術語表
參考文獻