Skip to main navigation
Skip to search
Skip to main content
University of Limerick Home
Search content at University of Limerick
Home
Profiles
Research units
Research output
Prizes
Activities
Press/Media
Student theses
Formal verification of a key agreement protocol for wireless sensor networks
Thomas Newe
Department of Electronics & Computer Engineering
Research output
:
Contribution to conference
›
Paper
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Formal verification of a key agreement protocol for wireless sensor networks'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Computer Science
Formal Verification
100%
Wireless Sensor Network
100%
group key agreement
66%
Mutual Authentication
33%
Resource Constraint
33%
Wireless Sensor
33%
Sensor Node
33%
Security Properties
33%
Research Community
33%
public key
33%
Key Establishment
33%
Hybrid Protocol
33%
Forward Secrecy
33%