Foundations of Security Analysis and Design III
Aldini, Alessandro.
Foundations of Security Analysis and Design III FOSAD 2004/2005 Tutorial Lectures / [electronic resource] : edited by Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005. - v.: digital - Lecture Notes in Computer Science, 3655 0302-9743 ; .
9783540319368
Computer science
Computer Communication Networks
Operating systems (Computers)
Data encryption (Computer science)
Logic design
Information Systems
Computer Science
Operating Systems
Data Encryption
Computer Communication Networks
Management of Computing and Information Systems
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
QA76.9.A25 / A43 2005
Foundations of Security Analysis and Design III FOSAD 2004/2005 Tutorial Lectures / [electronic resource] : edited by Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005. - v.: digital - Lecture Notes in Computer Science, 3655 0302-9743 ; .
9783540319368
Computer science
Computer Communication Networks
Operating systems (Computers)
Data encryption (Computer science)
Logic design
Information Systems
Computer Science
Operating Systems
Data Encryption
Computer Communication Networks
Management of Computing and Information Systems
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
QA76.9.A25 / A43 2005