Book
Formal Definition and Verification for Combined Random Fault and Random Probing Security
| العنوان: | Formal Definition and Verification for Combined Random Fault and Random Probing Security |
|---|---|
| المؤلفون: | Belaïd, Sonia, Feldtkeller, Jakob, Güneysu, Tim, Guinet, Anna, Richter-Brockmann, Jan, Rivain, Matthieu, Sasdrich, Pascal, Taleb, Abdul Rahman |
| المصدر: | Lecture Notes in Computer Science ; Advances in Cryptology – ASIACRYPT 2024 ; page 167-200 ; ISSN 0302-9743 1611-3349 ; ISBN 9789819609406 9789819609413 |
| بيانات النشر: | Springer Nature Singapore |
| سنة النشر: | 2024 |
| نوع الوثيقة: | book part |
| اللغة: | English |
| ردمك: | 978-981-9609-40-6 978-981-9609-41-3 981-9609-40-2 981-9609-41-0 |
| DOI: | 10.1007/978-981-96-0941-3_6 |
| الاتاحة: | https://doi.org/10.1007/978-981-96-0941-3_6 https://link.springer.com/content/pdf/10.1007/978-981-96-0941-3_6 |
| Rights: | https://www.springernature.com/gp/researchers/text-and-data-mining ; https://www.springernature.com/gp/researchers/text-and-data-mining ; https://www.springernature.com/gp/researchers/text-and-data-mining ; https://www.springernature.com/gp/researchers/text-and-data-mining |
| رقم الانضمام: | edsbas.7273884 |
| قاعدة البيانات: | BASE |
| ردمك: | 9789819609406 9789819609413 9819609402 9819609410 |
|---|---|
| DOI: | 10.1007/978-981-96-0941-3_6 |