bib.howest.be Zoekresultaten

U zocht naar: Auteur Abadi, Martin

1 - 7 van 7

1. Formal Correctness of Security Protocols

Auteur:: Bella, Giampaolo; Abadi, Martin; Anderson, Ross
Uitgever:: Springer Berlin Heidelberg 2007
Type:: e-book

2. Concurrent Zero-Knowledge

Auteur:: Rosen, Alon; Abadi, Martin; Goldreich, Oded; Anderson, Ross
Uitgever:: Springer Berlin Heidelberg 2006
Type:: e-book

3. Introduction to Cryptography

Auteur:: Delfs, Hans; Knebl, Helmut; Abadi, Martin; Anderson, Ross
Uitgever:: Springer Berlin Heidelberg 2007
Type:: e-book

4. Sécurité informatique

Auteur:: Martin Abadi
Uitgever:: Collège de France 2011
Type:: e-book

5. Principles of Security and Trust

Auteur:: MartÃn Abadi, Steve Kremer; Abadi, Martín; Kremer, Steve
Uitgever:: Springer Berlin Heidelberg 2014
Type:: e-book

6. Trustworthy Global Computing

Auteur:: MartÃn Abadi, Alberto Lluch Lafuente; Abadi, Martín; Lluch Lafuente, Alberto
Uitgever:: Springer International Publishing 2014
Type:: e-book

7. CONCUR 2005 – Concurrency Theory

Auteur:: Abadi, Martín; De Alfaro, Luca; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin / Heidelberg 2005
Type:: e-book