掃一掃
關注中圖網
官方微博
本類五星書更多>
-
>
全國計算機等級考試最新真考題庫模擬考場及詳解·二級MSOffice高級應用
-
>
決戰行測5000題(言語理解與表達)
-
>
軟件性能測試.分析與調優實踐之路
-
>
第一行代碼Android
-
>
JAVA持續交付
-
>
EXCEL最強教科書(完全版)(全彩印刷)
-
>
深度學習
系統安全與防護指南 版權信息
- ISBN：9787118125979
- 條形碼：9787118125979 ; 978-7-118-12597-9
- 裝幀：一般膠版紙
- 冊數：暫無
- 重量：暫無
- 所屬分類：>
系統安全與防護指南 內容簡介
本書針對CPS系統在社會、國家、經濟等各個領域的快速發展和應用，圍繞CPS安全技術和典型應用等方面進行了深入研究和前瞻性分析，緊跟當今時代網絡信息技術發展的近期新趨勢，從不同專業領域角度，綜合分析了未來網絡物理系統面臨的安全風險和攻擊威脅，具體包括安全軟件設計、業務安全、進化安全、安全保障、安全風險、云服務與云架構安全、智能電網安全等，并給出相應yingyonga案例。
系統安全與防護指南 目錄
**部分 系統介紹
第1章 概述
1．1 更寬廣目標的系統安全與防護指南的需求
第2章 信息物理系統的組成和組合性
2．1 信息物理系統概述
2．2 OpenMETA工具套件中的橫向集成平臺
2．3 AVM組件模型
2．4 語義集成的用例
2．5 動力學的組件接口和組合語義
2．6 建模語言語義接口的形式化
2．7 小結
致謝
參考文獻
第3章 領域專家主導的基于模型開發的軟件工程
3．1 軟件工程簡介
3，2開發過程：如何進行軟件設計開發
3．2．1 軟件工程階段及領域專家參與
3．2．2 工具的重要性
3．2．3 案例：傳輸控制軟件
3．3 需求：軟件應做什么
3．3．1 良好的需求非常重要
3．3．2 需求規范的目的及其使用者
3．3．3 Simulink模型不是需求
3．3．4 當前需求規范面臨的問題
3．3．5 需求規范編制者
3．3．6 需求規范的內容
3．4 設計：軟件將如何去做
3．4．1 設計與需求的區別
3．4．2 軟件設計的重要原則
3．4．3 Simulink對于軟件工程原理應用的支持
3．4．4 指南的作用
3．4．5 軟件設計文檔
3．4．6 模型文檔
3．4．7 當前軟件設計文檔存在的問題
3．5 實現：生成代碼
3，5．1 代碼生成對于MBD的成功至關重要
3．5．2 代碼生成的限制
3．6 確認與驗證：如何確知軟件有效
3．6．1 為何早期驗證非常重要？MBD是否有用？
3．6．2 測試軟件與測試其他工程產品的區別
3．6．3 如何選擇測試，何時停止測試
3．6．4 MBD中的其他驗證技術
3．7 小結
參考文獻
第二部分 安全與防護觀點
第4章 進化的安全
4．1 信息物理系統的安全需求
4．1．1 黑客能力和系統復雜性
4．1．2 增強系統安全性
4．1．3 風險與資產余額
4．2 新的對手模型
4．2．1 攻擊面
4．2．2 攻擊面加權
4．2．3 攻擊入口點
4，2．4 基于角色的訪問
4．2．5 資源訪問
4．3 “互連”系統安全建模
4．4 定向威脅評估
……
第三部分 系統安全與防護的應用
關于編者
貢獻者簡介
第1章 概述
1．1 更寬廣目標的系統安全與防護指南的需求
第2章 信息物理系統的組成和組合性
2．1 信息物理系統概述
2．2 OpenMETA工具套件中的橫向集成平臺
2．3 AVM組件模型
2．4 語義集成的用例
2．5 動力學的組件接口和組合語義
2．6 建模語言語義接口的形式化
2．7 小結
致謝
參考文獻
第3章 領域專家主導的基于模型開發的軟件工程
3．1 軟件工程簡介
3，2開發過程：如何進行軟件設計開發
3．2．1 軟件工程階段及領域專家參與
3．2．2 工具的重要性
3．2．3 案例：傳輸控制軟件
3．3 需求：軟件應做什么
3．3．1 良好的需求非常重要
3．3．2 需求規范的目的及其使用者
3．3．3 Simulink模型不是需求
3．3．4 當前需求規范面臨的問題
3．3．5 需求規范編制者
3．3．6 需求規范的內容
3．4 設計：軟件將如何去做
3．4．1 設計與需求的區別
3．4．2 軟件設計的重要原則
3．4．3 Simulink對于軟件工程原理應用的支持
3．4．4 指南的作用
3．4．5 軟件設計文檔
3．4．6 模型文檔
3．4．7 當前軟件設計文檔存在的問題
3．5 實現：生成代碼
3，5．1 代碼生成對于MBD的成功至關重要
3．5．2 代碼生成的限制
3．6 確認與驗證：如何確知軟件有效
3．6．1 為何早期驗證非常重要？MBD是否有用？
3．6．2 測試軟件與測試其他工程產品的區別
3．6．3 如何選擇測試，何時停止測試
3．6．4 MBD中的其他驗證技術
3．7 小結
參考文獻
第二部分 安全與防護觀點
第4章 進化的安全
4．1 信息物理系統的安全需求
4．1．1 黑客能力和系統復雜性
4．1．2 增強系統安全性
4．1．3 風險與資產余額
4．2 新的對手模型
4．2．1 攻擊面
4．2．2 攻擊面加權
4．2．3 攻擊入口點
4，2．4 基于角色的訪問
4．2．5 資源訪問
4．3 “互連”系統安全建模
4．4 定向威脅評估
……
第三部分 系統安全與防護的應用
關于編者
貢獻者簡介
展開全部
系統安全與防護指南 作者簡介
[美]Edward Griffor博士，是美國商務部國家標準和技術研究所（NIST）信息物理系統副主任。在2015年7月加入NIST之前，擔任沃特P．克萊斯勒公司技術會士，這是汽車行業高的技術職務之一，在運輸、航空、科學、防御、能源和醫療等諸多工業領域也有同類職務。直到2015年前，他擔任克萊斯勒公司技術委員會主席，后續擔任麻省理工學院（MIT）聯盟主席，這是在MIT培訓聯合科學家、工程師、商業專家的專業聯盟。 他在MIT完成數學博士學習，并被奧斯陸大學授予數學與工程特聘教授。1980年，獲得瑞典國家科學基金／北約科學與工程博士后。1980年至1997年，任瑞典烏普薩拉大學教師，隨后返回美國領導汽車行業的電氣工程前沿研究。 他歷任挪威奧斯陸大學、瑞典烏普薩拉大學、智利圣地亞哥天主教大學的教職，以及美國哈佛大學、MIT、塔夫茨大學的教職。Edward Griffor博士被認為是***專家，采用數學方法進行技術設計和保障，用于高級、自適應信息物理系統開發以及自動系統的安全與防護。在克萊斯勒公司工作期間，領導了生物系統建模與仿真。他是密歇根州底特律市韋恩州立大學醫學院分子醫學和遺傳學中心副教授。 他在汽車工業的工作為語音識別和自主互連汽車提供了先進算法。他曾出版3本專著，包括《可計算手冊》《域理論》《邏輯的遺失天賦：Gerhard Gentzen生平》；在專業期刊發表大量論文，并多次在美國數學協會、符號邏輯協會、北美軟件認證協會、汽車工業協會、聯邦儲備銀行，以及NIST、DARPA、DOE、DOT、NASA等美國政府各部門等進行演講報告。 毛俐旻，航天科工集團信息中心總體室副主任，研究員／博士，研究方向是網絡安全、大數據。長期從事網絡安全體系規劃、前沿探索和關鍵技術研究，先后主持和參與中央網信辦、國家科技部、國防工業等領域等多個項目。
書友推薦
- >
月亮虎
- >
經典常談
- >
山海經
- >
李白與唐代文化
- >
名家帶你讀魯迅:朝花夕拾
- >
回憶愛瑪儂
- >
名家帶你讀魯迅:故事新編
- >
二體千字文
本類暢銷
