Please note: In order to keep Hive up to date and provide users with the best features, we are no longer able to fully support Internet Explorer. The site is still available to you, however some sections of the site may appear broken. We would encourage you to move to a more modern browser like Firefox, Edge or Chrome in order to experience the site fully.

Supporting your high street Find out how »
Multilevel Modeling of Secure Systems in QoP-ML, Paperback / softback Book

Multilevel Modeling of Secure Systems in QoP-ML Paperback / softback

Paperback / softback

Out of stock

Description

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 SystemsCovers the financial, economic, and CO2 emission analysis phaseSupplies a multilevel analysis of Cloud-based data centersDetails the structures for advanced communication modeling and energy analysisConsiders security and energy efficiency trade-offs for the protocols of wireless sensor network architecturesIncludes case studies that illustrate the QoP analysis process using the QoP-MLExamines the robust security metrics of cryptographic primitivesCompares and contrasts QoP-ML with the PL/SQL, SecureUML, and UMLsec approaches by means of the SEQUAL frameworkThe 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.

Information

Save 2%

£45.99

£44.75

Out of stock
Add to Basket
Sign in to add to wishlist
 
Free Home Delivery

on all orders

 
Pick up orders

from local bookshops

Information