Formal Security Analysis 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 Workshop on Views on Designing Complex Architectures (VODCA'04)
Publisher	Elsevier
Publication date	2006
Publication status	Published - 2006
Event	1st International Workshop on Views on Designing Complex Architectures - Bertinoro , Italy Duration: 11 Sept 2004 → 12 Sept 2004 Conference number: 1

Conference	1st International Workshop on Views on Designing Complex Architectures
Number	1
Country/Territory	Italy
City	Bertinoro
Period	11/09/2004 → 12/09/2004

Series	Electronic Notes in Theoretical Computer Science
Number	142
ISSN	1571-0661

OpenUrl availability

@inproceedings{a62e0d5a66d94db9a50bf18580633f7c,

title = "Formal Security Analysis for Ad-Hoc Networks",

author = "Sebastian Nanz and Chris Hankin",

year = "2006",

language = "English",

series = "Electronic Notes in Theoretical Computer Science",

publisher = "Elsevier",

number = "142",

booktitle = "Proceedings of the 2004 Workshop on Views on Designing Complex Architectures (VODCA'04)",

address = "United Kingdom",

note = "1st International Workshop on Views on Designing Complex Architectures , VODCA'04 ; Conference date: 11-09-2004 Through 12-09-2004",

}

TY - GEN

T1 - Formal Security Analysis for Ad-Hoc Networks

AU - Nanz, Sebastian

AU - Hankin, Chris

N1 - Conference code: 1

PY - 2006

Y1 - 2006

M3 - Article in proceedings

T3 - Electronic Notes in Theoretical Computer Science

BT - Proceedings of the 2004 Workshop on Views on Designing Complex Architectures (VODCA'04)

PB - Elsevier

T2 - 1st International Workshop on Views on Designing Complex Architectures

Y2 - 11 September 2004 through 12 September 2004

ER -