搜索筛选:
搜索耗时3.2774秒,为你在为你在102,285,761篇论文里面共找到 2 篇相符的论文内容
类      型:
[学位论文] 作者:何卡特, 来源:浙江工业大学 年份:2018
[期刊论文] 作者:陈铁明,何卡特,江颉,, 来源:传感技术学报 年份:2013
针对Zhang等人提出的一种基于位置的无线传感网络安全方案,开展基于模型检测的形式化分析与改进研究。首先采用模型检测工具SPIN分析和验证邻居节点认证协议,发现节点移动后...
相关搜索: