Secure Systems Development with UML - Jan Jürjens
-40% koodiga BOOKS
Saadetis 12-18 tööpäeva jooksul
30-päevane tagastamisõigus
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 ... Täielik kirjeldus
Võib-olla meeldib sulle ka
TOP
Legacy: What The All Blacks Can Teach Us About The Business Of Life
-40% koodiga BOOKS
Meie tarnija laos
TOP
Never Split the Difference: Negotiating as if Your Life Depended on It
-40% koodiga BOOKS
Laos
TOP
The Lean Startup: How Today's Entrepreneurs Use Continuous Innovation to Create Radically Successful Businesses
-40% koodiga BOOKS
Laos
TOP
Atomic Habits: An Easy & Proven Way to Build Good Habits & Break Bad Ones
-40% koodiga BOOKS
Meie tarnija laos
TOP
Radical Candor: Be a Kick-Ass Boss Without Losing Your Humanity
-40% koodiga BOOKS
Meie tarnija laos
TOP
Radical Candor: Be a Kick-Ass Boss Without Losing Your Humanity
-40% koodiga BOOKS
Meie tarnija laos
TOP
The 7 Habits of Highly Effective People. 30th Anniversary Edition: Powerful Lessons in Personal Change
Jim Collins, Sean Covey, Stephen R. Covey
-40% koodiga BOOKS
Laos
TOP
The Psychology of Money: Timeless Lessons on Wealth, Greed, and Happiness
-40% koodiga BOOKS
Laos
TOP
Influence: The Psychology of Persuasion
-40% koodiga BOOKS
Meie tarnija laos
TOP
Unreasonable Hospitality: The Remarkable Power of Giving People More Than They Expect
-40% koodiga BOOKS
Meie tarnija laos
TOP
Co-Intelligence: Living and Working with AI
-40% koodiga BOOKS
Meie tarnija laos
TOP
Vienna: How the City of Ideas Created the Modern World
-40% koodiga BOOKS
Meie tarnija laos
TOP
The First 90 Days: Proven Straegies for Getting up to Speed faster and smarter
-40% koodiga BOOKS
Meie tarnija laos
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)
-40% koodiga BOOKS
Meie tarnija laos
TOP
The Common Good Economy: A New Compass
-40% koodiga BOOKS
Meie tarnija laos
TOP
The Infinity Machine: Demis Hassabis, DeepMind, and the Quest for Superintelligence
-40% koodiga BOOKS
Meie tarnija laos
TOP
1873: The Rothschilds, the First Great Depression, and the Making of the Modern World
-40% koodiga BOOKS
Meie tarnija laos
Kirjeldus
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.
Lisateave
| Autor | Jan Jürjens |
|---|---|
| Kirjastaja | Springer Berlin Heidelberg |
| Väljalaskeaasta | 2010 |
| Kaanetüüp | Pehme kaanega |
| EAN | 9783642056352 |