无线传感器网络新鲜性的形式化分析
为了更好地分析和验证无线传感器网络的安全性，改善其安全和隐私问题，使其具有更广泛的应用领域，提出了一种形式化分析和验证无线传感器网络新鲜性的方法。首先分析了无线传感器网络安全目标的研究进展，深入探讨其中缺乏关注但非常重要的数据新鲜性问题。分析目前新鲜性的研究进展，发现目前还未有人使用形式化方法分析传感器网络中的新鲜性问题，因而尝试使用形式化方法Object-z分析了一种基于Nonce机制的密钥协商协议，并通过形式化逻辑推理的方式证明了协议的新鲜性。
无线传感器网络 安全特性 新鲜性 形式化方法
朱伟龙 陈传峰 许家胜
福州大学 物理与信息工程学院, 福州市 中国 350002
国内会议
长沙
中文
1-6
2012-11-01（万方平台首次上网日期，不代表论文的发表时间）