Foundations and Applications of Security Analysis : 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 /
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Libro |
| Lingua: | inglese |
| Pubblicazione: |
Berlín, Alemania :
Springer,
2009, c2009
|
| Serie: | (Lecture Notes in Computer Science)
|
| Accesso online: | Ver documento en línea |
| Tags: |
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Documenti analoghi: Foundations and Applications of Security Analysis :
- 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 /
- Foundations of Security Analysis and Design V : FOSAD 2008/2009 Tutorial Lectures /
- Foundations of Security Analysis and Design : Tutorial Lectures /
- Foundations of Security Analysis and Design : FOSAD 2006/2007 Turtorial Lectures /
- Foundations of Security Analysis and Design VI : FOSAD Tutorial Lectures /
- Secure Transaction Protocol Analysis : Models and Applications /