Multilevel Modeling of Secure Systems in QoP-ML (Hardcover)

Bogdan Księżopolski

  • 出版商: Auerbach Publication
  • 出版日期: 2015-06-10
  • 定價: $2,880
  • 售價: 9.0$2,592
  • 語言: 英文
  • 頁數: 262
  • 裝訂: Hardcover
  • ISBN: 1482202557
  • ISBN-13: 9781482202557
  • 相關分類: 資訊安全
  • 立即出貨 (庫存=1)



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.




  • 介紹了IT系統的品質保護評估

  • 涵蓋了財務、經濟和CO2排放分析階段

  • 提供了基於雲的數據中心的多層次分析

  • 詳細介紹了高級通信建模和能源分析的結構

  • 考慮了無線傳感器網絡架構協議的安全性和能源效率之間的權衡

  • 通過案例研究展示了使用QoP-ML進行QoP分析的過程

  • 檢查了加密基元的強大安全度量

  • 通過SEQUAL框架將QoP-ML與PL/SQL、SecureUML和UMLsec方法進行比較