Editions

Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security: Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28,

Current edition
Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security: Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, by

Lecture Notes in Computer Science

Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security: Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28,

184 pages

nonfiction computer science science challenging informative medium-paced
Other editions (2)
Expand filter menu Filter editions
Foundations of Security, Protocols, and Equational Reasoning: Essays Dedicated to Catherine A. Meadows by

Lecture Notes in Computer Science

Foundations of Security, Protocols, and Equational Reasoning: Essays Dedicated to Catherine A. Meadows

239 pages

nonfiction computer science science challenging informative medium-paced
Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Se by

Lecture Notes in Computer Science

Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Se

221 pages

nonfiction computer science science challenging informative medium-paced