2005

Secure Systems Development with UML

Authors:

ISBN: 978-3-540-00701-2 (Print) 978-3-540-26494-1 (Online)

Table of contents (10 chapters)

  1. Prologue

    1. No Access

      Book Chapter

      Pages 3-14

      Introduction

    2. No Access

      Book Chapter

      Pages 15-20

      Walk-through: Using UML for Security

    3. No Access

      Book Chapter

      Pages 21-46

      Background

  2. Developing Secure Systems

    1. No Access

      Book Chapter

      Pages 49-74

      Model-based Security Engineering with UML

    2. No Access

      Book Chapter

      Pages 75-130

      Applications

  3. Tool Support

    1. No Access

      Book Chapter

      Pages 133-160

      Tool support for UMLsec

    2. No Access

      Book Chapter

      Pages 161-189

      A Formal Foundation

    3. No Access

      Book Chapter

      Pages 191-233

      Formal Systems Development with UML

  4. Epilogue

    1. No Access

      Book Chapter

      Pages 237-242

      Further Material

    2. No Access

      Book Chapter

      Pages 243-244

      Outlook