BibTex format @inproceedings{Nanz:2004,author = {Nanz, S and Hankin, C},title = {Formal security analysis for ad-hoc networks},year = {2004}} Download
RIS format (EndNote, RefMan) TY - CPAPERAU - Nanz,SAU - Hankin,CPY - 2004///SN - 1571-0661TI - Formal security analysis for ad-hoc networksER - Download