Search:

Type:

Format:

Library:

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 Cover Image

E-book

E-book

Foundations and Applications of Security Analysis [electronic resource] : 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 / edited by Pierpaolo Degano, Luca Viganò.

Degano, Pierpaolo. (editor.). Viganò, Luca. (editor.). SpringerLink (Online service) (Added Author).

Record details

ISBN: 9783642034596
Physical Description: online resource.
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Search for related items by subject

Subject:

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.

Search for related items by series

Add to basket Print Email Permalink Disable Highlighting

Electronic resources

► Awards, Reviews, & Suggested Reads

► Shelf Browser

► MARC Record