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).

E-book

Add to basket Remove from basket

Print / Email

Permalink

Disable Highlighting

Electronic resources

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

Search for related items by series

• Lecture Notes in Computer Science, 0302-9743 ; 6186
• Lecture Notes in Computer Science, 0302-9743 ; 6186