llsec: Noncompromise-resilient 802.15.4 security

core/net/linkaddr.h

@@ -64,8 +64,15 @@
 
 typedef union {
   unsigned char u8[LINKADDR_SIZE];
+#if LINKADDR_SIZE == 2
+  uint16_t u16;
+#endif /* LINKADDR_SIZE == 2 */
 } linkaddr_t;
 
+typedef union {
+  uint8_t u8[8];
+  uint16_t u16[4];
+} linkaddr_extended_t;
 
 /**
  * \brief      Copy a Rime address

core/net/llsec/noncoresec/noncoresec.c

@@ -0,0 +1,212 @@
+/**
+ * \addtogroup noncoresec
+ * @{
+ */
+
+/*
+ * Copyright (c) 2014, Hasso-Plattner-Institut.
+ * All rights reserved.
+ *
+ * Redistribution and use in source and binary forms, with or without
+ * modification, are permitted provided that the following conditions
+ * are met:
+ * 1. Redistributions of source code must retain the above copyright
+ *    notice, this list of conditions and the following disclaimer.
+ * 2. Redistributions in binary form must reproduce the above copyright
+ *    notice, this list of conditions and the following disclaimer in the
+ *    documentation and/or other materials provided with the distribution.
+ * 3. Neither the name of the Institute nor the names of its contributors
+ *    may be used to endorse or promote products derived from this software
+ *    without specific prior written permission.
+ *
+ * THIS SOFTWARE IS PROVIDED BY THE INSTITUTE AND CONTRIBUTORS ``AS IS'' AND
+ * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
+ * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
+ * ARE DISCLAIMED.  IN NO EVENT SHALL THE INSTITUTE OR CONTRIBUTORS BE LIABLE
+ * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
+ * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
+ * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
+ * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
+ * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
+ * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
+ * SUCH DAMAGE.
+ *
+ * This file is part of the Contiki operating system.
+ *
+ */
+
+/**
+ * \file
+ *         802.15.4 security implementation, which uses a network-wide key
+ * \author
+ *         Konrad Krentz <konrad.krentz@gmail.com>
+ */
+
+#include "net/llsec/noncoresec/noncoresec.h"
+#include "net/llsec/anti-replay.h"
+#include "net/llsec/llsec802154.h"
+#include "net/llsec/ccm.h"
+#include "net/mac/frame802154.h"
+#include "net/netstack.h"
+#include "net/packetbuf.h"
+#include "net/nbr-table.h"
+#include "net/linkaddr.h"
+#include "lib/aes-128.h"
+#include <string.h>
+
+#define WITH_ENCRYPTION (LLSEC802154_SECURITY_LEVEL & (1 << 2))
+
+#ifdef NONCORESEC_CONF_KEY
+#define NONCORESEC_KEY NONCORESEC_CONF_KEY
+#else /* NONCORESEC_CONF_KEY */
+#define NONCORESEC_KEY { 0x00 , 0x01 , 0x02 , 0x03 , \
+                         0x04 , 0x05 , 0x06 , 0x07 , \
+                         0x08 , 0x09 , 0x0A , 0x0B , \
+                         0x0C , 0x0D , 0x0E , 0x0F }
+#endif /* NONCORESEC_CONF_KEY */
+
+#define DEBUG 0
+#if DEBUG
+#include <stdio.h>
+#define PRINTF(...) printf(__VA_ARGS__)
+#else /* DEBUG */
+#define PRINTF(...)
+#endif /* DEBUG */
+
+/* network-wide CCM* key */
+static uint8_t key[16] = NONCORESEC_KEY;
+NBR_TABLE(struct anti_replay_info, anti_replay_table);
+
+/*---------------------------------------------------------------------------*/
+static const uint8_t *
+get_extended_address(const linkaddr_t *addr)
+#if LINKADDR_SIZE == 2
+{
+  /* workaround for short addresses: derive EUI64 as in RFC 6282 */
+  static linkaddr_extended_t template = { { 0x00 , 0x00 , 0x00 ,
+                                            0xFF , 0xFE , 0x00 , 0x00 , 0x00 } };
+  
+  template.u16[3] = LLSEC802154_HTONS(addr->u16);
+  
+  return template.u8;
+}
+#else /* LINKADDR_SIZE == 2 */
+{
+  return addr->u8;
+}
+#endif /* LINKADDR_SIZE == 2 */
+/*---------------------------------------------------------------------------*/
+static void
+send(mac_callback_t sent, void *ptr)
+{
+  packetbuf_set_attr(PACKETBUF_ATTR_FRAME_TYPE, FRAME802154_DATAFRAME);
+  packetbuf_set_attr(PACKETBUF_ATTR_SECURITY_LEVEL, LLSEC802154_SECURITY_LEVEL);
+  anti_replay_set_counter();
+  NETSTACK_MAC.send(sent, ptr);
+}
+/*---------------------------------------------------------------------------*/
+static int
+on_frame_created(void)
+{
+  uint8_t *dataptr;
+  uint8_t data_len;  
+  
+  dataptr = packetbuf_dataptr();
+  data_len = packetbuf_datalen();
+  
+  CCM.mic(get_extended_address(&linkaddr_node_addr), dataptr + data_len, LLSEC802154_MIC_LENGTH);
+#if WITH_ENCRYPTION
+  CCM.ctr(get_extended_address(&linkaddr_node_addr));
+#endif /* WITH_ENCRYPTION */
+  packetbuf_set_datalen(data_len + LLSEC802154_MIC_LENGTH);
+  
+  return 1;
+}
+/*---------------------------------------------------------------------------*/
+static void
+input(void)
+{
+  uint8_t generated_mic[LLSEC802154_MIC_LENGTH];
+  uint8_t *received_mic;
+  const linkaddr_t *sender;
+  struct anti_replay_info* info;
+  
+  if(packetbuf_attr(PACKETBUF_ATTR_SECURITY_LEVEL) != LLSEC802154_SECURITY_LEVEL) {
+    PRINTF("noncoresec: received frame with wrong security level\n");
+    return;
+  }
+  sender = packetbuf_addr(PACKETBUF_ADDR_SENDER);
+  if(linkaddr_cmp(sender, &linkaddr_node_addr)) {
+    PRINTF("noncoresec: frame from ourselves\n");
+    return;
+  }
+  
+  packetbuf_set_datalen(packetbuf_datalen() - LLSEC802154_MIC_LENGTH);
+  
+#if WITH_ENCRYPTION
+  CCM.ctr(get_extended_address(sender));
+#endif /* WITH_ENCRYPTION */
+  CCM.mic(get_extended_address(sender), generated_mic, LLSEC802154_MIC_LENGTH);
+  
+  received_mic = ((uint8_t *) packetbuf_dataptr()) + packetbuf_datalen();
+  if(memcmp(generated_mic, received_mic, LLSEC802154_MIC_LENGTH) != 0) {
+    PRINTF("noncoresec: received nonauthentic frame %"PRIu32"\n",
+        anti_replay_get_counter());
+    return;
+  }
+  
+  info = nbr_table_get_from_lladdr(anti_replay_table, sender);
+  if(!info) {
+    info = nbr_table_add_lladdr(anti_replay_table, sender);
+    if(!info) {
+      PRINTF("noncoresec: could not get nbr_table_item\n");
+      return;
+    }
+    
+    /*
+     * Locking avoids replay attacks due to removed neighbor table items.
+     * Unfortunately, an attacker can mount a memory-based DoS attack
+     * on this by replaying broadcast frames from other network parts.
+     * However, this is not an issue as long as the network size does not
+     * exceed NBR_TABLE_MAX_NEIGHBORS.
+     *  
+     * To avoid locking, we could swap anti-replay information
+     * to external flash. Locking is also unnecessary when using
+     * pairwise session keys, as done in coresec.
+     */
+    if(!nbr_table_lock(anti_replay_table, info)) {
+      nbr_table_remove(anti_replay_table, info);
+      PRINTF("noncoresec: could not lock\n");
+      return;
+    }
+    
+    anti_replay_init_info(info);
+  } else {
+    if(anti_replay_was_replayed(info)) {
+       PRINTF("noncoresec: received replayed frame %"PRIu32"\n",
+           anti_replay_get_counter());
+       return;
+    }
+  }
+  
+  NETSTACK_NETWORK.input();
+}
+/*---------------------------------------------------------------------------*/
+static void
+bootstrap(llsec_on_bootstrapped_t on_bootstrapped)
+{
+  AES_128.set_key(key);
+  nbr_table_register(anti_replay_table, NULL);
+  on_bootstrapped();
+}
+/*---------------------------------------------------------------------------*/
+const struct llsec_driver noncoresec_driver = {
+  "noncoresec",
+  bootstrap,
+  send,
+  on_frame_created,
+  input
+};
+/*---------------------------------------------------------------------------*/
+
+/** @} */

