The modelling and analysis of security protocols : the CSP approach
Gorde:
| Egile Nagusiak: | , |
|---|---|
| Formatua: | Livre papier |
| Hizkuntza: | Anglais |
| Argitaratua: |
Harlow ; New York :
Addison-Wesley
cop. 2001.
|
| Gaiak: | |
| Autres localisations: | Voir dans le Sudoc |
| Deskribapen fisikoa: | 1 volume (xiv, 300 pages) : ill. ; 24 cm. |
|---|---|
| Bibliografia: | Bibliogr. p. 285-291. Index. |
| ISBN: | 0201674718 |