Multilevel Modeling of Secure Systems in QoP-ML
Apple Academic Press Inc. (Verlag)
978-1-4822-0255-7 (ISBN)
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.
Bogdan Księżopolski is an assistant professor at the Polish-Japanese Academy of Information Technology in Warsaw and Maria Sklodowska-Curie University in Lublin. He received his M.Sc. in computer physics from Maria Curie-Sklodowska University in Lublin and his Ph.D. in computer science from Polish-Japanese Academy of Information Technology in Warsaw, Poland. His research interests include information security, cryptology, security metrics, security engineering, and cryptographic protocols. He has published over 40 papers on computers security. He is the founder and creator of the Quality of Protection Modeling Language (QoP-ML) which enables multilevel modeling of secure systems.
Introduction to Multilevel Modeling of Secure Systems. Basis of QoP-ML. Quality of Protection Evaluation of Security Mechanisms. Advanced Communication and Energy Efficiency Modeling. Environmental Impact and Financial Costs Analysis. Reputation Analysis in QoP-ML. Security Metrics – Methodology. Tool Support. Functionality and Usability of QoP-ML. Appendix.
Zusatzinfo | 49 Tables, black and white; 53 Illustrations, black and white |
---|---|
Verlagsort | Oakville |
Sprache | englisch |
Maße | 156 x 234 mm |
Gewicht | 589 g |
Themenwelt | Informatik ► Netzwerke ► Sicherheit / Firewall |
Mathematik / Informatik ► Informatik ► Software Entwicklung | |
Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre | |
ISBN-10 | 1-4822-0255-7 / 1482202557 |
ISBN-13 | 978-1-4822-0255-7 / 9781482202557 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich