Translated Title
Formal Analysis of Freshness in Wireless Sensor Networks
Translated Abstract
A kind of formal methods is introduced to analyze and verify freshness in wireless sensor networks,which is useful for analyzing and verifying security,improving capacity of security and privacy,and expanding application of wireless sensor networks.First,this paper analyzed the recent research progress of security goals of wireless sensor network,and discussed in depth the freshness of data which is lack of concern but important.Then,it analyzed the current freshness research progress,and found no one had analyzed the freshness by formal methods in wireless sensor networks.So it attempted to use the formal method Object-Z analyzing a key agreement protocol based Nonce mechanism,and proved the freshness of protocol.
Translated Keyword
formal methods
freshness
security features
wireless sensor networks
