Aldini, Alessandro.
Foundations of Security Analysis and Design V FOSAD 2007/2008/2009 Tutorial Lectures / [electronic resource] : edited by Alessandro Aldini, Gilles Barthe, Roberto Gorrieri. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - digital. - Lecture Notes in Computer Science, 5705 0302-9743 ; . - Lecture Notes in Computer Science, 5705 .
9783642038297
10.1007/978-3-642-03829-7 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 V FOSAD 2007/2008/2009 Tutorial Lectures / [electronic resource] : edited by Alessandro Aldini, Gilles Barthe, Roberto Gorrieri. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - digital. - Lecture Notes in Computer Science, 5705 0302-9743 ; . - Lecture Notes in Computer Science, 5705 .
9783642038297
10.1007/978-3-642-03829-7 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