Static Analysis of Routing Protocols for Ad-Hoc Networks

Sebastian Nanz, Chris Hankin

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	2004 ACM SIGPLAN and IFIP WG 1.7 Workshop on Issues in the Theory of Security (WITS'04) - Duration: 1 Jan 2004 → …

Conference	2004 ACM SIGPLAN and IFIP WG 1.7 Workshop on Issues in the Theory of Security (WITS'04)
Period	01/01/2004 → …

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 = "2004 ACM SIGPLAN and IFIP WG 1.7 Workshop on Issues in the Theory of Security (WITS'04) ; Conference date: 01-01-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 - 2004 ACM SIGPLAN and IFIP WG 1.7 Workshop on Issues in the Theory of Security (WITS'04)

Y2 - 1 January 2004

ER -