مؤتمر
Mechanised Models and Proofs for Distance-Bounding
| العنوان: | Mechanised Models and Proofs for Distance-Bounding |
|---|---|
| المؤلفون: | Boureanu, Ioana, Dragan, Constantin Catalin, Dupressoir, Francois, Gerault, David, Lafourcade, Pascal |
| المصدر: | 2021 IEEE 34th Computer Security Foundations Symposium (CSF) CSF Computer Security Foundations Symposium (CSF), 2021 IEEE 34th. :1-16 Jun, 2021 |
| Relation: | 2021 IEEE 34th Computer Security Foundations Symposium (CSF) |
| قاعدة البيانات: | IEEE Xplore Digital Library |
Full Text Finder | ردمك: | 9781728176079 |
|---|---|
| تدمد: | 23748303 |
| DOI: | 10.1109/CSF51468.2021.00049 |