Search:

Type:

Format:

Library:

Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers Cover Image

E-book

E-book

Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security [electronic resource] : Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers / edited by Alessandro Armando, Gavin Lowe.

Armando, Alessandro. (editor.). Lowe, Gavin. (editor.). SpringerLink (Online service) (Added Author).

Record details

ISBN: 9783642160745
Physical Description: IX, 185p. 39 illus. online resource.
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Search for related items by subject

Subject:

Computer science.
Computer Communication Networks.
Software engineering.
Data encryption (Computer science).
Computer software.
Computer Science.
Data Encryption.
Computer Communication Networks.
Computers and Society.
Algorithm Analysis and Problem Complexity.
Software Engineering.
Programming Languages, Compilers, Interpreters.

Search for related items by series

Add to basket Print Email Permalink Disable Highlighting

Electronic resources

► Awards, Reviews, & Suggested Reads

► Shelf Browser

► MARC Record