%0 Journal Article %1 journals/tcs/NanzH06 %A Nanz, Sebastian %A Hankin, Chris %D 2006 %J Theor. Comput. Sci. %K %N 1-2 %P 203-227 %T A framework for security analysis of mobile wireless networks. %U http://dblp.uni-trier.de/db/journals/tcs/tcs367.html#NanzH06 %V 367

@article{journals/tcs/NanzH06, added-at = {2023-12-12T19:14:13.000+0100}, author = {Nanz, Sebastian and Hankin, Chris}, biburl = {https://www.bibsonomy.org/bibtex/20b76e2b1cd83ff571a3090c483287528/admin}, date = {2006-11-21}, ee = {http://dx.doi.org/10.1016/j.tcs.2006.08.036}, interhash = {1db7329c9acac6c6c643895695da5b9e}, intrahash = {0b76e2b1cd83ff571a3090c483287528}, journal = {Theor. Comput. Sci.}, keywords = {}, number = {1-2}, pages = {203-227}, timestamp = {2023-12-12T19:14:13.000+0100}, title = {A framework for security analysis of mobile wireless networks.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs367.html#NanzH06}, volume = 367, year = 2006 }