‹ zurück Sie sind hier:  Startseite » Buchhändler » MARZIES.de Buch- und Medienhan… » A Pattern and Component-Based Method to Develop Secure Software

Linksbuch Neu neu Rechtsbuch

Schmidt, Holger

A Pattern and Component-Based Method to Develop Secure Software (Kartoniert / Broschiert / Paperback)

Deutscher Wissenschafts V, Gerabek, Werner, Prof. Dr. Dr., April 2010


310 S. - Sprache: Deutsch - zahlreiche Grafiken und Tabellen - 242x174x23 mm

ISBN: 3868880194 EAN: 9783868880199

We present the security engineering process using patterns (SEPP), which has a strong focus on the early phases of software development, i.e., requirements engineering, specification, and architectural design. In its rst phase, SEPP makes use of patterns for security requirements engineering. Security problem frames are patterns for structuring, characterizing, and analyzing problems that occur frequently in security engineering. Concretized security problem frames involve rst solution approaches for the problems described by security problem frames. Both frame types are arranged in a pattern system that makes dependencies between them explicit. We describe step-by-step how the pattern system can be used to analyze given security problems and how solution approaches can be found. Moreover, we present a formal foundation of (concretized) security problem frames that provides the basis for tool support. In SEPP's second phase, we develop semi-formal specications that describe the interaction of the software with its environment. Moreover, the security problems and the solution approaches that deal with confidentiality requirements are formally modeled based on patterns. The formal models serve to prove that the solution approaches are correct solutions to the security problems. Furthermore, the formal models of the solution approaches constitute a formal specification of the software to be developed. In SEPP's third phase, the security requirements are realized by generic security architectures, which constitute architectural patterns. They correspond to concretized security problem frames, and they consist of generic security components. Instantiated generic security architectures are composed to develop a global generic security architecture, which is rened to obtain a secure software architecture built from existing and/or tailor-made security components.


Preis: 39,95 EUR
Versandkosten: 0,00 EUR
Gesamtpreis: 39,95 EUR
In den Warenkorb

Anbieter: MARZIES.de Buch- und Medienhan… (Impressum/Lieferzeit)
Katalog: HC/Anwendungs-Software

Angebotene Zahlungsarten: Vorauskasse
Transparente Bestellabwicklung - Verkäufer nutzt Order-Control - klicken für mehr Information
Transparente Bestellabwicklung -
Verkäufer nutzt Order-Control

 

Über den Autor

Dr. Holger Schmidt, 1999-2004 Studium der Mathematik mit Nebenfach Informatik an der Westfälischen Wilhelms-Universität Münster, 2004 Wissenschaftlicher Mitarbeiter an dieser Universität, 2004-2010 Wissenschaftlicher Mitarbeiter an der Universität Duisburg-Essen, 2010 Promotion im Fach Informatik/Software Engineering an der Universität Duis-burg-Essen, ab 4/2010 Wissenschaftlicher Mitarbeiter an der Technischen Universität Dortmund. Forschungsinteressen: Musterbasierte Softwareentwicklung, Entwicklungsmethoden und -prozesse für sichere Systeme, formale Methoden für die Entwicklung sicherer Systeme, Techniken zur Analyse von Sicherheitsanforderungen.


ISBN 3-86888-019-4

ISBN 978-3-86888-019-9

Buch empfehlen Buch empfehlen
Sparen Sie Versandkosten beim Kauf weiterer Artikel dieses Buchhändlers.

Chinese Computational Linguistics and Natural Language Processing Based on Naturally Annotated Big D von Sun, Maosong (Herausgeber); Liu, Zhiyuan (Herausgeber); Zhang, Min (Herausgeber); Liu, Yang (Herausg
74,99 EUR

64,99 EUR
Meine zuletzt angesehenen antiquarischen und neue Bücher
Meine letzten Buch Suchanfragen
    Noch keine Suchanfragen vorhanden.

© 2003 - 2018 by whSoft GmbH
Entdecken Sie außerdem: Antiquariatsportal · Achtung-Bücher.de · Booklink · Buchhai - Bücher Preisvergleich
Alle genannten Preise sind Bruttopreise und enthalten, soweit nicht anders vom Verkäufer angegeben, die gesetzliche Umsatzsteuer.