Π§ΠΈΡ‚Π°ΠΉΡ‚Π΅ ΠΊΠ½ΠΈΠ³ΠΈ ΠΎΠ½Π»Π°ΠΉΠ½ Π½Π° Bookidrom.ru! БСсплатныС ΠΊΠ½ΠΈΠ³ΠΈ Π² ΠΎΠ΄Π½ΠΎΠΌ ΠΊΠ»ΠΈΠΊΠ΅

Π§ΠΈΡ‚Π°Ρ‚ΡŒ ΠΎΠ½Π»Π°ΠΉΠ½ Β«25 ΡΡ‚ΡŽΠ΄ΠΎΠ² ΠΎ ΡˆΠΈΡ„Ρ€Π°Ρ…Β». Π‘Ρ‚Ρ€Π°Π½ΠΈΡ†Π° 8

Автор Π‘Π΅Ρ€Π³Π΅ΠΉ Π”ΠΎΡ€ΠΈΡ‡Π΅Π½ΠΊΠΎ

ΠžΡ‚ΠΌΠ΅Ρ‚ΠΈΠΌ, Ρ‡Ρ‚ΠΎ односторонняя функция сущСствСнно отличаСтся ΠΎΡ‚ Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΉ, ΠΏΡ€ΠΈΠ²Ρ‹Ρ‡Π½Ρ‹Ρ… со школьной скамьи, ΠΈΠ·-Π·Π° ΠΎΠ³Ρ€Π°Π½ΠΈΡ‡Π΅Π½ΠΈΠΉ Π½Π° ΡΠ»ΠΎΠΆΠ½ΠΎΡΡ‚ΡŒ Π΅Π΅ вычислСния ΠΈ инвСртирования. Π­Ρ‚ΠΎ Π½ΠΎΠ²ΠΎΠ΅ понятиС Π² ΠΌΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΠΊΠ΅ Π²Π²Π΅Π΄Π΅Π½ΠΎ Π² 1975 Π³ΠΎΠ΄Ρƒ Π”ΠΈΡ„Ρ„ΠΈ ΠΈ Π₯Сллмэном. Но Π·Π° ΠΈΡΡ‚Π΅ΠΊΡˆΠΈΠ΅ 19 Π»Π΅Ρ‚ Ρ‚Π°ΠΊ ΠΈ Π½Π΅ ΡƒΠ΄Π°Π»ΠΎΡΡŒ ΠΏΠΎΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ Π½ΠΈ ΠΎΠ΄Π½ΠΎΠ³ΠΎ ΠΏΡ€ΠΈΠΌΠ΅Ρ€Π° одностороннСй Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΈ. Π’Π΅ΠΌ Π½Π΅ ΠΌΠ΅Π½Π΅Π΅, Π°ΠΊΡ‚ΠΈΠ²Π½ΠΎΠ΅ ΠΈΠ·ΡƒΡ‡Π΅Π½ΠΈΠ΅ свойств этого, ΠΏΠΎΠΊΠ° гипотСтичСского, матСматичСского ΠΎΠ±ΡŠΠ΅ΠΊΡ‚Π° ΠΏΠΎΠ·Π²ΠΎΠ»ΠΈΠ»ΠΎ ΡƒΡΡ‚Π°Π½ΠΎΠ²ΠΈΡ‚ΡŒ Π΅Π³ΠΎ связь с Π΄Ρ€ΡƒΠ³ΠΈΠΌΠΈ Π±ΠΎΠ»Π΅Π΅ ΠΈΠ·ΡƒΡ‡Π΅Π½Π½Ρ‹ΠΌΠΈ ΠΎΠ±ΡŠΠ΅ΠΊΡ‚Π°ΠΌΠΈ. ΠŸΡ€ΠΈ этом ΡƒΠ΄Π°Π»ΠΎΡΡŒ Π΄ΠΎΠΊΠ°Π·Π°Ρ‚ΡŒ, Ρ‡Ρ‚ΠΎ ΠΏΡ€ΠΎΠ±Π»Π΅ΠΌΠ° сущСствования одностороннСй Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΈ эквивалСнтна ΠΎΠ΄Π½ΠΎΠΉ ΠΈΠ· Ρ…ΠΎΡ€ΠΎΡˆΠΎ извСстных Π½Π΅Ρ€Π΅ΡˆΠ΅Π½Π½Ρ‹Ρ… ΠΏΡ€ΠΎΠ±Π»Π΅ΠΌ β€” Β«ΡΠΎΠ²ΠΏΠ°Π΄Π°ΡŽΡ‚ Π»ΠΈ классы слоТностСй Π  ΠΈ NPΒ»? Π‘Ρ‚Ρ€ΠΎΠ³ΠΎΠ΅ ΠΎΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½ΠΈΠ΅ классов P ΠΈ NP Π²Ρ‹Ρ…ΠΎΠ΄ΠΈΡ‚ Π΄Π°Π»Π΅ΠΊΠΎ Π·Π° Ρ€Π°ΠΌΠΊΠΈ настоящСй ΠΊΠ½ΠΈΠ³ΠΈ. ΠŸΠΎΠ΄Π³ΠΎΡ‚ΠΎΠ²Π»Π΅Π½Π½Ρ‹ΠΌ читатСлям Ρ€Π΅ΠΊΠΎΠΌΠ΅Π½Π΄ΡƒΠ΅ΠΌ Ρ„ΡƒΠ½Π΄Π°ΠΌΠ΅Π½Ρ‚Π°Π»ΡŒΠ½ΡƒΡŽ ΠΌΠΎΠ½ΠΎΠ³Ρ€Π°Ρ„ΠΈΡŽ М. Гэри ΠΈ Π”. ДТонсона Β«Π’Ρ‹Ρ‡ΠΈΡΠ»ΠΈΡ‚Π΅Π»ΡŒΠ½Ρ‹Π΅ ΠΌΠ°ΡˆΠΈΠ½Ρ‹ ΠΈ Ρ‚Ρ€ΡƒΠ΄Π½ΠΎΡ€Π΅ΡˆΠ°Π΅ΠΌΡ‹Π΅ Π·Π°Π΄Π°Ρ‡ΠΈΒ».

Говоря Π½Π΅Ρ„ΠΎΡ€ΠΌΠ°Π»ΡŒΠ½ΠΎ, класс P состоит ΠΈΠ· Π·Π°Π΄Π°Ρ‡ с полиномиальной ΡΠ»ΠΎΠΆΠ½ΠΎΡΡ‚ΡŒΡŽ. Π‘ΠΎΠ»Π΅Π΅ строго, класс P β€” это класс языков, распознаваСмых Π·Π° полиномиальноС врСмя Π½Π° Π΄Π΅Ρ‚Π΅Ρ€ΠΌΠΈΠ½ΠΈΡ€ΠΎΠ²Π°Π½Π½ΠΎΠΉ машинС Π’ΡŒΡŽΡ€ΠΈΠ½Π³Π°. Если Ρ‚Π°ΠΊΡƒΡŽ ΠΌΠ°ΡˆΠΈΠ½Ρƒ Π’ΡŒΡŽΡ€ΠΈΠ½Π³Π° Π΄ΠΎΠΏΠΎΠ»Π½ΠΈΡ‚ΡŒ гипотСтичСской ΡΠΏΠΎΡΠΎΠ±Π½ΠΎΡΡ‚ΡŒΡŽ «угадывания», получаСтся Π±ΠΎΠ»Π΅Π΅ сильная модСль β€” нСдСтСрминированная машина Π’ΡŒΡŽΡ€ΠΈΠ½Π³Π°. Класс NP β€” это класс языков, распознаваСмых Π·Π° полиномиальноС врСмя Π½Π° Π½Π΅Π΄Π΅Ρ‚Π΅Ρ€ΠΌΠΈΠ½ΠΈΡ€ΠΎΠ²Π°Π½Π½ΠΎΠΉ машинС Π’ΡŒΡŽΡ€ΠΈΠ½Π³Π°. ΠŸΡ€ΠΎΠ±Π»Π΅ΠΌΠ° совпадСния классов P ΠΈ NP β€” это ΠΏΡ€ΠΎΠ±Π»Π΅ΠΌΠ° ΡΠΎΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΡ возмоТностСй Π΄Π²ΡƒΡ… ΠΌΠΎΠ΄Π΅Π»Π΅ΠΉ вычислСний: дСтСрминированная ΠΈ нСдСтСрминированная машина Π’ΡŒΡŽΡ€ΠΈΠ½Π³Π°.

Π”Ρ€ΡƒΠ³ΠΈΠΌ понятиСм, Π±ΠΎΠ»Π΅Π΅ Π±Π»ΠΈΠ·ΠΊΠΈΠΌ ΠΊ Ρ‚Ρ€Π°Π΄ΠΈΡ†ΠΈΠΎΠ½Π½ΠΎΠΉ ΠΊΡ€ΠΈΠΏΡ‚ΠΎΠ³Ρ€Π°Ρ„ΠΈΠΈ, Π² ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠΉ Π΅ΡΡ‚ΡŒ сСкрСтный ΠΊΠ»ΡŽΡ‡, являСтся понятиС одностороннСй Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΈ с сСкрСтом. Иногда Π΅Ρ‰Π΅ ΡƒΠΏΠΎΡ‚Ρ€Π΅Π±Π»ΡΡŽΡ‚ΡΡ Ρ‚Π΅Ρ€ΠΌΠΈΠ½Ρ‹ функция с Π»ΠΎΠ²ΡƒΡˆΠΊΠΎΠΉ, функция опускной Π΄Π²Π΅Ρ€ΠΈ (английскоС Π½Π°Π·Π²Π°Π½ΠΈΠ΅: one-way trap-door function).

