| 000 | 00389nam a22001577a 4500 | ||
|---|---|---|---|
| 003 | AUCL | ||
| 005 | 20231011122557.0 | ||
| 008 | 200730b ||||| |||| 00| 0 eng d | ||
| 040 | _cAUCL | ||
| 050 |
_a005.8 _bBEL-F |
||
| 082 |
_a005.8 _bBEL-F |
||
| 100 | _aBella Giampaolo | ||
| 245 | _aFormal Correctness of Security Protocols | ||
| 260 |
_aHeidelberg _bSpringer _c2007 |
||
| 942 |
_2ddc _cBK |
||
| 999 |
_c25440 _d25440 |
||