Optimizing ZigBee Security using Stochastic Model Checking.

Sun, 01 Jan 2012 00:00:00 +0100

Ender Yüksel, Hanne Riis Nielson, Flemming Nielson, Matthias Fruth, Marta Z. Kwiatkowska:
Optimizing ZigBee Security using Stochastic Model Checking. CoRR abs/1205.6675 (2012)