core/net/llsec/noncoresec/noncoresec.h

@@ -0,0 +1,63 @@
+/**
+ * \addtogroup llsec
+ * @{
+ */
+
+/**
+ * \defgroup noncoresec
+ * 
+ * Noncompromise-resilient 802.15.4 security
+ * 
+ * @{
+ */
+
+/*
+ * Copyright (c) 2014, Hasso-Plattner-Institut.
+ * All rights reserved.
+ *
+ * Redistribution and use in source and binary forms, with or without
+ * modification, are permitted provided that the following conditions
+ * are met:
+ * 1. Redistributions of source code must retain the above copyright
+ *    notice, this list of conditions and the following disclaimer.
+ * 2. Redistributions in binary form must reproduce the above copyright
+ *    notice, this list of conditions and the following disclaimer in the
+ *    documentation and/or other materials provided with the distribution.
+ * 3. Neither the name of the Institute nor the names of its contributors
+ *    may be used to endorse or promote products derived from this software
+ *    without specific prior written permission.
+ *
+ * THIS SOFTWARE IS PROVIDED BY THE INSTITUTE AND CONTRIBUTORS ``AS IS'' AND
+ * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
+ * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
+ * ARE DISCLAIMED.  IN NO EVENT SHALL THE INSTITUTE OR CONTRIBUTORS BE LIABLE
+ * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
+ * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
+ * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
+ * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
+ * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
+ * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
+ * SUCH DAMAGE.
+ *
+ * This file is part of the Contiki operating system.
+ *
+ */
+
+/**
+ * \file
+ *         802.15.4 security implementation, which uses a network-wide key
+ * \author
+ *         Konrad Krentz <konrad.krentz@gmail.com>
+ */
+
+#ifndef NONCORESEC_H_
+#define NONCORESEC_H_
+
+#include "net/llsec/llsec.h"
+
+extern const struct llsec_driver noncoresec_driver;
+
+#endif /* NONCORESEC_H_ */
+
+/** @} */
+/** @} */

platform/sky/Makefile.sky

@@ -13,5 +13,5 @@ include $(CONTIKI)/platform/sky/Makefile.common
 MODULES += core/net/ipv6 core/net/ipv4 core/net/rime core/net/mac \
            core/net core/net/ip core/net/rpl \
            core/net/mac/contikimac core/net/mac/cxmac \
-           core/net/llsec \
+           core/net/llsec core/net/llsec/noncoresec \
            dev/cc2420 dev/sht11 dev/ds2411