Formal Correctness of Security Protocols

Salvato in:
Dettagli Bibliografici
Autore principale: Bella, Giampaolo (Autore)
Natura: Libro
Lingua:inglese
Pubblicazione: Berlin : Springer Verlag, 2007
Soggetti:
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!

MARC

LEADER 00000nam a22000003a 4500
001 stu165587
005 20150617225959.8
008 080620s2006----gw------------------eng-d
020 |a 978-3-540-68134-2 
040 |a STU  |b slo 
041 0 |a eng 
044 |a gw 
080 |a 004.056.5 
080 |a 519.72 
100 1 |a Bella, Giampaolo  |4 aut 
245 1 |a Formal Correctness of Security Protocols 
260 |a Berlin :  |b Springer Verlag,  |c 2007 
300 |a 274 s 
650 7 |a komunikačné protokoly  |2 stusub 
650 7 |a ochrana dát  |2 stusub 
650 7 |a zabezpečenie dát  |2 stusub 
996 |b 284EK87277  |c E*87277  |l EE22  |s P  |a 0  |w stu165587_0001