遇见数据集

Blockchain Assisted Signature and Certificate Based Protocol for Efficient Data.docx

收藏
Figshare2024-10-09 更新2026-04-08 收录
官方服务:

资源简介:

The formal verification using Real-Or-Random (ROR) model shows that the derived session keys are secure. In addition, semantic security analysis shows that it is robust against typical smart grid attacks such as replays, forgery, privileged insider, side-channeling and impersonations.

提供机构:
Al Sibahee, Mustafa
创建时间:
2024-10-09
二维码
社区交流群
二维码
科研交流群
商业服务