| 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. |
|
|
 Microsoft Office Excel 2003 Inside OutHey, you know your way around a spreadsheet—so now dig into Excel 2003 and really put your data to work! This supremely organized reference packs hundreds of time-saving solutions, troubleshooting tips, and handy workarounds in concise, fast answer format. Work smarter with core functions such as using worksheets and charts, analyzing data,... |  |  Professional MFC With Visual C++ 5This book focuses on the use of the Microsoft Foundation Classes to develop software. Of course, 'software' is a very broad term - some readers are doubtless interested in writing low-level technical applications that might not even have a user interface, while others will be interested in coding form-oriented applications that do little more the... |  |  |
 Ajax on Rails Learn to build dynamic, interactive web applications using the two most important approaches to web development today: Ajax and the phenomenally efficient Ruby on Rails platform. This book teaches intermediate to advanced web developers how to use both Ajax and Rails to quickly build high-performance, scalable applications... |  |  HTML 4 Bible (with CD-ROM)If HTML 4 can do it, you can do it too... If the new edition of this comprehensive one-stop guide, author Bryan Pfaffenberger and Bill Karow offer step-by-step guidance on building state-of-the-art Web pages with the newest HTML release, 4.01. From an HTML "Quick Start" to expert advice on Cascading Style Sheets,... |  |  Data Mining Techniques: For Marketing, Sales, and Customer Relationship ManagementThe first edition of Data Mining Techniques for Marketing, Sales, and Customer Support appeared on book shelves in 1997. The book actually got its start in 1996 as Gordon and I were developing a 1-day data mining seminar for NationsBank (now Bank of America). Sue Osterfelt, a vice president at NationsBank and the author of a book on database... |
|