Secure systems development with UML

摘要: The correct development of security-critical computer systems is as vital it difficult. This book presents the extension UMLsec Unified Modeling Language for secure development. written in a way which keeps first part (ch 1-5), describing and ist use, accessible to anyone with an interest security basic background on object-oriented systems. It can also be used general course applying UML or security. second 6-9) about mathematical tools needed use approach verify specifications against requirements assumes some familarity precise methods system A practically relevant example throughout demonstrate presented methods.