Abstract：
为了更好地分析和验证无线传感器网络的安全性，改善其安全和隐私问题，使其具有更广泛的应用领域，提出了一种形式化分析和验证无线传感器网络新鲜性的方法。首先分析了无线传感器网络安全目标的研究进展，深入探讨其中缺乏关注但非常重要的数据新鲜性问题。分析目前新鲜性的研究进展，发现目前还未有人使用形式化方法分析传感器网络中的新鲜性问题，因而尝试使用形式化方法Object-z分析了一种基于Nonce机制的密钥协商协议，并通过形式化逻辑推理的方式证明了协议的新鲜性。
Keyword：
Reprint 's Address：
Email：
Source ：
Year： 2012
Page： 1-6
Language： Chinese
Cited Count：
SCOPUS Cited Count：
ESI Highly Cited Papers on the List： 0 Unfold All
WanFang Cited Count： -1
Chinese Cited Count：
30 Days PV： 0
Affiliated Colleges：
