Static Analysis of Routing Protocols for Ad-Hoc Networks

Sebastian Nanz; Chris Hankin

Static Analysis of Routing Protocols for Ad-Hoc Networks

Sebastian Nanz
, Chris Hankin

Imperial College London

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	Proceedings of the 2004 ACM SIGPLAN and IFIP WG 1.7 Workshop on Issues in the Theory of Security (WITS'04)
Publication date	2004
Publication status	Published - 2004
Event	Fourth IFIP WG 1.7, ACM SIGPLAN and GI FoMSESS Workshop on Issues in the Theory of Security - Barcelona, Spain Duration: 3 Apr 2004 → 4 Apr 2004

Workshop

Workshop	Fourth IFIP WG 1.7, ACM SIGPLAN and GI FoMSESS Workshop on Issues in the Theory of Security
Country/Territory	Spain
City	Barcelona
Period	03/04/2004 → 04/04/2004

OpenUrl availability

Check availability in DTU Findit

Cite this

@inproceedings{ffd188e7daa9421f9c05b5e832fe9b4b,

title = "Static Analysis of Routing Protocols for Ad-Hoc Networks",

author = "Sebastian Nanz and Chris Hankin",

year = "2004",

language = "English",

booktitle = "Proceedings of the 2004 ACM SIGPLAN and IFIP WG 1.7 Workshop on Issues in the Theory of Security (WITS'04)",

note = "Fourth IFIP WG 1.7, ACM SIGPLAN and GI FoMSESS Workshop on Issues in the Theory of Security, WITS'04 ; Conference date: 03-04-2004 Through 04-04-2004",

}

TY - GEN

T1 - Static Analysis of Routing Protocols for Ad-Hoc Networks

AU - Nanz, Sebastian

AU - Hankin, Chris

PY - 2004

Y1 - 2004

M3 - Article in proceedings

BT - Proceedings of the 2004 ACM SIGPLAN and IFIP WG 1.7 Workshop on Issues in the Theory of Security (WITS'04)

T2 - Fourth IFIP WG 1.7, ACM SIGPLAN and GI FoMSESS Workshop on Issues in the Theory of Security

Y2 - 3 April 2004 through 4 April 2004

ER -