Finally! The long awaited Bluetooth Mesh specification is out! The specification exists out of three parts:
The mesh network has two types of keys: at the network layer and at the application layer. Not having the first key type means that you can’t send anything into the mesh. The second key type can govern application specific control (like turning on/off lights) and is different for locks, bulbs, etc..
Separation of these two types of keys means that nodes can partake in the sending and receiving of encrypted messages because they are authenticated on a network level. They do not need to actually know the content of these messages to be an effective relay.
There is an entity that is talked about as if it is some centralized device, the provisioner. It is able to add unprovisioned devices to the mesh, at which point they are called nodes. It should be done by a “bearer”, in other words, people should walk around. There is a GATT-based bearer that can be used on a smartphone.
There is a sequence number of 24 bits to prevent replay attacks. This means that if a device emits a message every second it takes half a year to get to the same number. In the specification they state optimistically that emitting once every five seconds is a fairly high frequency for known use cases.
There is an interesting procedure around a so-called IV index which serves as an entropy renewal mechanism. As soon as
for example the above sequence number of 24 bits rotates, a node can initiate an IV index update procedure. There are
several attacks envisioned: (1) IV index increments larger than 42 should be ignored, (2) an IV update procedure should
not occur more often than once every 192 hours (8 days). That means reprovisioning is required when a node is offline
192*42/(24*7)=48 weeks. I’m curious what happens if a node initiates an IV update procedure much more often than
the prescribed once in 8 days.
Trash can attack
When a node is removed from the network, all remaining nodes should update their keys. It means all the network keys and application keys are updated. This is initiated by so-called secure network beacons: a particular type of message.
There are several other things that might be interesting to the developer.
“Friendship” is possible between neighbouring nodes to reduce the amount of time that needs to be listened.
There is a lot of “routing”. It is possible to use unicast addresses, group addresses, and broadcast addresses.
There is a notion of multiple elements per node. That means that the elements on a dual-socket power strip might be individually addressed.
The lower transport layer defines segments to be able to define data chunks that are larger than a single packet.
There is a heartbeat to monitor nodes on the network and discover how far nodes are apart from each other.
There is a publish-subscribe mechanism.
Encryption is using AES-CMAC and there is a network nonce, application nonce, and device nonce (and proxy nonce).
On a firmware update, a node must be reprovisioned if the number of elements on a node changes. Firmware updates are a glaring omission from the documents. One of the key features of nRF OpenMesh by Nordic is the ability of sending firmware updates through the mesh. It is absolutely horrible to suggest people to walk around their “smart homes” in case a firmware update has been issued. Curious if this is gonna be addressed next!
The people that worked on it and are explicitly mentioned in the documents are:
- Robin Heydon, Qualcomm (twitter)
- Jonathan Tanner, Qualcomm
- Victor Zhodzishsky, Broadcom, Cypress
- Wei Shen, Ericsson
- Christoffer Jerkeby, Ericsson
- Bogdan Alexandru, NXP, LM Technologies
- Martin Turon, Nest / Google
- Robert Hughes, Intel
- Marcel Holtmann, Intel
- Brian Gix, Intel
- Szymon Slupik, Silvair
- Piotr Winiarczyk, Seed Labs, Silvair
- Danilo Blasi, STMicroelectronics
- Yao Wang, IVT Wireless
- Rustam Kovyazin, Motorola
- Uday Agarwal, Cypress, Talentica
- Vasilii Aleksandrov, Motorola, Sreda Software Solutions
- Leon LC Ko, MediaTek
- Omkar Kulkarni, Cypress
- Elaine Mar, California Eastern Laboratories
- Gerard Harbers, Xicato
- Clive Feather, Samsung
I think it’s nice that they are mentioned and they deserve credit for their work! Thanks!
20 July 2017