Formal Security Analysis 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 Workshop on Views on Designing Complex Architectures (VODCA'04)
    PublisherElsevier
    Publication date2006
    Publication statusPublished - 2006
    Event2004 Workshop on Views on Designing Complex Architectures (VODCA'04) -
    Duration: 1 Jan 2004 → …

    Conference

    Conference2004 Workshop on Views on Designing Complex Architectures (VODCA'04)
    Period01/01/2004 → …
    SeriesElectronic Notes in Theoretical Computer Science
    Number142
    ISSN1571-0661

    Cite this