Degano, Pierpaolo.
Foundations and Applications of Security Analysis Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers / [electronic resource] : edited by Pierpaolo Degano, Luca Viganò. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - digital. - Lecture Notes in Computer Science, 5511 0302-9743 ; . - Lecture Notes in Computer Science, 5511 .
9783642034596
10.1007/978-3-642-03459-6 doi
Computer science.
Computer network architectures.
Computer Communication Networks.
Data structures (Computer science).
Data encryption (Computer science).
Coding theory.
Computer software.
Computer Science.
Data Encryption.
Data Structures, Cryptology and Information Theory.
Coding and Information Theory.
Computer Communication Networks.
Algorithm Analysis and Problem Complexity.
Computer Systems Organization and Communication Networks.
QA76.9.A25
005.82
Foundations and Applications of Security Analysis Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers / [electronic resource] : edited by Pierpaolo Degano, Luca Viganò. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - digital. - Lecture Notes in Computer Science, 5511 0302-9743 ; . - Lecture Notes in Computer Science, 5511 .
9783642034596
10.1007/978-3-642-03459-6 doi
Computer science.
Computer network architectures.
Computer Communication Networks.
Data structures (Computer science).
Data encryption (Computer science).
Coding theory.
Computer software.
Computer Science.
Data Encryption.
Data Structures, Cryptology and Information Theory.
Coding and Information Theory.
Computer Communication Networks.
Algorithm Analysis and Problem Complexity.
Computer Systems Organization and Communication Networks.
QA76.9.A25
005.82