幫助中心 | 我的帳號 | 關於我們
進階搜尋
car

同類熱銷排行榜

最近瀏覽的商品

系統安全與防護指南(精)/網路空間安全國外優秀圖書譯叢

  • 作者：編者:(美)Edward Griffor|責編:崔雲|譯者:毛俐旻//陳志浩//單純//胡昌振
  • 出版社：國防工業
  • ISBN：9787118125979
  • 出版日期：2022/12/01
  • 裝幀：精裝
  • 頁數：193
人民幣：RMB 179 元      售價：元
放入購物車
加入收藏夾
內容大鋼
    本書第一部分聚焦于基礎知識，描述了IoT中的系統如何超出ISO／IEC／IEEE15288中「互操作元素的組合以達到一個或多個所述目標」的定義，包括那些可感知、交互及塑造其周圍世界的事物。第二部分講述了一系列安全與防護的觀點，這部分以IoT系統安全防護設計過程中考慮攻擊者意圖的重要性作為開端。第三部分描述了如何將第一部分和第二部分的概念應用於實際，並將雲計算和智能電網作為主要用例。
作者介紹
編者:(美)Edward Griffor|責編:崔雲|譯者:毛俐旻//陳志浩//單純//胡昌振
目錄
第一部分  系統介紹
  第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  定向威脅評估
第三部分  系統安全與防護的應用
關於編者
貢獻者簡介

  • 商品搜索：
  • | 高級搜索
首頁│ 新手上路│ 客服中心│ 關於我們│ 聯絡我們│ Top↑│
Copyrightc 1999~2008 美商天龍國際圖書股份有限公司 臺灣分公司. All rights reserved.
營業地址:臺北市中正區重慶南路一段103號1F 105號1F-2F
讀者服務部電話：02-2381-2033 02-2381-1863　時間：週一-週五 10:00-17:00
　服務信箱：bookuu@69book.com 客戶、意見信箱:cs@69book.com
ICP證：浙B2-20060032