Formal Verification of Improved Numeric Comparison Protocol for Secure Simple Paring in Bluetooth Using ProVerif
Formal Verification of Improved Numeric Comparison Protocol for Secure Simple Paring in Bluetooth Using ProVerif
复制标题
使用 ProVerif 对蓝牙中安全简单配对的改进数字比较协议进行形式验证
DOI：
--
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
Toshinobu Kaneko
中科院分区：
文献类型：
--
作者：
Kenichi Arai;Toshinobu Kaneko
