keypin.c 13 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463
  1. /* Copyright (c) 2014, The Tor Project, Inc. */
  2. /* See LICENSE for licensing information */
  3. #define KEYPIN_PRIVATE
  4. #include "orconfig.h"
  5. #include "compat.h"
  6. #include "crypto.h"
  7. #include "crypto_format.h"
  8. #include "di_ops.h"
  9. #include "ht.h"
  10. #include "keypin.h"
  11. #include "siphash.h"
  12. #include "torint.h"
  13. #include "torlog.h"
  14. #include "util.h"
  15. #include "util_format.h"
  16. #ifdef HAVE_UNISTD_H
  17. #include <unistd.h>
  18. #endif
  19. #ifdef HAVE_FCNTL_H
  20. #include <fcntl.h>
  21. #endif
  22. #ifdef _WIN32
  23. #include <io.h>
  24. #endif
  25. /**
  26. * @file keypin.c
  27. * @brief Key-pinning for RSA and Ed25519 identity keys at directory
  28. * authorities.
  29. *
  30. * This module implements a key-pinning mechanism to ensure that it's safe
  31. * to use RSA keys as identitifers even as we migrate to Ed25519 keys. It
  32. * remembers, for every Ed25519 key we've seen, what the associated Ed25519
  33. * key is. This way, if we see a different Ed25519 key with that RSA key,
  34. * we'll know that there's a mismatch.
  35. *
  36. * We persist these entries to disk using a simple format, where each line
  37. * has a base64-encoded RSA SHA1 hash, then a base64-endoded Ed25519 key.
  38. * Empty lines, misformed lines, and lines beginning with # are
  39. * ignored. Lines beginning with @ are reserved for future extensions.
  40. */
  41. static int keypin_journal_append_entry(const uint8_t *rsa_id_digest,
  42. const uint8_t *ed25519_id_key);
  43. static int keypin_check_and_add_impl(const uint8_t *rsa_id_digest,
  44. const uint8_t *ed25519_id_key,
  45. int do_not_add);
  46. static HT_HEAD(rsamap, keypin_ent_st) the_rsa_map = HT_INITIALIZER();
  47. static HT_HEAD(edmap, keypin_ent_st) the_ed_map = HT_INITIALIZER();
  48. /** Hashtable helper: compare two keypin table entries and return true iff
  49. * they have the same RSA key IDs. */
  50. static INLINE int
  51. keypin_ents_eq_rsa(const keypin_ent_t *a, const keypin_ent_t *b)
  52. {
  53. return tor_memeq(a->rsa_id, b->rsa_id, sizeof(a->rsa_id));
  54. }
  55. /** Hashtable helper: hash a keypin table entries based on its RSA key ID */
  56. static INLINE unsigned
  57. keypin_ent_hash_rsa(const keypin_ent_t *a)
  58. {
  59. return (unsigned) siphash24g(a->rsa_id, sizeof(a->rsa_id));
  60. }
  61. /** Hashtable helper: compare two keypin table entries and return true iff
  62. * they have the same ed25519 keys */
  63. static INLINE int
  64. keypin_ents_eq_ed(const keypin_ent_t *a, const keypin_ent_t *b)
  65. {
  66. return tor_memeq(a->ed25519_key, b->ed25519_key, sizeof(a->ed25519_key));
  67. }
  68. /** Hashtable helper: hash a keypin table entries based on its ed25519 key */
  69. static INLINE unsigned
  70. keypin_ent_hash_ed(const keypin_ent_t *a)
  71. {
  72. return (unsigned) siphash24g(a->ed25519_key, sizeof(a->ed25519_key));
  73. }
  74. HT_PROTOTYPE(rsamap, keypin_ent_st, rsamap_node, keypin_ent_hash_rsa,
  75. keypin_ents_eq_rsa);
  76. HT_GENERATE2(rsamap, keypin_ent_st, rsamap_node, keypin_ent_hash_rsa,
  77. keypin_ents_eq_rsa, 0.6, tor_reallocarray, tor_free_);
  78. HT_PROTOTYPE(edmap, keypin_ent_st, edmap_node, keypin_ent_hash_ed,
  79. keypin_ents_eq_ed);
  80. HT_GENERATE2(edmap, keypin_ent_st, edmap_node, keypin_ent_hash_ed,
  81. keypin_ents_eq_ed, 0.6, tor_reallocarray, tor_free_);
  82. /**
  83. * Check whether we already have an entry in the key pinning table for a
  84. * router with RSA ID digest <b>rsa_id_digest</b> or for ed25519 key
  85. * <b>ed25519_id_key</b>. If we have an entry that matches both keys,
  86. * return KEYPIN_FOUND. If we find an entry that matches one key but
  87. * not the other, return KEYPIN_MISMATCH. If we have no entry for either
  88. * key, add such an entry to the table and return KEYPIN_ADDED.
  89. */
  90. int
  91. keypin_check_and_add(const uint8_t *rsa_id_digest,
  92. const uint8_t *ed25519_id_key)
  93. {
  94. return keypin_check_and_add_impl(rsa_id_digest, ed25519_id_key, 0);
  95. }
  96. /**
  97. * As keypin_check_and_add, but do not add. Return KEYPIN_NOT_FOUND if
  98. * we would add.
  99. */
  100. int
  101. keypin_check(const uint8_t *rsa_id_digest,
  102. const uint8_t *ed25519_id_key)
  103. {
  104. return keypin_check_and_add_impl(rsa_id_digest, ed25519_id_key, 1);
  105. }
  106. /**
  107. * Helper: implements keypin_check and keypin_check_and_add.
  108. */
  109. static int
  110. keypin_check_and_add_impl(const uint8_t *rsa_id_digest,
  111. const uint8_t *ed25519_id_key,
  112. int do_not_add)
  113. {
  114. keypin_ent_t search, *ent;
  115. memset(&search, 0, sizeof(search));
  116. memcpy(search.rsa_id, rsa_id_digest, sizeof(search.rsa_id));
  117. memcpy(search.ed25519_key, ed25519_id_key, sizeof(search.ed25519_key));
  118. /* Search by RSA key digest first */
  119. ent = HT_FIND(rsamap, &the_rsa_map, &search);
  120. if (ent) {
  121. tor_assert(fast_memeq(ent->rsa_id, rsa_id_digest, sizeof(ent->rsa_id)));
  122. if (tor_memeq(ent->ed25519_key, ed25519_id_key,sizeof(ent->ed25519_key))) {
  123. return KEYPIN_FOUND; /* Match on both keys. Great. */
  124. } else {
  125. return KEYPIN_MISMATCH; /* Found RSA with different Ed key */
  126. }
  127. }
  128. /* See if we know a different RSA key for this ed key */
  129. ent = HT_FIND(edmap, &the_ed_map, &search);
  130. if (ent) {
  131. /* If we got here, then the ed key matches and the RSA doesn't */
  132. tor_assert(fast_memeq(ent->ed25519_key, ed25519_id_key,
  133. sizeof(ent->ed25519_key)));
  134. tor_assert(fast_memneq(ent->rsa_id, rsa_id_digest, sizeof(ent->rsa_id)));
  135. return KEYPIN_MISMATCH;
  136. }
  137. /* Okay, this one is new to us. */
  138. if (do_not_add)
  139. return KEYPIN_NOT_FOUND;
  140. ent = tor_memdup(&search, sizeof(search));
  141. keypin_add_entry_to_map(ent);
  142. keypin_journal_append_entry(rsa_id_digest, ed25519_id_key);
  143. return KEYPIN_ADDED;
  144. }
  145. /**
  146. * Helper: add <b>ent</b> to the hash tables.
  147. */
  148. MOCK_IMPL(STATIC void,
  149. keypin_add_entry_to_map, (keypin_ent_t *ent))
  150. {
  151. HT_INSERT(rsamap, &the_rsa_map, ent);
  152. HT_INSERT(edmap, &the_ed_map, ent);
  153. }
  154. /**
  155. * Helper: add 'ent' to the maps, replacing any entries that contradict it.
  156. * Take ownership of 'ent', freeing it if needed.
  157. *
  158. * Return 0 if the entry was a duplicate, -1 if there was a conflict,
  159. * and 1 if there was no conflict.
  160. */
  161. static int
  162. keypin_add_or_replace_entry_in_map(keypin_ent_t *ent)
  163. {
  164. int r = 1;
  165. keypin_ent_t *ent2 = HT_FIND(rsamap, &the_rsa_map, ent);
  166. keypin_ent_t *ent3 = HT_FIND(edmap, &the_ed_map, ent);
  167. if (ent2 &&
  168. fast_memeq(ent2->ed25519_key, ent->ed25519_key, DIGEST256_LEN)) {
  169. /* We already have this mapping stored. Ignore it. */
  170. tor_free(ent);
  171. return 0;
  172. } else if (ent2 || ent3) {
  173. /* We have a conflict. (If we had no entry, we would have ent2 == ent3
  174. * == NULL. If we had a non-conflicting duplicate, we would have found
  175. * it above.)
  176. *
  177. * We respond by having this entry (ent) supersede all entries that it
  178. * contradicts (ent2 and/or ent3). In other words, if we receive
  179. * <rsa,ed>, we remove all <rsa,ed'> and all <rsa',ed>, for rsa'!=rsa
  180. * and ed'!= ed.
  181. */
  182. const keypin_ent_t *t;
  183. if (ent2) {
  184. t = HT_REMOVE(rsamap, &the_rsa_map, ent2);
  185. tor_assert(ent2 == t);
  186. t = HT_REMOVE(edmap, &the_ed_map, ent2);
  187. tor_assert(ent2 == t);
  188. }
  189. if (ent3 && ent2 != ent3) {
  190. t = HT_REMOVE(rsamap, &the_rsa_map, ent3);
  191. tor_assert(ent3 == t);
  192. t = HT_REMOVE(edmap, &the_ed_map, ent3);
  193. tor_assert(ent3 == t);
  194. tor_free(ent3);
  195. }
  196. tor_free(ent2);
  197. r = -1;
  198. /* Fall through */
  199. }
  200. keypin_add_entry_to_map(ent);
  201. return r;
  202. }
  203. /**
  204. * Check whether we already have an entry in the key pinning table for a
  205. * router with RSA ID digest <b>rsa_id_digest</b>. If we have no such entry,
  206. * return KEYPIN_NOT_FOUND. If we find an entry that matches the RSA key but
  207. * which has an ed25519 key, return KEYPIN_MISMATCH.
  208. */
  209. int
  210. keypin_check_lone_rsa(const uint8_t *rsa_id_digest)
  211. {
  212. keypin_ent_t search, *ent;
  213. memset(&search, 0, sizeof(search));
  214. memcpy(search.rsa_id, rsa_id_digest, sizeof(search.rsa_id));
  215. /* Search by RSA key digest first */
  216. ent = HT_FIND(rsamap, &the_rsa_map, &search);
  217. if (ent) {
  218. return KEYPIN_MISMATCH;
  219. } else {
  220. return KEYPIN_NOT_FOUND;
  221. }
  222. }
  223. /** Open fd to the keypinning journal file. */
  224. static int keypin_journal_fd = -1;
  225. /** Open the key-pinning journal to append to <b>fname</b>. Return 0 on
  226. * success, -1 on failure. */
  227. int
  228. keypin_open_journal(const char *fname)
  229. {
  230. /* O_SYNC ??*/
  231. int fd = tor_open_cloexec(fname, O_WRONLY|O_CREAT|O_BINARY, 0600);
  232. if (fd < 0)
  233. goto err;
  234. if (tor_fd_seekend(fd) < 0)
  235. goto err;
  236. /* Add a newline in case the last line was only partially written */
  237. if (write(fd, "\n", 1) < 1)
  238. goto err;
  239. /* Add something about when we opened this file. */
  240. char buf[80];
  241. char tbuf[ISO_TIME_LEN+1];
  242. format_iso_time(tbuf, approx_time());
  243. tor_snprintf(buf, sizeof(buf), "@opened-at %s\n", tbuf);
  244. if (write_all(fd, buf, strlen(buf), 0) < 0)
  245. goto err;
  246. keypin_journal_fd = fd;
  247. return 0;
  248. err:
  249. if (fd >= 0)
  250. close(fd);
  251. return -1;
  252. }
  253. /** Close the keypinning journal file. */
  254. int
  255. keypin_close_journal(void)
  256. {
  257. if (keypin_journal_fd >= 0)
  258. close(keypin_journal_fd);
  259. keypin_journal_fd = -1;
  260. return 0;
  261. }
  262. /** Length of a keypinning journal line, including terminating newline. */
  263. #define JOURNAL_LINE_LEN (BASE64_DIGEST_LEN + BASE64_DIGEST256_LEN + 2)
  264. /** Add an entry to the keypinning journal to map <b>rsa_id_digest</b> and
  265. * <b>ed25519_id_key</b>. */
  266. static int
  267. keypin_journal_append_entry(const uint8_t *rsa_id_digest,
  268. const uint8_t *ed25519_id_key)
  269. {
  270. if (keypin_journal_fd == -1)
  271. return -1;
  272. char line[JOURNAL_LINE_LEN];
  273. digest_to_base64(line, (const char*)rsa_id_digest);
  274. line[BASE64_DIGEST_LEN] = ' ';
  275. digest256_to_base64(line + BASE64_DIGEST_LEN + 1,
  276. (const char*)ed25519_id_key);
  277. line[BASE64_DIGEST_LEN+1+BASE64_DIGEST256_LEN] = '\n';
  278. if (write_all(keypin_journal_fd, line, JOURNAL_LINE_LEN, 0)<0) {
  279. log_warn(LD_DIRSERV, "Error while adding a line to the key-pinning "
  280. "journal: %s", strerror(errno));
  281. keypin_close_journal();
  282. return -1;
  283. }
  284. return 0;
  285. }
  286. /** Load a journal from the <b>size</b>-byte region at <b>data</b>. Return 0
  287. * on success, -1 on failure. */
  288. STATIC int
  289. keypin_load_journal_impl(const char *data, size_t size)
  290. {
  291. const char *start = data, *end = data + size, *next;
  292. int n_corrupt_lines = 0;
  293. int n_entries = 0;
  294. int n_duplicates = 0;
  295. int n_conflicts = 0;
  296. for (const char *cp = start; cp < end; cp = next) {
  297. const char *eol = memchr(cp, '\n', end-cp);
  298. const char *eos = eol ? eol : end;
  299. const size_t len = eos - cp;
  300. next = eol ? eol + 1 : end;
  301. if (len == 0) {
  302. continue;
  303. }
  304. if (*cp == '@') {
  305. /* Lines that start with @ are reserved. Ignore for now. */
  306. continue;
  307. }
  308. if (*cp == '#') {
  309. /* Lines that start with # are comments. */
  310. continue;
  311. }
  312. /* Is it the right length? (The -1 here is for the newline.) */
  313. if (len != JOURNAL_LINE_LEN - 1) {
  314. /* Lines with a bad length are corrupt unless they are empty.
  315. * Ignore them either way */
  316. for (const char *s = cp; s < eos; ++s) {
  317. if (! TOR_ISSPACE(*s)) {
  318. ++n_corrupt_lines;
  319. break;
  320. }
  321. }
  322. continue;
  323. }
  324. keypin_ent_t *ent = keypin_parse_journal_line(cp);
  325. if (ent == NULL) {
  326. ++n_corrupt_lines;
  327. continue;
  328. }
  329. const int r = keypin_add_or_replace_entry_in_map(ent);
  330. if (r == 0) {
  331. ++n_duplicates;
  332. } else if (r == -1) {
  333. ++n_conflicts;
  334. }
  335. ++n_entries;
  336. }
  337. int severity = (n_corrupt_lines || n_duplicates) ? LOG_WARN : LOG_INFO;
  338. tor_log(severity, LD_DIRSERV,
  339. "Loaded %d entries from keypin journal. "
  340. "Found %d corrupt lines, %d duplicates, and %d conflicts.",
  341. n_entries, n_corrupt_lines, n_duplicates, n_conflicts);
  342. return 0;
  343. }
  344. /**
  345. * Load a journal from the file called <b>fname</b>. Return 0 on success,
  346. * -1 on failure.
  347. */
  348. int
  349. keypin_load_journal(const char *fname)
  350. {
  351. tor_mmap_t *map = tor_mmap_file(fname);
  352. if (!map) {
  353. if (errno == ENOENT)
  354. return 0;
  355. else
  356. return -1;
  357. }
  358. int r = keypin_load_journal_impl(map->data, map->size);
  359. tor_munmap_file(map);
  360. return r;
  361. }
  362. /** Parse a single keypinning journal line entry from <b>cp</b>. The input
  363. * does not need to be NUL-terminated, but it <em>does</em> need to have
  364. * KEYPIN_JOURNAL_LINE_LEN -1 bytes available to read. Return a new entry
  365. * on success, and NULL on failure.
  366. */
  367. STATIC keypin_ent_t *
  368. keypin_parse_journal_line(const char *cp)
  369. {
  370. /* XXXX assumes !USE_OPENSSL_BASE64 */
  371. keypin_ent_t *ent = tor_malloc_zero(sizeof(keypin_ent_t));
  372. if (base64_decode((char*)ent->rsa_id, sizeof(ent->rsa_id),
  373. cp, BASE64_DIGEST_LEN) != DIGEST_LEN ||
  374. cp[BASE64_DIGEST_LEN] != ' ' ||
  375. base64_decode((char*)ent->ed25519_key, sizeof(ent->ed25519_key),
  376. cp+BASE64_DIGEST_LEN+1, BASE64_DIGEST256_LEN) != DIGEST256_LEN) {
  377. tor_free(ent);
  378. return NULL;
  379. } else {
  380. return ent;
  381. }
  382. }
  383. /** Remove all entries from the keypinning table.*/
  384. void
  385. keypin_clear(void)
  386. {
  387. int bad_entries = 0;
  388. {
  389. keypin_ent_t **ent, **next, *this;
  390. for (ent = HT_START(rsamap, &the_rsa_map); ent != NULL; ent = next) {
  391. this = *ent;
  392. next = HT_NEXT_RMV(rsamap, &the_rsa_map, ent);
  393. keypin_ent_t *other_ent = HT_REMOVE(edmap, &the_ed_map, this);
  394. bad_entries += (other_ent != this);
  395. tor_free(this);
  396. }
  397. }
  398. bad_entries += HT_SIZE(&the_ed_map);
  399. HT_CLEAR(edmap,&the_ed_map);
  400. HT_CLEAR(rsamap,&the_rsa_map);
  401. if (bad_entries) {
  402. log_warn(LD_BUG, "Found %d discrepencies in the the keypin database.",
  403. bad_entries);
  404. }
  405. }