Software Safety and Security: Tools for Analysis and Verification - NATO Science for Peace and Security Series D: Information and Communication Security 33 (Hardback)
  • Software Safety and Security: Tools for Analysis and Verification - NATO Science for Peace and Security Series D: Information and Communication Security 33 (Hardback)
zoom

Software Safety and Security: Tools for Analysis and Verification - NATO Science for Peace and Security Series D: Information and Communication Security 33 (Hardback)

(editor), (editor), (editor)
£115.00
Hardback 400 Pages / Published: 01/05/2012
  • We can order this

Usually dispatched within 2 weeks

  • This item has been added to your basket
Recent decades have seen major advances in methods and tools for checking the safety and security of software systems. Automatic tools can now detect security flaws not only in programs of the order of a million lines of code, but also in high-level protocol descriptions. There has also been something of a breakthrough in the area of operating system verification. This book presents the lectures from the NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security; a summer school held at Bayrischzell, Germany, in 2011. This Advanced Study Institute was divided into three integrated modules: Foundations of Safety and Security, Applications of Safety Analysis and Security Analysis. Subjects covered include mechanized game-based proofs of security protocols, formal security proofs, model checking, using and building an automatic program verifier and a hands-on introduction to interactive proofs. Bringing together many leading international experts in the field, this NATO Advanced Study Institute once more proved invaluable in facilitating the connections which will influence the quality of future research and the potential to transfer research into practice. This book will be of interest to all those whose work depends on the safety and security of software systems.

Publisher: IOS Press
ISBN: 9781614990277
Number of pages: 400

You may also be interested in...

The Art of Unit Testing
Added to basket
Experiences of Test Automation
Added to basket
Advanced Software Testing
Added to basket
User Acceptance Testing
Added to basket
Software Testing
Added to basket
£39.99
Paperback
Testing in Scrum
Added to basket
£26.50
Paperback
The Cucumber for Java Book
Added to basket
Explore It!
Added to basket
How Google Tests Software
Added to basket
Expert Test Manager
Added to basket
£35.00
Paperback

Reviews

Please sign in to write a review

Your review has been submitted successfully.