Formal Correctness of Security Protocols With 62 Figures and 4 Tables
by
 
Bella, Giampaolo. author.

Title
Formal Correctness of Security Protocols With 62 Figures and 4 Tables

Author
Bella, Giampaolo. author.

ISBN
9783540681366

Physical Description
XIX, 274 p. 62 illus. online resource.

Series
Information Security and Cryptography, Texts and Monographs,

Series Title
Information Security and Cryptography, Texts and Monographs, 1619-7100

Subject Term
Computer science.
 
Data protection.
 
Data structures (Computer science).
 
Artificial intelligence.
 
Telecommunication.

Added Corporate Author
SpringerLink (Online service)

Electronic Access
http://dx.doi.org/10.1007/978-3-540-68136-6


LibraryMaterial TypeItem BarcodeShelf Number[[missing key: search.ChildField.HOLDING]]Status
Online LibraryE-Book185368-2001ONLINEElektronik Kütüphane