Tools

LEADER 01772cam a2200481 a 4500

001 ocn124038165;

003 OCoLC;

005 20141212052210.0;

008 070504s2007 gw a b 000 0 eng c;

016 7 a| 98192851X2| DE-101;

020 a| 9783540681342 (hd.bd.);

020 a| 3540681345 (hd.bd.);

029 0 a| OHXb| har060149677;

029 1 a| YDXCPb| 2536043;

035 a| (Sirsi) o124038165;

035 a| (OCoLC)124038165;

042 a| pcc;

049 a| EREE;

050 4 a| TK5105.59b| .B45 2007;

072 7 a| QA2| lcco;

082 04 a| 005.82| 22;

100 1 a| Bella, Giampaolo.=| ^A1219515;

245 10 a| Formal correctness of security protocols /c| Giampaolo Bella.;

300 a| xviii, 274 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Information security and cryptography;

504 a| Includes bibliographical references (p. [265]-274).;

650 0 a| Computer networksx| Security measures.=| ^A388828;

650 6 a| Réseaux d'ordinateursx| Sécuritéx| Mesures.;

650 6 a| Chiffrement (Informatique);

830 0 a| Information security and cryptography.=| ^A526029;

994 a| C0b| ERE;

938 a| Otto Harrassowitzb| HARRn| har060149677;

938 a| Baker & Taylorb| BKTYc| 79.95d| 79.95i| 3540681345n| 0007088335s| active;

938 a| YBP Library Servicesb| YANKn| 2536043;

938 a| Baker and Taylorb| BTCPn| BK0007088335;

596 a| 1;

998 a| 2285956;

999 a| TK5105.59 .B45 2007w| LCc| 1i| 30372015438184d| 9/11/2018e| 4/22/2011f| 4/2/2013g| 4l| JGESm| JOYNERn| 4q| 1r| Ys| Yt| JGESBKu| 7/26/2010x| BOOKz| JSTACKSo| .STAFF. jmpl;

Formal correctness of security protocols / Giampaolo Bella.

Author/creator	Bella, Giampaolo
Format	Book
Publication Info	Berlin ; New York : Springer, ©2007.
Description	xviii, 274 pages : illustrations ; 24 cm.
Subjects	Computer networks--Security measures. Réseaux d'ordinateurs--Sécurité. --Mesures. Chiffrement (Informatique)

Series	Information security and cryptography Information security and cryptography. ^A526029
Bibliography note	Includes bibliographical references (p. [265]-274).
ISBN	9783540681342 (hd.bd.)
ISBN	3540681345 (hd.bd.)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	TK5105.59 .B45 2007	✔ Available	Place Hold

Formal correctness of security protocols / Giampaolo Bella.

Click here for more information about this title

Availability