Lecture Notes in Computer Science: 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

Degano, Pierpaolo; Viganò, Luca

Details

Published by: Springer

Publication Date: 2009-09-03

Format: Paperback

ISBN-13: 9783642034589

DOI: 10.1007/978-3-642-03459-6

Dimensions: 235cm x155cm

Pages: 223