Conference Publication Details

Mandatory Fields

Authors

Li, Y; Newe, T

Conference Title

2008 IEEE SENSORS APPLICATIONS SYMPOSIUM

Title of Paper

Key exchange protocol for Wireless Sensor Network: Formal verification using CSN modal logic

Year

2008

Month

Status

Published

Peer Reviewed

0

Times Cited

()

Optional Fields

Search Keyword

authentication formal verification modal logic wireless networks

Editors

Start Page

193

End Page

198

Location

Start Date

End Date

Abstract

Funded By

URL

DOI Link

Grant Details

Funding Body

Grant Details