ΠžΠ΄Π½ΠΎΡΡ‚ΠΎΡ€ΠΎΠ½Π½Π΅ΠΉ Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠ΅ΠΉ с сСкрСтом K называСтся функция FK: Xβ†’Y, зависящая ΠΎΡ‚ ΠΏΠ°Ρ€Π°ΠΌΠ΅Ρ‚Ρ€Π° K ΠΈ ΠΎΠ±Π»Π°Π΄Π°ΡŽΡ‰Π°Ρ трСмя свойствами:

Π°) ΠΏΡ€ΠΈ любом K сущСствуСт ΠΏΠΎΠ»ΠΈΠ½ΠΎΠΌΠΈΠ°Π»ΡŒΠ½Ρ‹ΠΉ Π°Π»Π³ΠΎΡ€ΠΈΡ‚ΠΌ вычислСния Π·Π½Π°Ρ‡Π΅Π½ΠΈΠΉ FK(x);

Π±) ΠΏΡ€ΠΈ нСизвСстном K Π½Π΅ сущСствуСт полиномиального Π°Π»Π³ΠΎΡ€ΠΈΡ‚ΠΌΠ° инвСртирования FK;

Π²) ΠΏΡ€ΠΈ извСстном K сущСствуСт ΠΏΠΎΠ»ΠΈΠ½ΠΎΠΌΠΈΠ°Π»ΡŒΠ½Ρ‹ΠΉ Π°Π»Π³ΠΎΡ€ΠΈΡ‚ΠΌ инвСртирования FK.

ΠŸΡ€ΠΎ сущСствованиС односторонних Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΉ с сСкрСтом ΠΌΠΎΠΆΠ½ΠΎ ΡΠΊΠ°Π·Π°Ρ‚ΡŒ Ρ‚ΠΎ ΠΆΠ΅ самоС, Ρ‡Ρ‚ΠΎ Π±Ρ‹Π»ΠΎ сказано Ρ€Π°Π½Π΅Π΅ ΠΏΡ€ΠΎ односторонниС Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΈ. Для практичСских Ρ†Π΅Π»Π΅ΠΉ ΠΊΡ€ΠΈΠΏΡ‚ΠΎΠ³Ρ€Π°Ρ„ΠΈΠΈ Π±Ρ‹Π»ΠΎ построСно нСсколько Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΉ, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Π΅ ΠΌΠΎΠ³ΡƒΡ‚ ΠΎΠΊΠ°Π·Π°Ρ‚ΡŒΡΡ односторонними. Π­Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚, Ρ‡Ρ‚ΠΎ для Π½ΠΈΡ… свойство Π±) ΠΏΠΎΠΊΠ° строго Π½Π΅ Π΄ΠΎΠΊΠ°Π·Π°Π½ΠΎ, Π½ΠΎ извСстно, Ρ‡Ρ‚ΠΎ Π·Π°Π΄Π°Ρ‡Π° инвСртирования эквивалСнтна Π½Π΅ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠΉ Π΄Π°Π²Π½ΠΎ ΠΈΠ·ΡƒΡ‡Π°Π΅ΠΌΠΎΠΉ Ρ‚Ρ€ΡƒΠ΄Π½ΠΎΠΉ матСматичСской Π·Π°Π΄Π°Ρ‡Π΅. ΠŸΡ€ΠΈΠΌΠ΅Ρ€Ρ‹ Ρ‚Π°ΠΊΠΈΡ… Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΉ приводятся Π² ΡΡ‚ΡŽΠ΄Π°Ρ… 3.5, 3.6, 3.7. Π‘Ρ‚ΠΎΠΈΡ‚ ΠΎΡ‚ΠΌΠ΅Ρ‚ΠΈΡ‚ΡŒ, Ρ‡Ρ‚ΠΎ для Π½Π΅ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… ΠΊΠ°Π½Π΄ΠΈΠ΄Π°Ρ‚ΠΎΠ² Π½Π° Π·Π²Π°Π½ΠΈΠ΅ одностороннСй Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΈ Π±Ρ‹Π»ΠΈ Π½Π°ΠΉΠ΄Π΅Π½Ρ‹ ΠΏΠΎΠ»ΠΈΠ½ΠΎΠΌΠΈΠ°Π»ΡŒΠ½Ρ‹Π΅ Π°Π»Π³ΠΎΡ€ΠΈΡ‚ΠΌΡ‹ инвСртирования ΠΈ Ρ‚Π΅ΠΌ самым Π΄ΠΎΠΊΠ°Π·Π°Π½ΠΎ, Ρ‡Ρ‚ΠΎ эти Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΈ Π½Π΅ ΡΠ²Π»ΡΡŽΡ‚ΡΡ односторонними.

