Name: Formal Models and Techniques for Analyzing Security Protocols
Price: 774.95 DKK
Availability: InStock
Author: Veronique Cortier
ISBN: 9781601989024

Formal Models and Techniques for Analyzing Security Protocols af Veronique Cortier

Du sparer 0% ift. normalprisen Spar 0%

Paperback
8-11 hverdage
774,95 kr.

Bag om Formal Models and Techniques for Analyzing Security Protocols

Provides the reader with a tutorial on some modern techniques to model and automatically analyse security protocols. Given the large body of work in this area, it does not aim to be exhaustive so the focus is on some selected methods and results.

Vis mere

Sprog:
Engelsk

ISBN:
9781601989024

Forlag:
now publishers Inc

Indbinding:
Paperback

Sideantal:
134

Udgivet:
13. november 2014

Størrelse:
156x234x7 mm.

Vægt:
200 g.

Leveringstid: 8-11 hverdage.
Forventet levering: 30. november 2024

Normalpris

BLACK NOVEMBER
774,95 kr. + Fragt
~~774,95 kr.~~

Medlemspris

724,95 kr.

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Bag om Veronique Cortier

Vis alle bøger af Veronique Cortier

Beskrivelse af Formal Models and Techniques for Analyzing Security Protocols

Provides the reader with a tutorial on some modern techniques to model and automatically analyse security protocols. Given the large body of work in this area, it does not aim to be exhaustive so the focus is on some selected methods and results.

Brugerbedømmelser af Formal Models and Techniques for Analyzing Security Protocols

Andre købte også..

Find lignende bøger

Bogen Formal Models and Techniques for Analyzing Security Protocols findes i følgende kategorier:

Business og læring > Computer og IT

Formal Models and Techniques for Analyzing Security Protocols - Veronique Cortier - Bog

Bag om Veronique Cortier

Beskrivelse af Formal Models and Techniques for Analyzing Security Protocols

Brugerbedømmelser af Formal Models and Techniques for Analyzing Security Protocols

Gør som tusindvis af andre bogelskere