Éditeur : MIT PRESS
ISBN papier: 9780262034210
Parution : 2016
Code produit : 1322572
Catégorisation :
Livres /
Génie /
Informatique /
Programmation
Format | Qté. disp. | Prix* | Commander |
---|---|---|---|
Livre papier | 1 |
Prix membre : 64,45 $ Prix non-membre : 67,84 $ |
*Les prix sont en dollars canadien. Taxes et frais de livraison en sus.
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.