|
|
|
|
| LEADER |
00893nam a22002297a 4500 |
| 001 |
239888 |
| 008 |
030721s2001 xxe ||| |||| 00| 0 eng d |
| 009 |
PPN073554545 |
| 020 |
|
|
|a 0201674718
|
| 041 |
0 |
|
|a eng
|
| 084 |
|
|
|a D.4.6
|
| 084 |
|
|
|a K.6
|
| 100 |
1 |
|
|a Ryan, Peter,
|d 1957-
|
| 245 |
1 |
0 |
|a The modelling and analysis of security protocols :
|b the CSP approach
|c P.Y.A. Ryan and S.A. Schneider ; with M.H. Goldsmith, G. Lowe and A.W. Roscoe.
|
| 260 |
|
|
|a Harlow ;
|a New York :
|b Addison-Wesley,
|c cop. 2001.
|
| 300 |
|
|
|a 1 volume (xiv, 300 pages) :
|b ill. ;
|c 24 cm.
|
| 504 |
|
|
|a Bibliogr. p. 285-291. Index.
|
| 650 |
|
|
|a Ordinateurs
|x Accès
|x Contrôle
|
| 650 |
|
|
|a Systèmes informatiques
|x Mesures de sûreté
|
| 650 |
|
|
|a Cryptographie
|
| 700 |
1 |
|
|a Schneider, Steve,
|d 19..-
|4 aut
|
| 997 |
|
|
|0 239888
|1 Livre papier
|a Ressource papier
|b INSA
|c 0/Bourges/
|c 1/Bourges/INSA CVL/
|z Bourges, INSA CVL, 005.8 MOD
|
