Formal Correctness of Security Protocols (Hardback)

Formal Correctness of Security Protocols af Giampaolo Bella, ISBN 9783540681342

Se stort billede

Forfatter: Giampaolo Bella

(ingen boganmeldelser)

Jeg har læst den
Jeg ejer den

Vælg antal:

Læg i kurv

Tip en ven

Link til denne side

Leveringsgaranti - bøger til tiden

Ubegrænset returret

Fri fragt, ved køb over kr. 500,-

Salgsbetingelser

Normalpris:	~~DKK 669,95~~
Din pris:	kr. 497,44
Du sparer:	DKK 172,51 (25,75%)
Leveringstid:	5-10 hverdage
Leveringspris:	kr 19,00 Gratis levering ved køb over kr 500 - Læs mere

Serie:	Information Security and Cryptography
Sprog:	Engelsk
	Se produktdetaljer (sideantal, udgivelsesdato, udgave, ISBN m.v.)

Alt om bogen:

Beskrivelse Anmeldelser

Andre udgaver	Pris
Formal Correctness of Security Protocols (Paperback, 1st ed. Softcover of orig. ed. 2007. udgave)	DKK 497,44

Andre bøger, der måske vil interessere dig:

Don't Make Me Think

af: Steve Krug

DKK 227,16

Agile Project Management With Scrum

af: Ken Schwaber

DKK 227,10

Designing Interactive Systems

af: Susan Turner, David Benyon & Phil Turner

DKK 410,08

Praktisk it-projektledelse

af: Stephen Biering Sørensen

DKK 498,00

Information Architecture for the World Wide Web

af: Peter Morville & Louis Rosenfeld

DKK 220,78

Microsoft Sharepoint 2007 for Dummies

af: Vanessa L Williams

DKK 141,92

Agile Software Development With Scrum

af: Ken Schwaber

DKK 419,95

Head First Html With CSS & XHTML

af: Elisabeth Freeman, Bert Bates & Eric Freeman

DKK 220,78

Excel 2007 Bible

af: John Walkenbach

DKK 227,10

Microsoft SharePoint 2010 for Dummies

af: Vanessa L Williams

DKK 170,31

Introduction to Algorithms

af: Charles E Leiserson, Clifford Stein, Ronald L Rivest & Thomas H Cormen

DKK 403,38

Code Complete

af: Steven C Mcconnell

DKK 283,89

Applying UML and Patterns

af: Craig Larman

DKK 314,98

Beskrivelser af Formal Correctness of Security Protocols

Forlagets beskrivelse: 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. black & white illustrations
Bibliotekernes beskrivelse: The author investigates proofs of correctness of realistic security protocols in a formal, intuitive setting. The protocols examined include Kerberos versions, smartcard protocols, non-repudiation protocols, and certified email protocols. The method of analysis turns out to be both powerful and flexible. This research advances significant extensions to the method of analysis, while the findings on the protocols analysed are novel and illuminating.