Aldini, Alessandro.
Foundations of Security Analysis and Design VI FOSAD Tutorial Lectures / [electronic resource] : edited by Alessandro Aldini, Roberto Gorrieri. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - digital. - Lecture Notes in Computer Science, 6858 0302-9743 ; . - Lecture Notes in Computer Science, 6858 .
9783642230820
10.1007/978-3-642-23082-0 doi
Computer science.
Computer Communication Networks.
Data protection.
Data encryption (Computer science).
Logic design.
Information Systems.
Computer Science.
Systems and Data Security.
Data Encryption.
Computer Communication Networks.
Management of Computing and Information Systems.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
QA76.9.A25
005.8
Foundations of Security Analysis and Design VI FOSAD Tutorial Lectures / [electronic resource] : edited by Alessandro Aldini, Roberto Gorrieri. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - digital. - Lecture Notes in Computer Science, 6858 0302-9743 ; . - Lecture Notes in Computer Science, 6858 .
9783642230820
10.1007/978-3-642-23082-0 doi
Computer science.
Computer Communication Networks.
Data protection.
Data encryption (Computer science).
Logic design.
Information Systems.
Computer Science.
Systems and Data Security.
Data Encryption.
Computer Communication Networks.
Management of Computing and Information Systems.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
QA76.9.A25
005.8