Formal correctness of security protocols /
| Κύριος συγγραφέας: | Bella, Giampaolo. |
|---|---|
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Στοιχεία έκδοσης: |
Berlin :
Springer,
2007.
|
| Σειρά: |
Information security and cryptography.
|
| Ταξινομικός αριθμός: |
005.8 BEL |
| Θέματα: | |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
| LEADER | 00802nam a2200217 a 4500 | ||
|---|---|---|---|
| 001 | 1/35412 | ||
| 008 | 080910s2007 gw 00110 eng d | ||
| 020 | |a 9783540681342 | ||
| 035 | |l 37926 | ||
| 040 | |a DLC |b GR-PeUP | ||
| 082 | 0 | 0 | |a 005.8 BEL |
| 100 | 1 | |a Bella, Giampaolo. | |
| 245 | 1 | 0 | |a Formal correctness of security protocols / |c Giampaolo Bella. |
| 260 | |a Berlin : |b Springer, |c 2007. | ||
| 300 | |a xviii, 274 σ. ; |c 24 εκ. | ||
| 490 | 1 | |a Information security and cryptography ; | |
| 504 | |a Περιέχει βιβλιογραφικές αναφορές. | ||
| 650 | 4 | |a Computer networks |x Security measures. | |
| 830 | |a Information security and cryptography. | ||
| 852 | |a INST |b UNIPILB |c MAIN |e 20080917 |h 005.8 BEL |p 00156280 |q 00156280 |t LOAN |y 0 |4 1 | ||
| 856 | 4 | |d /webopac/covers/02/37926_9783540681342.jpg | |