%0 Journal Article %1 journals/tdsc/PoturalskiPH13 %A Poturalski, Marcin %A Papadimitratos, Panos %A Hubaux, Jean-Pierre %D 2013 %J IEEE Trans. Dependable Secur. Comput. %K dblp %N 6 %P 355-367 %T Formal Analysis of Secure Neighbor Discovery in Wireless Networks. %U http://dblp.uni-trier.de/db/journals/tdsc/tdsc10.html#PoturalskiPH13 %V 10

@article{journals/tdsc/PoturalskiPH13, added-at = {2020-04-09T00:00:00.000+0200}, author = {Poturalski, Marcin and Papadimitratos, Panos and Hubaux, Jean-Pierre}, biburl = {https://www.bibsonomy.org/bibtex/29b1bd90589e9691e33433becf1298426/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/TDSC.2013.17}, interhash = {54a6be41b9b8fa6604ec781061fdb8d2}, intrahash = {9b1bd90589e9691e33433becf1298426}, journal = {IEEE Trans. Dependable Secur. Comput.}, keywords = {dblp}, number = 6, pages = {355-367}, timestamp = {2020-04-10T11:56:04.000+0200}, title = {Formal Analysis of Secure Neighbor Discovery in Wireless Networks.}, url = {http://dblp.uni-trier.de/db/journals/tdsc/tdsc10.html#PoturalskiPH13}, volume = 10, year = 2013 }