Multilevel Modeling of Secure Systems in QoP-ML
暫譯: QoP-ML中安全系統的多層次建模

Bogdan Księżopolski

  • 出版商: Auerbach Publication
  • 出版日期: 2024-01-31
  • 售價: $2,410
  • 貴賓價: 9.5$2,290
  • 語言: 英文
  • 裝訂: Paperback
  • ISBN: 1138894591
  • ISBN-13: 9781138894594
  • 海外代購書籍(需單獨結帳)

商品描述

In order to perform effective analysis of today’s information security systems, numerous components must be taken into consideration. This book presents a well-organized, consistent solution created by the author, which allows for precise multilevel analysis of information security systems and accounts for all of the significant details.

Enabling the multilevel modeling of secure systems, the quality of protection modeling language (QoP-ML) approach provides for the abstraction of security systems while maintaining an emphasis on quality protection. This book introduces the basis of the QoP modeling language along with all the advanced analysis modules, syntax, and semantics. It delineates the steps used in cryptographic protocols and introduces a multilevel protocol analysis that expands current understanding.

 

 

  • Introduces quality of protection evaluation of IT Systems
  • Covers the financial, economic, and CO2 emission analysis phase
  • Supplies a multilevel analysis of Cloud-based data centers
  • Details the structures for advanced communication modeling and energy analysis
  • Considers security and energy efficiency trade-offs for the protocols of wireless sensor network architectures
  • Includes case studies that illustrate the QoP analysis process using the QoP-ML
  • Examines the robust security metrics of cryptographic primitives
  • Compares and contrasts QoP-ML with the PL/SQL, SecureUML, and UMLsec approaches by means of the SEQUAL framework

The book explains the formal logic for representing the relationships between security mechanisms in a manner that offers the possibility to evaluate security attributes. It presents the architecture and API of tools that ensure automatic analysis, including the automatic quality of protection analysis tool (AQoPA), crypto metrics tool (CMTool), and security mechanisms evaluation tool (SMETool).

The book includes a number of examples and case studies that illustrate the QoP analysis process by the QoP-ML. Every operation defined by QoP-ML is described within parameters of security metrics to help you better evaluate the impact of each operation on your system's security.

商品描述(中文翻譯)

為了有效分析當今的信息安全系統,必須考慮許多組件。本書呈現了作者創建的一個組織良好且一致的解決方案,允許對信息安全系統進行精確的多層次分析,並考慮所有重要細節。

啟用安全系統的多層次建模,保護質量建模語言(Quality of Protection Modeling Language, QoP-ML)方法提供了安全系統的抽象,同時強調質量保護。本書介紹了QoP建模語言的基礎以及所有先進的分析模組、語法和語義。它描述了加密協議中使用的步驟,並介紹了一種擴展當前理解的多層次協議分析。

- 介紹IT系統的保護質量評估
- 涵蓋財務、經濟和二氧化碳(CO₂)排放分析階段
- 提供基於雲的數據中心的多層次分析
- 詳細說明先進通信建模和能量分析的結構
- 考慮無線傳感器網絡架構協議的安全性和能量效率的權衡
- 包含案例研究,說明使用QoP-ML的QoP分析過程
- 檢查加密原語的穩健安全度量
- 通過SEQUAL框架比較和對比QoP-ML與PL/SQL、SecureUML和UMLsec方法

本書解釋了以形式邏輯表示安全機制之間關係的方式,提供評估安全屬性的可能性。它呈現了確保自動分析的工具的架構和API,包括自動保護質量分析工具(Automatic Quality of Protection Analysis Tool, AQoPA)、加密度量工具(Crypto Metrics Tool, CMTool)和安全機制評估工具(Security Mechanisms Evaluation Tool, SMETool)。

本書包含多個示例和案例研究,通過QoP-ML說明QoP分析過程。QoP-ML定義的每個操作都在安全度量的參數內描述,以幫助您更好地評估每個操作對系統安全的影響。