搜文献
搜索
文献求助
登录/注册
首页
生知快讯
技术天地
技术新突破
期刊应用实例
技术发展方向
文献视角
Biomarker研究
细胞生物学
基因组生物学
分子生物学
肿瘤免疫学
行业速报
行业新资讯
上下游动态
产业新趋势
文献园地
文献库
期刊库
文献重点解析
品牌库
全球科研基金查询
科研学者库
学术导航
首页
>
文献库
已选条件:
全部清空
研究领域:
疾病研究:
种属:
实验技术:
信号通路:
检测指标:
日期
影响因子
日期:
2020 年 — 2026 年
2020
2021
2022
2023
2024
2025
2026
影响因子:
–
筛选
Can Formal Security Verification Really Be Optional? Scrutinizing the Security of IMD Authentication Protocols
形式化安全验证真的可以可有可无吗?深入剖析IMD认证协议的安全性
期刊:
Sensors
影响因子:
3.5
doi:
10.3390/s21248383
Duguma, Daniel Gerbi; You, Ilsun; Gebremariam, Yonas Engida; Kim, Jiyoon
Drone Secure Communication Protocol for Future Sensitive Applications in Military Zone
面向未来军事领域敏感应用的无人机安全通信协议
期刊:
Sensors
影响因子:
3.5
doi:
10.3390/s21062057
Ko, Yongho; Kim, Jiyoon; Duguma, Daniel Gerbi; Astillo, Philip Virgil; You, Ilsun; Pau, Giovanni