| dc.description.abstract | IPv6 over Low power Wireless Personal Area Network (6LoWPAN) is a concept that enables an Internet Protocol (IP) connection over networks that use the Institute of Electrical and Electronics Engineers (IEEE) 802.15.4 standard and has a focus on low-power devices with limited computational power. This has made 6LoWPAN an exciting technology for future device-to-device communications and the Internet of Things.
This thesis presents, to the author s knowledge, the first formal security analysis of APKES, AKES, and SAKES, which are proposed protocols for establishing keys in IEEE 802.15.4 networks that utilize the 6LoWPAN. APKES and AKES were proven to have none or few issues that were discovered by the formal security analysis, and may, therefore, be possible schemes for future key establishment in 6LoWPAN. Multiple weaknesses were discovered in SAKES, where this thesis has aimed to improve the protocol by implementing necessary measures and validate these improvements using Scyther. | |