3.2. Π§Ρ‚ΠΎ Π΄Π°Ρ‘Ρ‚ односторонняя функция для ΠΊΡ€ΠΈΠΏΡ‚ΠΎΠ³Ρ€Π°Ρ„ΠΈΠΈ

ΠŸΡ€ΠΈΠΌΠ΅Π½Π΅Π½ΠΈΠ΅ одностороннСй Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΈ Π² ΠΊΡ€ΠΈΠΏΡ‚ΠΎΠ³Ρ€Π°Ρ„ΠΈΠΈ позволяСт:

1) ΠΎΡ€Π³Π°Π½ΠΈΠ·ΠΎΠ²Π°Ρ‚ΡŒ ΠΎΠ±ΠΌΠ΅Π½ ΡˆΠΈΡ„Ρ€ΠΎΠ²Π°Π½Π½Ρ‹ΠΌΠΈ сообщСниями с использованиСм Ρ‚ΠΎΠ»ΡŒΠΊΠΎ ΠΎΡ‚ΠΊΡ€Ρ‹Ρ‚Ρ‹Ρ… ΠΊΠ°Π½Π°Π»ΠΎΠ² связи, Ρ‚.Π΅. ΠΎΡ‚ΠΊΠ°Π·Π°Ρ‚ΡŒΡΡ ΠΎΡ‚ сСкрСтных ΠΊΠ°Π½Π°Π»ΠΎΠ² связи для ΠΏΡ€Π΅Π΄Π²Π°Ρ€ΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎΠ³ΠΎ ΠΎΠ±ΠΌΠ΅Π½Π° ΠΊΠ»ΡŽΡ‡Π°ΠΌΠΈ;

2) Π²ΠΊΠ»ΡŽΡ‡ΠΈΡ‚ΡŒ Π² Π·Π°Π΄Π°Ρ‡Ρƒ вскрытия ΡˆΠΈΡ„Ρ€Π° Ρ‚Ρ€ΡƒΠ΄Π½ΡƒΡŽ ΠΌΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΡ‡Π΅ΡΠΊΡƒΡŽ Π·Π°Π΄Π°Ρ‡Ρƒ ΠΈ Ρ‚Π΅ΠΌ самым ΠΏΠΎΠ²Ρ‹ΡΠΈΡ‚ΡŒ ΠΎΠ±ΠΎΡΠ½ΠΎΠ²Π°Π½Π½ΠΎΡΡ‚ΡŒ стойкости ΡˆΠΈΡ„Ρ€Π°;

3) Ρ€Π΅ΡˆΠ°Ρ‚ΡŒ Π½ΠΎΠ²Ρ‹Π΅ криптографичСскиС Π·Π°Π΄Π°Ρ‡ΠΈ, ΠΎΡ‚Π»ΠΈΡ‡Π½Ρ‹Π΅ ΠΎΡ‚ ΡˆΠΈΡ„Ρ€ΠΎΠ²Π°Π½ΠΈΡ (цифровая подпись ΠΈ Π΄Ρ€.).

ΠŸΡ€Π΅ΠΆΠ΄Π΅ Ρ‡Π΅ΠΌ Ρ€Π°Π·Π±ΠΈΡ€Π°Ρ‚ΡŒ ΠΊΠΎΠ½ΠΊΡ€Π΅Ρ‚Π½Ρ‹Π΅ ΠΏΡ€ΠΈΠΌΠ΅Ρ€Ρ‹, опишСм идСю Π”ΠΈΡ„Ρ„ΠΈ ΠΈ Π₯Сллмэна Π² ΠΎΠ±Ρ‰Π΅ΠΌ Π²ΠΈΠ΄Π΅.

