Foundations of Security Analysis and Design V
Subtitle: FOSAD 2007/2008/2009 Tutorial Lectures
By: edited by Alessandro Aldini, Gilles Barthe, Roberto Gorrieri
Contributors: Gorrieri, Roberto; Barthe, Gilles, 1967-; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 5705
Publisher: Springer Berlin Heidelberg
Published: 2009
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642038280; 9783642038297
Subjects: Logic design; Information Systems; Data encryption (Computer science); Computer networks; Data protection; Computer science