Secure Systems Development with UML - Jan Jürjens
-20% with code BOOKS
Shipping in 17-23 days
30-day return policy
Attacks against computer systems can cause considerable economic or physical damage. High-quality development of security-critical systems is difficult, mainly because of the conflict between development costs and verifiable correctness. Jürjens presents the UML extension UMLsec for secure systems development. It uses the standard UML extension mechanisms, and can be employed to evaluate UML specifications ... Full description
You May Also Like
TOP
E-Myth Revisited: Why Most Small Businesses Don't Work and What to Do About It
-20% with code BOOKS
In stock at our supplier
TOP
Legacy: What The All Blacks Can Teach Us About The Business Of Life
-20% with code BOOKS
In stock at our supplier
TOP
Never Split the Difference: Negotiating as if Your Life Depended on It
-20% with code BOOKS
In stock
TOP
The Lean Startup: How Today's Entrepreneurs Use Continuous Innovation to Create Radically Successful Businesses
-20% with code BOOKS
In stock
TOP
Atomic Habits: An Easy & Proven Way to Build Good Habits & Break Bad Ones
-20% with code BOOKS
In stock at our supplier
TOP
Radical Candor: Be a Kick-Ass Boss Without Losing Your Humanity
-20% with code BOOKS
In stock at our supplier
TOP
Radical Candor: Be a Kick-Ass Boss Without Losing Your Humanity
-20% with code BOOKS
In stock at our supplier
TOP
The 7 Habits of Highly Effective People. 30th Anniversary Edition: Powerful Lessons in Personal Change
Jim Collins, Sean Covey, Stephen R. Covey
-20% with code BOOKS
In stock
TOP
The Psychology of Money: Timeless Lessons on Wealth, Greed, and Happiness
-20% with code BOOKS
In stock
TOP
Influence: The Psychology of Persuasion
-20% with code BOOKS
In stock at our supplier
TOP
Unreasonable Hospitality: The Remarkable Power of Giving People More Than They Expect
-20% with code BOOKS
In stock at our supplier
TOP
Co-Intelligence: Living and Working with AI
-20% with code BOOKS
In stock at our supplier
TOP
Vienna: How the City of Ideas Created the Modern World
-20% with code BOOKS
In stock at our supplier
TOP
The First 90 Days: Proven Straegies for Getting up to Speed faster and smarter
-20% with code BOOKS
In stock at our supplier
TOP
Surrounded by Idiots Revised & Expanded Edition: The Four Types of Human Behavior and How to Effectively Communicate with Each in Business (and in Life)
-20% with code BOOKS
In stock at our supplier
TOP
The Infinity Machine: Demis Hassabis, DeepMind, and the Quest for Superintelligence
-20% with code BOOKS
In stock at our supplier
TOP
1873: The Rothschilds, the First Great Depression, and the Making of the Modern World
-20% with code BOOKS
In stock at our supplier
Description
Attacks against computer systems can cause considerable economic or physical damage. High-quality development of security-critical systems is difficult, mainly because of the conflict between development costs and verifiable correctness. Jürjens presents the UML extension UMLsec for secure systems development. It uses the standard UML extension mechanisms, and can be employed to evaluate UML specifications for vulnerabilities using a formal semantics of a simplified fragment of UML. Established rules of security engineering can be encapsulated and hence made available even to developers who are not specialists in security. As one example, Jürjens uncovers a flaw in the Common Electronic Purse Specification, and proposes and verifies a correction. With a clear separation between the general description of his approach and its mathematical foundations, the book is ideally suited both for researchers and graduate students in UML or formal methods and security, and for advanced professionals writing critical applications.
More Information
| Author | Jan Jürjens |
|---|---|
| Publisher | Springer Berlin Heidelberg |
| Release year | 2004 |
| Cover type | Hardcover |
| EAN | 9783540007012 |