4 citations · 9 across the 3 of their papers we have counts for
3 papers
cs.CR2012★ 1 cited
Analysing ZigBee Key Establishment Protocols
Ender Yüksel
In this report, we present our approach for protocol analysis together with a real example where we find an important flow in a contemporary wireless sensor network security protoc…
cs.CR2012★ 4 cited
Optimizing ZigBee Security using Stochastic Model Checking
Ender Yüksel, Hanne Riis Nielson, Flemming Nielson +2
ZigBee is a fairly new but promising wireless sensor network standard that offers the advantages of simple and low resource communication. Nevertheless, security is of great concer…
cs.NI2012★ 4 cited
Modelling Chinese Smart Grid: A Stochastic Model Checking Case Study
Ender Yüksel, Hanne Riis Nielson, Flemming Nielson +2
Cyber-physical systems integrate information and communication technology functions to the physical elements of a system for monitoring and controlling purposes. The conversion of…