Merkliste 
 1 Ergebnisse 
 
1

Formal Analysis of Secure Neighbor Discovery in Wireless Ne..:

Poturalski, Marcin ; Papadimitratos, Panos ; Hubaux, Jean-Pierre
IEEE Transactions on Dependable and Secure Computing.  10 (2013)  6 - p. 355-367 , 2013