

Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security
- Alaotsikko
- Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, 2010, Revised Selected Papers
- Toimittaja
- Gavin Lowe, Alessandro Armando
- ISBN
- 9783642160745
- Kieli
- englanti
- Julkaisupäivä
- 5.10.2010
- Kustantaja
- Springer Berlin Heidelberg
- Formaatti
- PDF - Adobe DRM
- Lue e-kirjoja täällä
- Lue e-kirja mobiililaitteella/tabletilla
- Lukulaite
- Tietokone