ΠŸΠΎΠ»ΡŒΠ·ΠΎΠ²Π°Ρ‚Π΅Π»ΡŒ A, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹ΠΉ Ρ…ΠΎΡ‡Π΅Ρ‚ ΠΏΠΎΠ»ΡƒΡ‡Π°Ρ‚ΡŒ ΡˆΠΈΡ„Ρ€ΠΎΠ²Π°Π½Π½Ρ‹Π΅ сообщСния, Π΄ΠΎΠ»ΠΆΠ΅Π½ сначала Π²Ρ‹Π±Ρ€Π°Ρ‚ΡŒ ΠΊΠ°ΠΊΡƒΡŽ-Π½ΠΈΠ±ΡƒΠ΄ΡŒ ΠΎΠ΄Π½ΠΎΡΡ‚ΠΎΡ€ΠΎΠ½Π½ΡŽΡŽ Ρ„ΡƒΠ½ΠΊΡ†ΠΈΡŽ FK с сСкрСтом K. Он сообщаСт всСм заинтСрСсованным (Π½Π°ΠΏΡ€ΠΈΠΌΠ΅Ρ€, ΠΏΡƒΠ±Π»ΠΈΠΊΡƒΠ΅Ρ‚) описаниС Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΈ FK Π² качСствС своСго Π°Π»Π³ΠΎΡ€ΠΈΡ‚ΠΌΠ° ΡˆΠΈΡ„Ρ€ΠΎΠ²Π°Π½ΠΈΡ. Но ΠΏΡ€ΠΈ этом Π·Π½Π°Ρ‡Π΅Π½ΠΈΠ΅ сСкрСта K ΠΎΠ½ Π½ΠΈΠΊΠΎΠΌΡƒ Π½Π΅ сообщаСт ΠΈ Π΄Π΅Ρ€ΠΆΠΈΡ‚ Π² сСкрСтС. Если Ρ‚Π΅ΠΏΠ΅Ρ€ΡŒ ΠΏΠΎΠ»ΡŒΠ·ΠΎΠ²Π°Ρ‚Π΅Π»ΡŒ B Ρ…ΠΎΡ‡Π΅Ρ‚ ΠΏΠΎΡΠ»Π°Ρ‚ΡŒ A Π·Π°Ρ‰ΠΈΡ‰Π°Π΅ΠΌΡƒΡŽ ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ†ΠΈΡŽ x∈X, Ρ‚ΠΎ ΠΎΠ½ вычисляСт FK(x) ΠΈ посылаСт ΠΏΠΎ ΠΎΡ‚ΠΊΡ€Ρ‹Ρ‚ΠΎΠΌΡƒ ΠΊΠ°Π½Π°Π»Ρƒ ΠΊ A. ΠŸΠΎΡΠΊΠΎΠ»ΡŒΠΊΡƒ A для своСго сСкрСта K ΡƒΠΌΠ΅Π΅Ρ‚ ΠΈΠ½Π²Π΅Ρ€Ρ‚ΠΈΡ€ΠΎΠ²Π°Ρ‚ΡŒ FK, Ρ‚ΠΎ ΠΎΠ½ вычисляСт x ΠΏΠΎ ΠΏΠΎΠ»ΡƒΡ‡Π΅Π½Π½ΠΎΠΌΡƒ FK(x). Никто Π΄Ρ€ΡƒΠ³ΠΎΠΉ Π½Π΅ Π·Π½Π°Π΅Ρ‚ K ΠΈ поэтому Π² силу свойства Π±) одностороннСй Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΈ с сСкрСтом Π½Π΅ смоТСт Π·Π° полиномиальноС врСмя ΠΏΠΎ извСстному ΡˆΠΈΡ„Ρ€ΠΎΠ²Π°Π½Π½ΠΎΠΌΡƒ ΡΠΎΠΎΠ±Ρ‰Π΅Π½ΠΈΡŽ FK(x) Π²Ρ‹Ρ‡ΠΈΡΠ»ΠΈΡ‚ΡŒ Π·Π°Ρ‰ΠΈΡ‰Π°Π΅ΠΌΡƒΡŽ ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ†ΠΈΡŽ x.

Π’Π°ΠΊΠΈΠΌ ΠΎΠ±Ρ€Π°Π·ΠΎΠΌ, построСна систСма ΠΏΠ΅Ρ€Π΅Π΄Π°Ρ‡ΠΈ Π·Π°Ρ‰ΠΈΡ‰Π°Π΅ΠΌΠΎΠΉ ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ†ΠΈΠΈ, ΠΏΡ€ΠΈΡ‡Π΅ΠΌ Π²Ρ‹ΠΏΠΎΠ»Π½Π΅Π½Ρ‹ Π΄Π²Π° Π½ΠΎΠ²Ρ‹Ρ… свойства:

1) Π΄Π»Ρ ΠΏΠ΅Ρ€Π΅Π΄Π°Ρ‡ΠΈ сообщСний Π½Π΅ трСбуСтся ΠΏΡ€Π΅Π΄Π²Π°Ρ€ΠΈΡ‚Π΅Π»ΡŒΠ½Ρ‹ΠΉ ΠΎΠ±ΠΌΠ΅Π½ ΠΊΠ»ΡŽΡ‡Π°ΠΌΠΈ ΠΏΠΎ сСкрСтному ΠΊΠ°Π½Π°Π»Ρƒ связи;

