ISBN 9783540681342,Formal Correctness of Security Protocols

Formal Correctness of Security Protocols

Rs3488 Rs5034 31% OFF

Availability: Available

Usually ships in: 2-3 business days

(Free Delivery)

We Accept
ISBN 9783540681342
Check delivery information
 
ISBN 9783540681342
Publisher

Ingram Publisher Services

Publication Year 2007
ISBN-13

ISBN 9783540681342

ISBN-10 3540681345
Binding

Hardback

Number of Pages 296 Pages
Subject

Network security

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.
Scroll