Validating Integrity for the Ephemerizer's Protocol with CL-Atse
Data and Resources
Additional Info
| Field | Value |
|---|---|
| Source | Formal to Practical Security : Papers Issued from the 2005-2008 French-Japanese Collaboration |
| Author | Arora, Charu, Turuani, Mathieu |
| Maintainer | CCSD |
| Last Updated | June 3, 2026, 10:00 (UTC) |
| Created | June 3, 2026, 10:00 (UTC) |
| Identifier | ISBN: 978-3-642-02002-5 |
| Language | en |
| contributor | Indian Institute of Technology Delhi (IIT Delhi) |
| creator | Arora, Charu |
| date | 2009-06-03T00:00:00 |
| harvest_object_id | 87851bc0-b93c-411d-bd8a-18693c264580 |
| harvest_source_id | 3374d638-d20b-4672-ba96-a23232d55657 |
| harvest_source_title | test moissonnage SELUNE |
| metadata_modified | 2026-05-13T00:00:00 |
| relation | info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-642-02002-5_2 |
| set_spec | type:COUV |