Modeling and analysis of LEAP, a key management protocol for wireless sensor networks. - Rakesh M. Verma; Bailey E. Basile (SECON, 2013)