Formal Models and Techniques for Analyzing Security Protocols: A Tutorial 1
bokomslag Formal Models and Techniques for Analyzing Security Protocols: A Tutorial
Data & IT

Formal Models and Techniques for Analyzing Security Protocols: A Tutorial

Véronique Cortier • Steve Kremer

Häftad

1369:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 5-10 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 134 sidor
  • 2014
  • Författare: Véronique Cortier, Steve Kremer
  • Format: Häftad
  • ISBN: 9781601989024
  • Språk: Engelska
  • Antal sidor: 134
  • Utgivningsdatum: 2014-11-14
  • Förlag: Now Publishers

Du kanske gillar

  1. bokomslag Principles of Security and Trust

    Principles of Security and Trust

    Martín Abadi, Steve Kremer, MartínKremer Abadi Steve

    Pocket

    739:-
  2. bokomslag Formal to Practical Security

    Formal to Practical Security

    Véronique Cortier, Claude Kirchner, Mitsuhiro Okada, Hideki Sakurada, V Ronique Cortier

    Pocket

    759:-
  3. bokomslag D'une Rive À L'autre Du Sahara

    D'une Rive À L'autre Du Sahara

    Maurice Adrien Cortier

    Pocket

    469:-
  4. bokomslag D'une Rive À L'autre Du Sahara

    D'une Rive À L'autre Du Sahara

    Maurice Adrien Cortier

    Klotband

    619:-
  5. bokomslag Reconnaissance Ouallen-Achourât, Route d'In-Salah À Tombouctou

    Reconnaissance Ouallen-Achourât, Rout...

    M Cortier, M Cortier, Cortier-M

    Pocket

    179:-
  6. bokomslag Svensk Lag 2025

    Svensk Lag 2025

    Klotband

    1339:-
  7. bokomslag Den som följer en stjärna vänder inte om

    Den som följer en stjärna vänder inte om

    Malin Haawind

    Pocket

    79:- (125:-)
  8. bokomslag I Don't Need an Acting Class

    I Don't Need an Acting Class

    Milton Justice

    319:-
  9. bokomslag Harry Potter och halvblodsprinsen

    Harry Potter och halvblodsprinsen

    J K Rowling

    Inbunden

    269:- (329:-)
  10. Anteckningsbok A5 linjerad soft brun

    Anteckningsbok A5 linjerad soft brun

    Anteckningsbok, Kollektion Stora A

    199:-

Andra av samma författare

  1. bokomslag Electronic Voting

    Electronic Voting

    Robert Krimmer, Melanie Volkamer, Véronique Cortier, Rajeev Goré, Manik Hapsara

    Pocket

    739:-
  2. bokomslag Formal to Practical Security

    Formal to Practical Security

    Véronique Cortier, Claude Kirchner, Mitsuhiro Okada, Hideki Sakurada, V Ronique Cortier

    Pocket

    759:-
  3. bokomslag Principles of Security and Trust

    Principles of Security and Trust

    Martín Abadi, Steve Kremer, MartínKremer Abadi Steve

    Pocket

    739:-