Formal Correctness of Security Protocols - Information Security and Cryptography - Giampaolo Bella - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540681342 - March 5, 2007
In case cover and title do not match, the title is correct

Giampaolo Bella
Formal Correctness of Security Protocols - Information Security and Cryptography

Price
Íkr 8,339
excl. VAT

Ordered from remote warehouse

Expected delivery Jul 9 - 23

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

Also available as:

Investigates proofs of correctness of realistic security protocols in a formal, intuitive setting. This title examines the protocols including Kerberos versions, smartcard protocols, non-repudiation protocols, and certified email protocols.

296 pages, 64 black & white illustrations, 3 black & white tables, biography

Media Books     Hardcover Book   (Book with hard spine and cover)
Released March 5, 2007
ISBN13 9783540681342
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 274
Dimensions 156 × 234 × 17 mm   ·   548 g
Language French  

Mere med samme udgiver

See all of Giampaolo Bella ( e.g. Book , Hardcover Book and Paperback Book )