{"product_id":"9783319161051","title":"Aspect-Oriented Security Hardening of UML Design Models","description":"\u003ch1\u003eAspect-Oriented Security Hardening of UML Design Models\u003c\/h1\u003e \u003ch2\u003eMouheb, Djedjiga; Debbabi, Mourad; Pourzandi, Makan; Wang, Lingyu; Nouh, Mariam; Ziarati, Raha; Alhadidi, Dima; Talhi, Chamseddine; Lima, Vitor\u003c\/h2\u003e \u003cp\u003e\u003c\/p\u003e\u003cp\u003eThis book comprehensively presents a novel approach to the systematic security hardening of software design models expressed in the standard UML language. It combines model-driven engineering and the aspect-oriented paradigm to integrate security practices into the early phases of the software development process. To this end, a UML profile has been developed for the specification of security hardening aspects on UML diagrams. In addition, a weaving framework, with the underlying theoretical foundations, has been designed for the systematic injection of security aspects into UML models.\u003c\/p\u003e\u003cp\u003eThe work is organized as follows: chapter 1 presents an introduction to software security, model-driven engineering, UML and aspect-oriented technologies. Chapters 2 and 3 provide an overview of UML language and the main concepts of aspect-oriented modeling (AOM) respectively. Chapter 4 explores the area of model-driven architecture with a focus on model transformations. The main approaches that are adopted in the literature for security specification and hardening are presented in chapter 5. After these more general presentations, chapter 6 introduces the AOM profile for security aspects specification. Afterwards, chapter 7 details the design and the implementation of the security weaving framework, including several real-life case studies to illustrate its applicability. Chapter 8 elaborates an operational semantics for the matching\/weaving processes in activity diagrams, while chapters 9 and 10 present a denotational semantics for aspect matching and weaving in executable models following a continuation-passing style. Finally, a summary and evaluation of the work presented are provided in chapter 11.\u003c\/p\u003eThe book will benefit researchers in academia and industry as well as students interested in learning about recent research advances in the field of software security engineering. \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 2015-04-22\u003c\/p\u003e \u003cp\u003eFormat: Hardcover\u003c\/p\u003e \u003cp\u003eISBN-13: 9783319161051\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/978-3-319-16106-8\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 237\u003c\/p\u003e ","brand":"Springer International Publishing","offers":[{"title":"Default Title","offer_id":45383460487308,"sku":"9783319161051","price":49.49,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783319161051.jpg?v=1775842700","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9783319161051","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}