Foundations of Security Analysis and Design VI
Subtitle: FOSAD Tutorial Lectures
By: edited by Alessandro Aldini, Roberto Gorrieri
Contributors: Gorrieri, Roberto; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 6858
Publisher: Springer-Verlag GmbH Berlin Heidelberg; Springer
Published: 2011
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
Number of pages: 282
ISBN-13: 9783642230813; 9783642230820
Subjects: Logic design; Information Systems; Computer science; Computer networks; Data protection; Data encryption (Computer science)