2) ΡΡ‚ΠΎΠΉΠΊΠΎΡΡ‚ΡŒ ΡˆΠΈΡ„Ρ€Π° зависит ΠΎΡ‚ слоТности Ρ€Π΅ΡˆΠ΅Π½ΠΈΡ Ρ‚Ρ€ΡƒΠ΄Π½ΠΎΠΉ матСматичСской Π·Π°Π΄Π°Ρ‡ΠΈ инвСртирования одностороннСй Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΈ с сСкрСтом.

ΠžΠΏΠΈΡΠ°Π½Π½ΡƒΡŽ систСму Π½Π°Π·Ρ‹Π²Π°ΡŽΡ‚ криптосистСмой с ΠΎΡ‚ΠΊΡ€Ρ‹Ρ‚Ρ‹ΠΌ ΠΊΠ»ΡŽΡ‡ΠΎΠΌ, ΠΏΠΎΡΠΊΠΎΠ»ΡŒΠΊΡƒ Π°Π»Π³ΠΎΡ€ΠΈΡ‚ΠΌ ΡˆΠΈΡ„Ρ€ΠΎΠ²Π°Π½ΠΈΡ FK являСтся общСдоступным ΠΈΠ»ΠΈ ΠΎΡ‚ΠΊΡ€Ρ‹Ρ‚Ρ‹ΠΌ. Π’ послСднСС врСмя Ρ‚Π°ΠΊΠΈΠ΅ криптосистСмы Π΅Ρ‰Π΅ Π½Π°Π·Ρ‹Π²Π°ΡŽΡ‚ асиммСтричными, ΠΏΠΎΡΠΊΠΎΠ»ΡŒΠΊΡƒ Π² Π½ΠΈΡ… Π΅ΡΡ‚ΡŒ асиммСтрия Π² Π°Π»Π³ΠΎΡ€ΠΈΡ‚ΠΌΠ°Ρ…: Π°Π»Π³ΠΎΡ€ΠΈΡ‚ΠΌΡ‹ ΡˆΠΈΡ„Ρ€ΠΎΠ²Π°Π½ΠΈΡ ΠΈ Π΄Π΅ΡˆΠΈΡ„Ρ€ΠΎΠ²Π°Π½ΠΈΡ Ρ€Π°Π·Π»ΠΈΡ‡Π½Ρ‹. Π’ ΠΎΡ‚Π»ΠΈΡ‡ΠΈΠ΅ ΠΎΡ‚ Ρ‚Π°ΠΊΠΈΡ… систСм Ρ‚Ρ€Π°Π΄ΠΈΡ†ΠΈΠΎΠ½Π½Ρ‹Π΅ ΡˆΠΈΡ„Ρ€Ρ‹ Π½Π°Π·Ρ‹Π²Π°ΡŽΡ‚ симмСтричными: Π² Π½ΠΈΡ… ΠΊΠ»ΡŽΡ‡ для ΡˆΠΈΡ„Ρ€ΠΎΠ²Π°Π½ΠΈΡ ΠΈ Π΄Π΅ΡˆΠΈΡ„Ρ€ΠΎΠ²Π°Π½ΠΈΡ ΠΎΠ΄ΠΈΠ½ ΠΈ Ρ‚ΠΎΡ‚ ΠΆΠ΅, ΠΈ ΠΈΠΌΠ΅Π½Π½ΠΎ поэтому Π΅Π³ΠΎ Π½ΡƒΠΆΠ½ΠΎ Ρ…Ρ€Π°Π½ΠΈΡ‚ΡŒ Π² сСкрСтС. Для асиммСтричных систСм Π°Π»Π³ΠΎΡ€ΠΈΡ‚ΠΌ ΡˆΠΈΡ„Ρ€ΠΎΠ²Π°Π½ΠΈΡ общСизвСстСн, Π½ΠΎ Π²ΠΎΡΡΡ‚Π°Π½ΠΎΠ²ΠΈΡ‚ΡŒ ΠΏΠΎ Π½Π΅ΠΌΡƒ Π°Π»Π³ΠΎΡ€ΠΈΡ‚ΠΌ Π΄Π΅ΡˆΠΈΡ„Ρ€ΠΎΠ²Π°Π½ΠΈΡ Π·Π° полиномиальноС врСмя Π½Π΅Π²ΠΎΠ·ΠΌΠΎΠΆΠ½ΠΎ.

