ISBN 9783642038280 books & textbook
Foundations of Security Analysis and Design V: FOSAD 2008/2009 Tutorial Lectures (Lecture Notes in Computer Science, 5705)
Aldini, Alessandro Barthe, Gilles Gorrieri, Roberto
Springer /2009-08-17 Paperback / 347 Pages
isbn-10: 364203828X / isbn-13: 9783642038280
