Static Analysis of Routing Protocols for Ad-Hoc Networks

Sebastian Nanz, Chris Hankin

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Original languageEnglish
    Title of host publicationProceedings of the 2004 ACM SIGPLAN and IFIP WG 1.7 Workshop on Issues in the Theory of Security (WITS'04)
    Publication date2004
    Publication statusPublished - 2004
    Event2004 ACM SIGPLAN and IFIP WG 1.7 Workshop on Issues in the Theory of Security (WITS'04) -
    Duration: 1 Jan 2004 → …

    Conference

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

    Cite this

    Nanz, S., & Hankin, C. (2004). Static Analysis of Routing Protocols for Ad-Hoc Networks. In Proceedings of the 2004 ACM SIGPLAN and IFIP WG 1.7 Workshop on Issues in the Theory of Security (WITS'04)