Security requirements engineering
Subtitle: designing secure socio-technical systems
By: Fabiano Dalpiaz, Elda Paja, Paolo Giorgini
Contributors: Paja, Elda, author; Giorgini, Paolo, author
Series: The MIT Press information systems series; Information systems (Cambridge, Mass.)
Published: 2016
Language: eng
Number of pages: 201
ISBN-13: 9780262034210
Copyright date: 2016
Subjects: Social aspects; Requirements engineering; Sociotechnical systems; Design and construction; Computer-aided design; Data processing; System analysis; Systems software; Technology
Description: Security requirements engineering is especially challenging because designers must consider not just the software under design but also interactions among people, organizations, hardware, and software. Taking this broader perspective means designing a secure socio-technical system rather than a merely technical system. This book presents a novel, model-driven approach to designing secure socio-technical systems. It introduces the Socio-Technical Modeling Language (STS-ML) and presents a freely available software tool, STS-Tool, that supports this design approach through graphical modeling, automated reasoning capabilities to verify the models constructed, and the automatic derivation of security requirements documents. -- Provided by publisher.

After an introduction to security requirements engineering and an overview of computer and information security, the book presents the STS-ML modeling language, introducing the modeling concepts used, explaining how to use STS-ML within the STS method for security requirements, and providing guidelines for the creation of models. The book then puts the STS approach into practice, introducing the STS-Tool and presenting two case studies from industry: an online collaborative platform and an e-Government system. Finally, the book considers other methods that can be used in conjunction with the STS method or that constitute an alternative to it. The book is suitable for course use or as a reference for practitioners. Exercises, review questions, and problems appear at the end of each chapter. -- Provided by publisher.
Notes: Includes bibliographical references (pages 195-198) and index.