Реверсинг кустарного алгоритма

Суть вот в чем, имеем алгоритм, на псевдокоде, он шифрует строку:

Код (Text):

1. str="123456"
2. x (dword) = 1
3. y (dword) = 2
4. z (dword) = 3
5. res (string)
6. for i:=1 to length(str)
7. begin
8.      a = str[i]
9.      res[i] = a xor (x shr 8)
10.      x = x + a
11.      x = x*y + z
12. end

Как, зная только результирующую строку, найти оригинальную?

Я, будучи ниразу не знатоком всего этого, не могу понять, с какой стороны подступиться к этому.

 

очевидно надо выполнить все операции в обратном порядке

 

Очевидно, надо выполнить все операции в том же порядке.

P.S. Знатоком быть и не надо. Даже дети знают, что xor инволютивен.

 

Стоп. После первой итерации мы от результата отнимем Z, поделим на Y и получим сумму X+A, где X и A - нам неизвестны. Как дальше быть то?

 

l_inc
там ключ от входной строки зависит

 

GoldFinch
Нужный элемент входной строки получается на каждом этапе идентичного преобразования (в том же порядке), поэтому зависимость не является проблемой.

 

VaZoNeZ

Код (Text):

1. res = [то, что получилось в res]
2. x (dword) = 1
3. y (dword) = 2
4. z (dword) = 3
5. str (string)
6. for i:=1 to length(str)
7. begin
8.      str[i] = res[i] xor (x shr 8)
9.      x = x + str[i]
10.      x = x*y + z
11. end

 

l_inc
тестировали?

 

GoldFinch
Нет. А что там тестировать? Я просто скопировал всё из первого поста.

 

VaZoNeZ
- Известно ли значение x на выходе алгоса #1?
- Возможно, сам алгоритм шифрации/дешифрации не симметричен. Вы уверены, что алгос в #1
является именно алгоритмом шифрации а не дешифрации?
- Где вы такое откопали, если не секрет ?

 

1. Нет. Известна только результирующая строка.
2. Это именно шифрование. Доступа к обратному алгоритму нет.
3. DDOS Bot Optima.

 

VaZoNeZ Алгоритм, предложенный l_inc в #8 вполне рабочий.

Дело в том, что при шифрации первый символ никогда не шифруется

Код (Text):

1. res[0] = str[0] xor (x shr 8) = str[0]

при заданном х=1 (x shr 8 = 0)

Поэтому алгоритм дешифрации будет абсолютно такой же.

 

x = 1 взято только в качестве примера. Реальное же стартовое значение X - 624h

Вот файл, скопировано из дизасма http://www.sendspace.com/file/u962rz

 

gorodon
Алгоритм дешифрации такой же не поэтому. Он был бы такой же даже при исходном x >= 0x100.

 

VaZoNeZ
Если известны числа x, y, z, то как уже заметили - расшифровка тривиальна. Иначе никак.

 

l_inc Да, конечно, вы правы...

VaZoNeZ (x>>8) = x0 = const на первом шаге алгоритма, поэтому

res[0] = x0 xor str[0] -> str[0] = x0 xor res[0]