Accès à distance ? S'identifier sur le proxy UCLouvain
Formal and computational analysis of cryptographic protocols based on task-PIOAs
Primary tabs
- Open access
- 198.90 K
| Document type | Communication à un colloque (Conference Paper) – Conférence invitée / Keynote |
|---|---|
| Access type | Accès libre |
| Publication date | 2006 |
| Language | Anglais |
| Conference | "2006 Workshop on Cryptography and Related Mathematics", Chuo University, Japan (du 01/08/2006 au 03/08/2006) |
| Host document | "2006 Workshop on Cryptography and Related Mathematics"- p. 151-158 (ISBN : 0-00-000000-0) |
| Publication status | Publié |
| Affiliations |
MIT
- T.J. Watson Center Radboud University of Nijmegen - MIT - CSAIL The College of William and Mary - UCL - FSA/ELEC - Département d'électricité Università di Verona - |
| Links |
| Bibliographic reference | Canetti, Ran ; Cheung, Ling ; Kaynar, Dilsun ; Liskov, Moses ; Lynch, Nancy ; et. al. Formal and computational analysis of cryptographic protocols based on task-PIOAs.2006 Workshop on Cryptography and Related Mathematics (Chuo University, Japan, du 01/08/2006 au 03/08/2006). In: 2006 Workshop on Cryptography and Related Mathematics, 2006, p. 151-158 |
|---|---|
| Permanent URL | http://hdl.handle.net/2078.1/92372 |