ΠžΠΏΠΈΡΠ°Π½Π½ΡƒΡŽ Π²Ρ‹ΡˆΠ΅ идСю Π”ΠΈΡ„Ρ„ΠΈ ΠΈ Π₯Сллмэн ΠΏΡ€Π΅Π΄Π»ΠΎΠΆΠΈΠ»ΠΈ ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΠΎΠ²Π°Ρ‚ΡŒ Ρ‚Π°ΠΊΠΆΠ΅ для Ρ†ΠΈΡ„Ρ€ΠΎΠ²ΠΎΠΉ подписи сообщСний, ΠΊΠΎΡ‚ΠΎΡ€ΡƒΡŽ Π½Π΅Π²ΠΎΠ·ΠΌΠΎΠΆΠ½ΠΎ ΠΏΠΎΠ΄Π΄Π΅Π»Π°Ρ‚ΡŒ Π·Π° полиномиальноС врСмя. ΠŸΡƒΡΡ‚ΡŒ ΠΏΠΎΠ»ΡŒΠ·ΠΎΠ²Π°Ρ‚Π΅Π»ΡŽ A Π½Π΅ΠΎΠ±Ρ…ΠΎΠ΄ΠΈΠΌΠΎ ΠΏΠΎΠ΄ΠΏΠΈΡΠ°Ρ‚ΡŒ сообщСниС x. Он, зная сСкрСт K, Π½Π°Ρ…ΠΎΠ΄ΠΈΡ‚ Ρ‚Π°ΠΊΠΎΠ΅ y, Ρ‡Ρ‚ΠΎ FK(y) = x, ΠΈ посылаСт y ΠΏΠΎΠ»ΡŒΠ·ΠΎΠ²Π°Ρ‚Π΅Π»ΡŽ B Π² качСствС своСй Ρ†ΠΈΡ„Ρ€ΠΎΠ²ΠΎΠΉ подписи. ΠŸΠΎΠ»ΡŒΠ·ΠΎΠ²Π°Ρ‚Π΅Π»ΡŒ B Ρ…Ρ€Π°Π½ΠΈΡ‚ y Π² качСствС Π΄ΠΎΠΊΠ°Π·Π°Ρ‚Π΅Π»ΡŒΡΡ‚Π²Π° Ρ‚ΠΎΠ³ΠΎ, Ρ‡Ρ‚ΠΎ A подписал сообщСниС x. Π­Ρ‚ΠΎ Π΄ΠΎΠΊΠ°Π·Π°Ρ‚Π΅Π»ΡŒΡΡ‚Π²ΠΎ Π½Π΅ΠΎΠΏΡ€ΠΎΠ²Π΅Ρ€ΠΆΠΈΠΌΠΎ, ΠΏΠΎΡΠΊΠΎΠ»ΡŒΠΊΡƒ Π½ΠΈΠΊΡ‚ΠΎ Π΄Ρ€ΡƒΠ³ΠΎΠΉ Π² силу свойства Π±) одностороннСй Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΈ с сСкрСтом Π½Π΅ смоТСт Π·Π° полиномиальноС врСмя ΠΏΠΎ извСстному ΡΠΎΠΎΠ±Ρ‰Π΅Π½ΠΈΡŽ x=FK(y) ΠΏΠΎΠ΄Π΄Π΅Π»Π°Ρ‚ΡŒ Ρ†ΠΈΡ„Ρ€ΠΎΠ²ΡƒΡŽ подпись y.

Π’ дальнСйшСм Π½Π° основС Π°Π½Π°Π»ΠΎΠ³ΠΈΡ‡Π½Ρ‹Ρ… рассуТдСний Π±Ρ‹Π» ΠΏΡ€Π΅Π΄Π»ΠΎΠΆΠ΅Π½ Π΅Ρ‰Π΅ Ρ†Π΅Π»Ρ‹ΠΉ ряд Ρ‚Π°ΠΊ Π½Π°Π·Ρ‹Π²Π°Π΅ΠΌΡ‹Ρ… криптографичСских ΠΏΡ€ΠΎΡ‚ΠΎΠΊΠΎΠ»ΠΎΠ². Π­Ρ‚ΠΈ ΠΏΡ€ΠΎΡ‚ΠΎΠΊΠΎΠ»Ρ‹ ΠΏΠΎΠ·Π²ΠΎΠ»ΠΈΠ»ΠΈ Ρ€Π΅ΡˆΠΈΡ‚ΡŒ ΠΌΠ½ΠΎΠ³ΠΎ Π½ΠΎΠ²Ρ‹Ρ… Π·Π°Π΄Π°Ρ‡ взаимодСйствия ΡƒΠ΄Π°Π»Π΅Π½Π½Ρ‹Ρ… ΠΏΠΎΠ»ΡŒΠ·ΠΎΠ²Π°Ρ‚Π΅Π»Π΅ΠΉ ΠΏΠΎ тСхничСским ΠΊΠ°Π½Π°Π»Π°ΠΌ связи Π² условиях Ρ€Π°Π·Π»ΠΈΡ‡Π½Ρ‹Ρ… ΡƒΠ³Ρ€ΠΎΠ· (ΠΏΠΎΠ΄Ρ€ΠΎΠ±Π½Π΅Π΅ ΠΎΠ± этом см. ΡΡ‚ΡŽΠ΄ 3.8).

