Architectural Data Flow Analysis for Detecting Violations of Confidentiality Requirements

This book PDF is perfect for those who love Computers genre, written by Seifermann, Stephan and published by KIT Scientific Publishing which was released on 09 December 2022 with total hardcover pages 412. You could read this book directly on your devices with pdf, epub and kindle format, check detail and related Architectural Data Flow Analysis for Detecting Violations of Confidentiality Requirements books below.

Architectural Data Flow Analysis for Detecting Violations of Confidentiality Requirements

Author	: Seifermann, Stephan
File Size	: 40,7 Mb
Publisher	: KIT Scientific Publishing
Language	: English
Release Date	: 09 December 2022
ISBN	: 9783731512462
Pages	: 412 pages

Get Book

Architectural Data Flow Analysis for Detecting Violations of Confidentiality Requirements by Seifermann, Stephan Book PDF Summary

Software vendors must consider confidentiality especially while creating software architectures because decisions made here are hard to change later. Our approach represents and analyzes data flows in software architectures. Systems specify data flows and confidentiality requirements specify limitations of data flows. Software architects use detected violations of these limitations to improve the system. We demonstrate how to integrate our approach into existing development processes.

Architectural Data Flow Analysis for Detecting Violations of Confidentiality Requirements by Seifermann, Stephan

Get Book

Architecture based Evolution of Dependable Software intensive Systems by Heinrich, Robert

This cumulative habilitation thesis, proposes concepts for (i) modelling and analysing dependability based on architectural models of software-intensive systems early in development, (ii) decomposition and composition of modelling languages and analysis techniques to enable more flexibility in evolution, and (iii) bridging the divergent levels of abstraction between data of the

Get Book

Evaluating Architectural Safeguards for Uncertain AI Black Box Components by Scheerer, Max

Although tremendous progress has been made in Artificial Intelligence (AI), it entails new challenges. The growing complexity of learning tasks requires more complex AI components, which increasingly exhibit unreliable behaviour. In this book, we present a model-driven approach to model architectural safeguards for AI components and analyse their effect on

Get Book

A Reference Structure for Modular Model based Analyses by Koch, Sandro Giovanni

In this work, the authors analysed the co-dependency between models and analyses, particularly the structure and interdependence of artefacts and the feature-based decomposition and composition of model-based analyses. Their goal is to improve the maintainability of model-based analyses. They have investigated the co-dependency of Domain-specific Modelling Languages (DSMLs) and model-based

Get Book

Consistent View Based Management of Variability in Space and Time by Ananieva, Sofia

Developing variable systems faces many challenges. Dependencies between interrelated artifacts within a product variant, such as code or diagrams, across product variants and across their revisions quickly lead to inconsistencies during evolution. This work provides a unification of common concepts and operations for variability management, identifies variability-related inconsistencies and presents

Get Book

Software Architecture by Bedir Tekinerdogan,Catia Trubiani,Chouki Tibermacine,Patrizia Scandurra,Carlos E. Cuesta

This book constitutes the refereed proceedings of the 17th International Conference on Software Architecture, ECSA 2023, held in Istanbul, Turkey, in September 2023. The 16 full papers and the 9 short papers included in this volume were carefully reviewed and selected from 71 submissions. They address the most recent, innovative, and significant findings and experiences

Get Book

Business Process Management Workshops by Marcello La Rosa,Pnina Soffer

This book constitutes the refereed proceedings of 12 international workshops held in Tallinn, Estonia, in conjunction with the 10th International Conference on Business Process Management, BPM 2012, in September 2012. The 12 workshops comprised Adaptive Case Management and Other Non-Workflow Approaches to BPM (ACM 2012), Business Process Design (BPD 2012), Business Process Intelligence (BPI 2012), Business Process

Get Book

Software Architecture by Patrizia Scandurra,Matthias Galster,Raffaela Mirandola,Danny Weyns

This book constitutes the refereed proceedings of the tracks and workshops which complemented the 15th European Conference on Software Architecture, ECSA 2021, held in Växjö, Sweden*, in September 2021. The 15 full papers presented in this volume were carefully reviewed and selected from 17 submissions. Papers presented were accepted into the following tracks

Get Book