Security Requirements Engineering: Designing Secure Socio-Technical Systems

ISBN-10: 0262034212
ISBN-13: 9780262034210
Category: Computers
Pages: 225
Language: English
Published: 2016-01-22
Publisher: MIT Press
Authors: Paolo Giorgini, Fabiano Dalpiaz, Elda Paja

Description

A novel, model-driven approach to security requirements engineering that focuses on socio-technical systems rather than merely technical systems. 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. 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.

Get the book

Similar books

Family History Digital Libraries
By William Sims Bainbridge
One named Sara and Timberlake had 11 male workers, 1 female worker, and 4 children workers, so it might have employed the Minor family.
Foundation Dreamweaver MX
By Craig Grannell, Jerome Turner, Matt Stephens
So here's what we need to do to arrive at our layout: s Create the main table to hold all the page elements. s Deal with the navigation area which is ...
Cisco CCNA Certification, 2 Volume Set: Exam 200-301
By Todd Lammle
This inclusive, two-book set provides what you need to know to succeed on the new CCNA exam. The set includes Understanding Cisco Networking Technologies: Volume 1 and the CCNA Certification Study Guide: Volume 2.
CompTIA Network+ Study Guide: Exam N10-006
By Todd Lammle
... you can use: –a –A –c –n –r –R –S –s All nbtstat switches are case sensitive. Generally speaking, lowercase switches deal with NetBIOS names of hosts, ...
CompTIA Network+ Study Guide with Online Labs: N10-007 Exam
By Todd Lammle, Jon Buhagiar
... you can use: –a –A –c –n –r –R –S –s All nbtstat switches are case sensitive. Generally speaking, lowercase switches deal with NetBIOS names of hosts, ...
CCNA: Cisco Certified Network Associate FastPass
By Todd Lammle
S The S reference point defines the point between the customer router and an ... with the letter E deal with using ISDN on the existing telephone network.
Stranger in the Chat Room
By Todd Hafer, Jedd Hafer
A sequel to In the Chat Room With God finds a group of teens contacted by a mysterious and increasingly malevolent character who claims to know about their encounters with the Almighty and challenges their beliefs. Original.
Error Correction Coding: Mathematical Methods and Algorithms
By Todd K. Moon
M M−1∑ k=0 −∞ ∞ k=0 The average energy per signal E s ∫ can be related to the ... we will deal primarily with additive white Gaussian noise (AWGN), ...
Security+ Training Guide
By Todd King
... to deal with most , but unfortunately not all , of these potential threats . ... The S / MIME standard implements encryption for message content using ...
CCDA: Cisco Certified Design Associate Study Guide: Exam 640-861
By Todd Lammle, Andy Barkl
S reference point The S reference point defines the reference point between ... with the letter E deal with using ISDN on the existing telephone network.