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

Formal Correctness of Security Protocols - Information Security and Cryptography

Giampaolo Bella

Price
A$ 101.49

Ordered from remote warehouse

Expected delivery Dec 13 - 26
Christmas presents can be returned until 31 January

Our customers say:

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

Also available as:

Formal Correctness of Security Protocols - Information Security and Cryptography

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  

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