مؤتمر
Formal Modeling and Verification of the Security Mechanism in Smart Home Authentication
| العنوان: | Formal Modeling and Verification of the Security Mechanism in Smart Home Authentication |
|---|---|
| المؤلفون: | Wang, Luyu, Wang, Guoqing, Zhuang, Lei, Yang, Rui |
| المصدر: | 2023 3rd International Conference on Digital Society and Intelligent Systems (DSInS) Digital Society and Intelligent Systems (DSInS), 2023 3rd International Conference on. :36-40 Nov, 2023 |
| Relation: | 2023 3rd International Conference on Digital Society and Intelligent Systems (DSInS) |
| قاعدة البيانات: | IEEE Xplore Digital Library |
| ردمك: | 9798350331387 9798350331370 |
|---|---|
| DOI: | 10.1109/DSInS60115.2023.10455255 |