跳到主要导航
跳到搜索
跳到主要内容
西北工业大学 国内
English
中文
国内
简介
研究单位
科研成果
按专业知识、名称或附属进行搜索
FVF-BIoT: a formal verification framework for blockchain-based IoT authentication
Jiaqi Yin
, Yuan Fei
软件学院
Yangtze River Delta Research Institute of NPU
Shanghai Jiao Tong University
科研成果
:
期刊稿件
›
文章
›
同行评审
综述
指纹
指纹
探究 'FVF-BIoT: a formal verification framework for blockchain-based IoT authentication' 的科研主题。它们共同构成独一无二的指纹。
分类
加权
按字母排序
Computer Science
Formal Verification
100%
Smart Contract
33%
Authentication Method
22%
authentication scheme
22%
Verification Process
11%
Security Properties
11%
Theorem Prover
11%