Search:

Type:

Format:

Library:

Formal Correctness of Security Protocols With 62 Figures and 4 Tables Cover Image

E-book

E-book

Formal Correctness of Security Protocols [electronic resource] : With 62 Figures and 4 Tables / by Giampaolo Bella.

Bella, Giampaolo. (author.). SpringerLink (Online service) (Added Author).

Record details

ISBN: 9783540681366
Physical Description: XIX, 274 p. 62 illus. online resource.
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Search for related items by subject

Subject:

Computer science.
Data protection.
Data structures (Computer science).
Artificial intelligence.
Telecommunication.
Computer Science.
Mathematical Logic and Formal Languages.
Data Structures, Cryptology and Information Theory.
Systems and Data Security.
Artificial Intelligence (incl. Robotics).
Communications Engineering, Networks.

Search for related items by series

Add to basket Print Email Permalink Disable Highlighting

Electronic resources

► Awards, Reviews, & Suggested Reads

▼ Additional Content

No Content Available

► Shelf Browser

► MARC Record