3.3. Числа и поля

Π—Π°Π½ΠΈΠΌΠ°ΡΡΡŒ ΠΌΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΠΊΠΎΠΉ, Π²Ρ‹ постоянно ΠΏΠΎΠ»ΡŒΠ·ΡƒΠ΅Ρ‚Π΅ΡΡŒ ΠΎΡ‡Π΅Π²ΠΈΠ΄Π½Ρ‹ΠΌΠΈ свойствами Π΄Π΅ΠΉΡΡ‚Π²ΠΈΡ‚Π΅Π»ΡŒΠ½Ρ‹Ρ… чисСл, Π΄Π°ΠΆΠ΅ Π½Π΅ замСчая этого, Π½Π°ΠΏΡ€ΠΈΠΌΠ΅Ρ€: сумма чисСл Π½Π΅ зависит ΠΎΡ‚ порядка слагаСмых.

ΠŸΡ€ΠΈΠ²Π΅Π΄Π΅ΠΌ основныС свойства ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΉ слоТСния ΠΈ умноТСния Π½Π° мноТСствС Π΄Π΅ΠΉΡΡ‚Π²ΠΈΡ‚Π΅Π»ΡŒΠ½Ρ‹Ρ… чисСл F.

1) Π”ля ΠΊΠ°ΠΆΠ΄Ρ‹Ρ… Ρ‚Ρ€Π΅Ρ… элСмСнтов a, b, c ∈ F a+(b+c)=(a+b)+c.

2) Π’ мноТСствС F Π΅ΡΡ‚ΡŒ элСмСнт 0 Ρ‚Π°ΠΊΠΎΠΉ, Ρ‡Ρ‚ΠΎ для ΠΊΠ°ΠΆΠ΄ΠΎΠ³ΠΎ a ∈ F a+0=0+a=a.

3) Π”ля ΠΊΠ°ΠΆΠ΄ΠΎΠ³ΠΎ элСмСнта a ∈ F сущСствуСт Ρ‚Π°ΠΊΠΎΠΉ элСмСнт x ∈ F, Ρ‡Ρ‚ΠΎ a+x=x+a=0 (Ρ‚Π°ΠΊΠΎΠΉ элСмСнт называСтся ΠΏΡ€ΠΎΡ‚ΠΈΠ²ΠΎΠΏΠΎΠ»ΠΎΠΆΠ½Ρ‹ΠΌ ΠΊ Π΄Π°Π½Π½ΠΎΠΌΡƒ).

4) Π”ля ΠΊΠ°ΠΆΠ΄Ρ‹Ρ… Π΄Π²ΡƒΡ… элСмСнтов a, b ∈ F a+b=b+a.

5) Π”ля ΠΊΠ°ΠΆΠ΄Ρ‹Ρ… Ρ‚Ρ€Π΅Ρ… элСмСнтов a, b, c ∈ F aβˆ™(bβˆ™c)=(aβˆ™b)βˆ™c.

6) Π’ мноТСствС F Π΅ΡΡ‚ΡŒ элСмСнт 1 (Π½Π΅ Ρ€Π°Π²Π½Ρ‹ΠΉ 0) Ρ‚Π°ΠΊΠΎΠΉ, Ρ‡Ρ‚ΠΎ для ΠΊΠ°ΠΆΠ΄ΠΎΠ³ΠΎ a ∈ F aβˆ™1=1βˆ™a=a.

7) Π”ля ΠΊΠ°ΠΆΠ΄ΠΎΠ³ΠΎ элСмСнта a ∈ F, aβ‰ 0 сущСствуСт Ρ‚Π°ΠΊΠΎΠΉ элСмСнт x ∈ F, Ρ‡Ρ‚ΠΎ aβˆ™x=xβˆ™a=1 (Ρ‚Π°ΠΊΠΎΠΉ элСмСнт называСтся ΠΎΠ±Ρ€Π°Ρ‚Π½Ρ‹ΠΌ ΠΊ Π΄Π°Π½Π½ΠΎΠΌΡƒ).

8) Π”ля ΠΊΠ°ΠΆΠ΄Ρ‹Ρ… Π΄Π²ΡƒΡ… элСмСнтов a, b ∈ F aβˆ™b=bβˆ™a.