日期:
2020 年 — 2026 年
2020
2021
2022
2023
2024
2025
2026
影响因子:

Can Formal Security Verification Really Be Optional? Scrutinizing the Security of IMD Authentication Protocols

形式化安全验证真的可以可有可无吗?深入剖析IMD认证协议的安全性

Duguma, Daniel Gerbi; You, Ilsun; Gebremariam, Yonas Engida; Kim, Jiyoon

Drone Secure Communication Protocol for Future Sensitive Applications in Military Zone

面向未来军事领域敏感应用的无人机安全通信协议

Ko, Yongho; Kim, Jiyoon; Duguma, Daniel Gerbi; Astillo, Philip Virgil; You, Ilsun; Pau, Giovanni