Secure Systems Development with UML
9783540007012 (3540007016) | Springer, 2004 | 2 Mb | RS | FF
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.
RapidShare
FileFactory
If you like it, BUY IT !!!
Google Hacks 3rd Edition
Take Control of Your AirPort Network
Maximum Linux Security (2nd Edition)
Intrusion Detection: Network Security Beyond the Firewall
Implementing Email and Security Tokens: Current Standards, Tools, and Practi
Secure Computer and Network Systems: Modeling, Analysis and Design
The Blood-Brain Barrier and Its Microenvironment
Effective Security Management, Fourth Edition
Gray Hat Hacking, 2nd Edition
Network Security: Current Status and Future Directions
Take Control of Your AirPort Network(09-29)
Maximum Linux Security (2nd Edition)(09-29)
Intrusion Detection: Network Security Be(09-17)
Implementing Email and Security Tokens: (09-06)
Secure Computer and Network Systems: Mod(09-06)
The Blood-Brain Barrier and Its Microenv(09-01)
Effective Security Management, Fourth Ed(09-01)
Gray Hat Hacking, 2nd Edition(07-08)
Network Security: Current Status and Fut(06-28)
Mastering Network Security(06-28)
Mac OS X Panther Hacks: 100 Industrial S(06-01)
Stealing the Network: How to Own a Conti(05-28)
Practical Hacking Techniques and Counter(1000)
Gray Hat Hacking, 2nd Edition(990)
Mastering Network Security(668)
AudioWhiz CCNA 3.0 Exam 640-801 Bundle(654)
Hack Proof Your Wireless Network(584)
OReilly Cisco IOS Cookbook 2nd Edition D(576)
Google Apps Hacks(535)
Encyclopedia of Cryptography and Securit(532)
Crimeware: Understanding New Attacks and(465)
Stealing the Network: How to Own a Conti(436)
Network Security: Current Status and Fut(383)
CEH: Official Certified Ethical Hacker R(347)
