

Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security
- Undertitel
- Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, 2010, Revised Selected Papers
- Redaktör
- Gavin Lowe, Alessandro Armando
- ISBN
- 9783642160745
- Språk
- Engelska
- Utgivningsdatum
- 2010-10-05
- Tillgängliga elektroniska format
- PDF - Adobe DRM
- Läs e-boken här
- E-boksläsare i mobil/surfplatta
- Läsplatta
- Dator
