A semantic analysis of key management protocols for wireless sensor networks
Science of Computer Programming（2014）
摘要
Gorrieri and Martinelli's timed Generalized Non-Deducibility on Compositions (tGNDC) schema is a well-known general framework for the formal verification of security protocols in a concurrent scenario. We generalise the tGNDC schema to verify wireless network security protocols. Our generalisation relies on a simple timed broadcasting process calculus whose operational semantics is given in terms of a labelled transition system which is used to derive a standard simulation theory. We apply our tGNDC framework to perform a security analysis of three well-known key management protocols for wireless sensor networks: @mTESLA, LEAP+ and LiSP.
更多查看译文
关键词
tgndc schema,tgndc framework,semantic analysis,wireless network security protocol,generalized non-deducibility,wireless sensor network,security analysis,concurrent scenario,well-known general framework,security protocol,well-known key management protocol,operational semantics,wireless network,secure computation,process calculus
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要