Search

You searched for: Auteur Abadi, Martin Remove constraint Auteur: Abadi, Martin
1 - 7 of 7
Number of results to display per page

Search Results

1. Formal Correctness of Security Protocols
thumbnail
Full text!
Author:
Bella, Giampaolo; Abadi, Martin; Anderson, Ross
Publisher:
Springer Berlin Heidelberg 2007
Format:
e-book
2. Concurrent Zero-Knowledge
thumbnail
Full text!
Author:
Rosen, Alon; Abadi, Martin; Goldreich, Oded; Anderson, Ross
Publisher:
Springer Berlin Heidelberg 2006
Format:
e-book
3. Introduction to Cryptography
thumbnail
Full text!
Author:
Delfs, Hans; Knebl, Helmut; Abadi, Martin; Anderson, Ross
Publisher:
Springer Berlin Heidelberg 2007
Format:
e-book
4. Sécurité informatique
thumbnail
Full text!
Author:
Martin Abadi
Publisher:
Collège de France 2011
Format:
e-book
5. Principles of Security and Trust
thumbnail
Full text!
Author:
Martín Abadi, Steve Kremer; Abadi, Martín; Kremer, Steve
Publisher:
Springer Berlin Heidelberg 2014
Format:
e-book
6. Trustworthy Global Computing
thumbnail
Full text!
Author:
Martín Abadi, Alberto Lluch Lafuente; Abadi, Martín; Lluch Lafuente, Alberto
Publisher:
Springer International Publishing 2014
Format:
e-book
7. CONCUR 2005 – Concurrency Theory
thumbnail
Full text!
Author:
Abadi, Martín; De Alfaro, Luca; Kanade, Takeo; Kittler, Josef
Publisher:
Springer Berlin / Heidelberg 2005
Format:
e-book