Book 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. Front Matter

    Pages I-XIX

  2. Prologue

    1. No Access

      Chapter

      Pages 3-14

      Introduction

    2. No Access

      Chapter

      Pages 15-20

      Walk-through: Using UML for Security

    3. No Access

      Chapter

      Pages 21-46

      Background

  3. Developing Secure Systems

    1. No Access

      Chapter

      Pages 49-74

      Model-based Security Engineering with UML

    2. No Access

      Chapter

      Pages 75-130

      Applications

  4. Tool Support

    1. No Access

      Chapter

      Pages 133-160

      Tool support for UMLsec

    2. No Access

      Chapter

      Pages 161-189

      A Formal Foundation

    3. No Access

      Chapter

      Pages 191-233

      Formal Systems Development with UML

  5. Epilogue

    1. No Access

      Chapter

      Pages 237-242

      Further Material

    2. No Access

      Chapter

      Pages 243-244

      Outlook

  6. Back Matter

    Pages 245-309