Index: libsrtp/crypto/math/stat.c |
=================================================================== |
--- libsrtp/crypto/math/stat.c (revision 0) |
+++ libsrtp/crypto/math/stat.c (revision 0) |
@@ -0,0 +1,367 @@ |
+/* |
+ * stats.c |
+ * |
+ * statistical tests for randomness (FIPS 140-2, Section 4.9) |
+ * |
+ * David A. McGrew |
+ * Cisco Systems, Inc. |
+ */ |
+ |
+#include "stat.h" |
+ |
+debug_module_t mod_stat = { |
+ 0, /* debugging is off by default */ |
+ (char *)"stat test" /* printable module name */ |
+}; |
+ |
+/* |
+ * each test assumes that 20,000 bits (2500 octets) of data is |
+ * provided as input |
+ */ |
+ |
+#define STAT_TEST_DATA_LEN 2500 |
+ |
+err_status_t |
+stat_test_monobit(uint8_t *data) { |
+ uint8_t *data_end = data + STAT_TEST_DATA_LEN; |
+ uint16_t ones_count; |
+ |
+ ones_count = 0; |
+ while (data < data_end) { |
+ ones_count += octet_get_weight(*data); |
+ data++; |
+ } |
+ |
+ debug_print(mod_stat, "bit count: %d", ones_count); |
+ |
+ if ((ones_count < 9725) || (ones_count > 10275)) |
+ return err_status_algo_fail; |
+ |
+ return err_status_ok; |
+} |
+ |
+err_status_t |
+stat_test_poker(uint8_t *data) { |
+ int i; |
+ uint8_t *data_end = data + STAT_TEST_DATA_LEN; |
+ double poker; |
+ uint16_t f[16] = { |
+ 0, 0, 0, 0, 0, 0, 0, 0, |
+ 0, 0, 0, 0, 0, 0, 0, 0 |
+ }; |
+ |
+ while (data < data_end) { |
+ f[*data & 0x0f]++; /* increment freq. count for low nibble */ |
+ f[(*data) >> 4]++; /* increment freq. count for high nibble */ |
+ data++; |
+ } |
+ |
+ poker = 0.0; |
+ for (i=0; i < 16; i++) |
+ poker += (double) f[i] * f[i]; |
+ |
+ poker *= (16.0 / 5000.0); |
+ poker -= 5000.0; |
+ |
+ debug_print(mod_stat, "poker test: %f\n", poker); |
+ |
+ if ((poker < 2.16) || (poker > 46.17)) |
+ return err_status_algo_fail; |
+ |
+ return err_status_ok; |
+} |
+ |
+ |
+/* |
+ * runs[i] holds the number of runs of size (i-1) |
+ */ |
+ |
+err_status_t |
+stat_test_runs(uint8_t *data) { |
+ uint8_t *data_end = data + STAT_TEST_DATA_LEN; |
+ uint16_t runs[6] = { 0, 0, 0, 0, 0, 0 }; |
+ uint16_t gaps[6] = { 0, 0, 0, 0, 0, 0 }; |
+ uint16_t lo_value[6] = { 2315, 1114, 527, 240, 103, 103 }; |
+ uint16_t hi_value[6] = { 2685, 1386, 723, 384, 209, 209 }; |
+ int state = 0; |
+ uint16_t mask; |
+ int i; |
+ |
+ /* |
+ * the state variable holds the number of bits in the |
+ * current run (or gap, if negative) |
+ */ |
+ |
+ while (data < data_end) { |
+ |
+ /* loop over the bits of this byte */ |
+ for (mask = 1; mask < 256; mask <<= 1) { |
+ if (*data & mask) { |
+ |
+ /* next bit is a one */ |
+ if (state > 0) { |
+ |
+ /* prefix is a run, so increment the run-count */ |
+ state++; |
+ |
+ /* check for long runs */ |
+ if (state > 25) { |
+ debug_print(mod_stat, ">25 runs: %d", state); |
+ return err_status_algo_fail; |
+ } |
+ |
+ } else if (state < 0) { |
+ |
+ /* prefix is a gap */ |
+ if (state < -25) { |
+ debug_print(mod_stat, ">25 gaps: %d", state); |
+ return err_status_algo_fail; /* long-runs test failed */ |
+ } |
+ if (state < -6) { |
+ state = -6; /* group together gaps > 5 */ |
+ } |
+ gaps[-1-state]++; /* increment gap count */ |
+ state = 1; /* set state at one set bit */ |
+ } else { |
+ |
+ /* state is zero; this happens only at initialization */ |
+ state = 1; |
+ } |
+ } else { |
+ |
+ /* next bit is a zero */ |
+ if (state > 0) { |
+ |
+ /* prefix is a run */ |
+ if (state > 25) { |
+ debug_print(mod_stat, ">25 runs (2): %d", state); |
+ return err_status_algo_fail; /* long-runs test failed */ |
+ } |
+ if (state > 6) { |
+ state = 6; /* group together runs > 5 */ |
+ } |
+ runs[state-1]++; /* increment run count */ |
+ state = -1; /* set state at one zero bit */ |
+ } else if (state < 0) { |
+ |
+ /* prefix is a gap, so increment gap-count (decrement state) */ |
+ state--; |
+ |
+ /* check for long gaps */ |
+ if (state < -25) { |
+ debug_print(mod_stat, ">25 gaps (2): %d", state); |
+ return err_status_algo_fail; |
+ } |
+ |
+ } else { |
+ |
+ /* state is zero; this happens only at initialization */ |
+ state = -1; |
+ } |
+ } |
+ } |
+ |
+ /* move along to next octet */ |
+ data++; |
+ } |
+ |
+ if (mod_stat.on) { |
+ debug_print(mod_stat, "runs test", NULL); |
+ for (i=0; i < 6; i++) |
+ debug_print(mod_stat, " runs[]: %d", runs[i]); |
+ for (i=0; i < 6; i++) |
+ debug_print(mod_stat, " gaps[]: %d", gaps[i]); |
+ } |
+ |
+ /* check run and gap counts against the fixed limits */ |
+ for (i=0; i < 6; i++) |
+ if ( (runs[i] < lo_value[i] ) || (runs[i] > hi_value[i]) |
+ || (gaps[i] < lo_value[i] ) || (gaps[i] > hi_value[i])) |
+ return err_status_algo_fail; |
+ |
+ |
+ return err_status_ok; |
+} |
+ |
+ |
+/* |
+ * the function stat_test_rand_source applys the FIPS-140-2 statistical |
+ * tests to the random source defined by rs |
+ * |
+ */ |
+ |
+#define RAND_SRC_BUF_OCTETS 50 /* this value MUST divide 2500! */ |
+ |
+err_status_t |
+stat_test_rand_source(rand_source_func_t get_rand_bytes) { |
+ int i; |
+ double poker; |
+ uint8_t *data, *data_end; |
+ uint16_t f[16] = { |
+ 0, 0, 0, 0, 0, 0, 0, 0, |
+ 0, 0, 0, 0, 0, 0, 0, 0 |
+ }; |
+ uint8_t buffer[RAND_SRC_BUF_OCTETS]; |
+ err_status_t status; |
+ int ones_count = 0; |
+ uint16_t runs[6] = { 0, 0, 0, 0, 0, 0 }; |
+ uint16_t gaps[6] = { 0, 0, 0, 0, 0, 0 }; |
+ uint16_t lo_value[6] = { 2315, 1114, 527, 240, 103, 103 }; |
+ uint16_t hi_value[6] = { 2685, 1386, 723, 384, 209, 209 }; |
+ int state = 0; |
+ uint16_t mask; |
+ |
+ /* counters for monobit, poker, and runs tests are initialized above */ |
+ |
+ /* main loop: fill buffer, update counters for stat tests */ |
+ for (i=0; i < 2500; i+=RAND_SRC_BUF_OCTETS) { |
+ |
+ /* fill data buffer */ |
+ status = get_rand_bytes(buffer, RAND_SRC_BUF_OCTETS); |
+ if (status) { |
+ debug_print(mod_stat, "couldn't get rand bytes: %d",status); |
+ return status; |
+ } |
+ |
+#if 0 |
+ debug_print(mod_stat, "%s", |
+ octet_string_hex_string(buffer, RAND_SRC_BUF_OCTETS)); |
+#endif |
+ |
+ data = buffer; |
+ data_end = data + RAND_SRC_BUF_OCTETS; |
+ while (data < data_end) { |
+ |
+ /* update monobit test counter */ |
+ ones_count += octet_get_weight(*data); |
+ |
+ /* update poker test counters */ |
+ f[*data & 0x0f]++; /* increment freq. count for low nibble */ |
+ f[(*data) >> 4]++; /* increment freq. count for high nibble */ |
+ |
+ /* update runs test counters */ |
+ /* loop over the bits of this byte */ |
+ for (mask = 1; mask < 256; mask <<= 1) { |
+ if (*data & mask) { |
+ |
+ /* next bit is a one */ |
+ if (state > 0) { |
+ |
+ /* prefix is a run, so increment the run-count */ |
+ state++; |
+ |
+ /* check for long runs */ |
+ if (state > 25) { |
+ debug_print(mod_stat, ">25 runs (3): %d", state); |
+ return err_status_algo_fail; |
+ } |
+ |
+ } else if (state < 0) { |
+ |
+ /* prefix is a gap */ |
+ if (state < -25) { |
+ debug_print(mod_stat, ">25 gaps (3): %d", state); |
+ return err_status_algo_fail; /* long-runs test failed */ |
+ } |
+ if (state < -6) { |
+ state = -6; /* group together gaps > 5 */ |
+ } |
+ gaps[-1-state]++; /* increment gap count */ |
+ state = 1; /* set state at one set bit */ |
+ } else { |
+ |
+ /* state is zero; this happens only at initialization */ |
+ state = 1; |
+ } |
+ } else { |
+ |
+ /* next bit is a zero */ |
+ if (state > 0) { |
+ |
+ /* prefix is a run */ |
+ if (state > 25) { |
+ debug_print(mod_stat, ">25 runs (4): %d", state); |
+ return err_status_algo_fail; /* long-runs test failed */ |
+ } |
+ if (state > 6) { |
+ state = 6; /* group together runs > 5 */ |
+ } |
+ runs[state-1]++; /* increment run count */ |
+ state = -1; /* set state at one zero bit */ |
+ } else if (state < 0) { |
+ |
+ /* prefix is a gap, so increment gap-count (decrement state) */ |
+ state--; |
+ |
+ /* check for long gaps */ |
+ if (state < -25) { |
+ debug_print(mod_stat, ">25 gaps (4): %d", state); |
+ return err_status_algo_fail; |
+ } |
+ |
+ } else { |
+ |
+ /* state is zero; this happens only at initialization */ |
+ state = -1; |
+ } |
+ } |
+ } |
+ |
+ /* advance data pointer */ |
+ data++; |
+ } |
+ } |
+ |
+ /* check to see if test data is within bounds */ |
+ |
+ /* check monobit test data */ |
+ |
+ debug_print(mod_stat, "stat: bit count: %d", ones_count); |
+ |
+ if ((ones_count < 9725) || (ones_count > 10275)) { |
+ debug_print(mod_stat, "stat: failed monobit test %d", ones_count); |
+ return err_status_algo_fail; |
+ } |
+ |
+ /* check poker test data */ |
+ poker = 0.0; |
+ for (i=0; i < 16; i++) |
+ poker += (double) f[i] * f[i]; |
+ |
+ poker *= (16.0 / 5000.0); |
+ poker -= 5000.0; |
+ |
+ debug_print(mod_stat, "stat: poker test: %f", poker); |
+ |
+ if ((poker < 2.16) || (poker > 46.17)) { |
+ debug_print(mod_stat, "stat: failed poker test", NULL); |
+ return err_status_algo_fail; |
+ } |
+ |
+ /* check run and gap counts against the fixed limits */ |
+ for (i=0; i < 6; i++) |
+ if ((runs[i] < lo_value[i] ) || (runs[i] > hi_value[i]) |
+ || (gaps[i] < lo_value[i] ) || (gaps[i] > hi_value[i])) { |
+ debug_print(mod_stat, "stat: failed run/gap test", NULL); |
+ return err_status_algo_fail; |
+ } |
+ |
+ debug_print(mod_stat, "passed random stat test", NULL); |
+ return err_status_ok; |
+} |
+ |
+err_status_t |
+stat_test_rand_source_with_repetition(rand_source_func_t source, unsigned num_trials) { |
+ unsigned int i; |
+ err_status_t err = err_status_algo_fail; |
+ |
+ for (i=0; i < num_trials; i++) { |
+ err = stat_test_rand_source(source); |
+ if (err == err_status_ok) { |
+ return err_status_ok; |
+ } |
+ debug_print(mod_stat, "failed stat test (try number %d)\n", i); |
+ } |
+ |
+ return err; |
+} |
Property changes on: libsrtp/crypto/math/stat.c |
___________________________________________________________________ |
Added: svn:eol-style |
+ LF |