الناشر | Springer |
رقم الكتاب المعياري الدولي 13 | 9783642056352 |
رقم الكتاب المعياري الدولي 10 | 3642056350 |
وصف الكتاب | Prologue.- Walk-through: Using UML for Security.- Background.- Developing Secure Systems.- Model-based Security Engineering with UML.- Applications.- Tool Support.- Tool support for UMLsec.- A Formal Foundation.- Formal Systems Development with UML.- Epilogue.- Further Material.- Outlook. |
اللغة | English |
الكاتب | Jan Jürjens |
عدد الصفحات | 332 pages |
Secure Systems Development with UML