Aspect-Oriented Modeling for Representing and Integrating Security Aspects in UML Models
Author : Srivas Venkatesh
Publisher :
Page : pages
File Size : 14,36 MB
Release : 2013
Category :
ISBN :
Author : Srivas Venkatesh
Publisher :
Page : pages
File Size : 14,36 MB
Release : 2013
Category :
ISBN :
Author : Djedjiga Mouheb
Publisher : Springer
Page : 247 pages
File Size : 48,22 MB
Release : 2015-04-22
Category : Computers
ISBN : 3319161067
This 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. The 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. The 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.
Author : Alain Abran
Publisher : Springer
Page : 259 pages
File Size : 21,9 MB
Release : 2010-05-12
Category : Technology & Engineering
ISBN : 3642132731
The purpose of the 8th Conference on Software Engineering, Artificial Intelligence Research, Management and Applications (SERA 2010) held on May 24 – 26, 2010 in Montreal, Canada was to bring together scientists, engineers, computer users, and students to share their experiences and exchange new ideas and research results about all aspects (theory, applications and tools) of computer and information science, and to discuss the practical challenges encountered along the way and the solutions adopted to solve them. The conference organizers selected 15 outstanding papers from SERA 2010, all of which you will find in this volume of Springer's Studies in Computational Intelligence.
Author : Luis Soares Barbosa
Publisher : Springer Science & Business Media
Page : 314 pages
File Size : 35,48 MB
Release : 2012-03-09
Category : Computers
ISBN : 3642272681
This book constitutes revised selected papers of the 7th International Workshop on Formal Aspects of Component Software, FACS 2010, held in Guimarães, Portugal, in October 2010. The 13 full papers and 4 short papers presented together with 1 panel discussion and 2 invited talks were carefully reviewed and selected from 37 submissions. The workshop seeks to develop a better understanding on how formal methods can or should be used for component-based software development to succeed.
Author : Mouratidis, Haralambos
Publisher : IGI Global
Page : 302 pages
File Size : 45,57 MB
Release : 2006-08-31
Category : Computers
ISBN : 1599041499
"This book investigates the integration of security concerns into software engineering practices, drawing expertise from the security and the software engineering community; and discusses future visions and directions for the field of secure software engineering"--Provided by publisher.
Author : Michel R. V. Chaudron
Publisher : Springer
Page : 413 pages
File Size : 48,4 MB
Release : 2009-04-28
Category : Computers
ISBN : 3642016480
This book constitutes a collection of the best papers selected from the 12 workshops and 3 tutorials held in conjunction with MODELS 2008, the 11th International Conference on Model Driven Engineering Languages and Systems, in Toulouse, France, September 28 - October 3, 2008. The contributions are organized within the volume according to the workshops at which they were presented: Model Based Architecting and Construction of Embedded Systems (ACES-MB); Challenges in Model Driven Software Engineering (CHAMDE); Empirical Studies of Model Driven Engineering (ESMDA); Models@runtime; Model Co-evolution and Consistency Management (MCCM); Model-Driven Web Engineering (MDWE); Modeling Security (MODSEC); Model-Based Design of Trustworthy Health Information Systems (MOTHIS); Non-functional System Properties in Domain Specific Modeling Languages (NFPin DSML); OCL Tools: From Implementation to Evaluation and Comparison (OCL); Quality in Modeling (QIM); and Transforming and Weaving Ontologies and Model Driven Engineering (TWOMDE). Each section includes a summary of the workshop. The last three sections contain selected papers from the Doctoral Symposium, the Educational Symposium and the Research Project Symposium, respectively.
Author : Ana Moreira
Publisher : Springer Science & Business Media
Page : 390 pages
File Size : 31,54 MB
Release : 2013-11-19
Category : Computers
ISBN : 3642386407
Broadly-scoped requirements such as security, privacy, and response time are a major source of complexity in modern software systems. This is due to their tangled inter-relationships with and effects on other requirements. Aspect-Oriented Requirements Engineering (AORE) aims to facilitate modularisation of such broadly-scoped requirements, so that software developers are able to reason about them in isolation - one at a time. AORE also captures these inter-relationships and effects in well-defined composition specifications, and, in so doing exposes the causes for potential conflicts, trade-offs, and roots for the key early architectural decisions. Over the last decade, significant work has been carried out in the field of AORE. With this book the editors aim to provide a consolidated overview of these efforts and results. The individual contributions discuss how aspects can be identified, represented, composed and reasoned about, as well as how they are used in specific domains and in industry. Thus, the book does not present one particular AORE approach, but conveys a broad understanding of the aspect-oriented perspective on requirements engineering. The chapters are organized into five sections: concern identification in requirements, concern modelling and composition, domain-specific use of AORE, aspect interactions, and AORE in industry. This book provides readers with the most comprehensive coverage of AORE and the capabilities it offers to those grappling with the complexity arising from broadly-scoped requirements - a phenomenon that is, without doubt, universal across software systems. Software engineers and related professionals in industry, as well as advanced undergraduate and post-graduate students and researchers, will benefit from these comprehensive descriptions and the industrial case studies.
Author : Dominik Slezak
Publisher : Springer Science & Business Media
Page : 319 pages
File Size : 18,96 MB
Release : 2009-11-24
Category : Computers
ISBN : 3642108466
This volume constitutes the selected papers of the International Conference on Security Technology, SecTech 2009, held as part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, in December 2009.
Author : Djedjiga Mouheb
Publisher :
Page : pages
File Size : 31,26 MB
Release : 2012
Category :
ISBN :
Author : Hsiang-Chuan Liu
Publisher : CRC Press
Page : 1488 pages
File Size : 28,74 MB
Release : 2014-03-26
Category : Computers
ISBN : 1138024694
This proceedings set contains selected Computer, Information and Education Technology related papers from the 2014 International Conference on Computer, Intelligent Computing and Education Technology (CICET 2014), held March 27-28, 2014 in Hong Kong. The proceedings aims to provide a platform for researchers, engineers and academics as well as industry professionals from all over the world to present their research results and development activities in Computer Science, Information Technology and Education Technology.