ISBN 9783540748090 books & textbook
Foundations of Security Analysis and Design: FOSAD 2006/2007 Turtorial Lectures (Lecture Notes in Computer Science, 4677)
Aldini, Alessandro Gorrieri, Roberto
Springer /2007-08-30 Paperback / 335 Pages
isbn-10: 3540748091 / isbn-13: 9783540748090
