Foundations and Applications of Security Analysis [Risorsa elettronica] : 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ò

• Record Nr.: UNINA990009261500403321
• Pubbl/distr/stampa: Berlin ; Heidelberg : Springer, 2009
• ISBN: 9783642034596
• Collana: Lecture Notes in Computer Science , 0302-9743 ; 5511
• Lingua di pubblicazione: Inglese
• Formato: Risorsa elettronica
• Livello bibliografico: Monografia