black & white illustrations...
Se mere om bogen
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 p...
Se mere om bogen