Formal modelling and analysis of routing protocol security in wireless sensor networks

Kashif Saghar; William Henderson; David Kendall

Formal modelling and analysis of routing protocol security in wireless sensor networks

Kashif Saghar, William Henderson, David Kendall

Research output: Contribution to conference › Paper › peer-review

Original language	English
Publication status	Published - Jun 2009
Event	10th Annual Postgraduate Symposium on the Convergence of Telecommunications, Networking and Broadcasting (PGNET 09) - Duration: 1 Jun 2009 → …

Conference

Conference	10th Annual Postgraduate Symposium on the Convergence of Telecommunications, Networking and Broadcasting (PGNET 09)
Period	1/06/09 → …

Cite this

@conference{031bcee4a850484e82feabe4ccb51a64,

title = "Formal modelling and analysis of routing protocol security in wireless sensor networks",

author = "Kashif Saghar and William Henderson and David Kendall",

year = "2009",

month = jun,

language = "English",

note = "10th Annual Postgraduate Symposium on the Convergence of Telecommunications, Networking and Broadcasting (PGNET 09) ; Conference date: 01-06-2009",

}