рдЕрд╕рдордорд┐рдд рдХреНрд░рд┐рдкреНрдЯреЛрдЧреНрд░рд╛рдлрд┐рдХ рдХреБрдВрдЬреА рд╡рд┐рддрд░рдг рдкреНрд░реЛрдЯреЛрдХреЙрд▓: Denning - Sacco, DASS, рд╡реВ рд▓рд╛рдорд╛

рдкреНрд░рд╕реНрддрд╛рд╡рдирд╛
рдпрд╣ рдкрд╛рда рд░реЗрдбрд┐рдпреЛ рдЗрдВрдЬреАрдирд┐рдпрд░рд┐рдВрдЧ рдФрд░ рдирд┐рдпрдВрддреНрд░рдг рдкреНрд░рдгрд╛рд▓реА рд╡рд┐рднрд╛рдЧ рдХреЗ рд╕реВрдЪрдирд╛ рд╕рдВрд░рдХреНрд╖рдг рдкрд░ рдореИрдиреБрдЕрд▓ рдХреЗ рд▓рд┐рдП рдлрд┐рд░ рд╕реЗ рд▓рд┐рдЦреЗ рдЧрдП рдЕрдзреНрдпрд╛рдпреЛрдВ рдореЗрдВ рд╕реЗ рдПрдХ рд╣реЛрдЧрд╛, рд╕рд╛рде рд╣реА рдЗрд╕ рдкреНрд░рд╢рд┐рдХреНрд╖рдг рдХреЛрдб рд╕реЗ, рдорд╛рд╕реНрдХреЛ рдЗрдВрд╕реНрдЯреАрдЯреНрдпреВрдЯ рдСрдл рдлрд┐рдЬрд┐рдХреНрд╕ рдПрдВрдб рдЯреЗрдХреНрдиреЛрд▓реЙрдЬреА рдХреЗ рд╕реВрдЪрдирд╛ рд╕рдВрд░рдХреНрд╖рдг рд╡рд┐рднрд╛рдЧред рдкреВрд░рд╛ рдЯреНрдпреВрдЯреЛрд░рд┐рдпрд▓ рдЬреАрдердм рдкрд░ рдЙрдкрд▓рдмреНрдз рд╣реИ ( рдбреНрд░рд╛рдлреНрдЯ рд░рд┐рд▓реАрдЬ рднреА рджреЗрдЦреЗрдВ)ред рд╣рдмреАрд░ рдкрд░ рдореЗрд░реА рдпреЛрдЬрдирд╛ рдирдП "рдмрдбрд╝реЗ" рдЯреБрдХрдбрд╝реЗ рд░рдЦрдиреЗ рдХреА рд╣реИ, рд╕рдмрд╕реЗ рдкрд╣рд▓реЗ, рдЙрдкрдпреЛрдЧреА рдЯрд┐рдкреНрдкрдгрд┐рдпреЛрдВ рдФрд░ рдЯрд┐рдкреНрдкрдгрд┐рдпреЛрдВ рдХреЛ рдЗрдХрдЯреНрдард╛ рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП, рдФрд░ рджреВрд╕рд░реА рдмрд╛рдд, рд╕рдореБрджрд╛рдп рдХреЛ рдЙрдкрдпреЛрдЧреА рдФрд░ рджрд┐рд▓рдЪрд╕реНрдк рд╡рд┐рд╖рдпреЛрдВ рдкрд░ рдЕрдзрд┐рдХ рдЕрд╡рд▓реЛрдХрди рд╕рд╛рдордЧреНрд░реА рджреЗрдиреЗ рдХреЗ рд▓рд┐рдПред рдЕрдзреНрдпрд╛рдп "рдХреНрд░рд┐рдкреНрдЯреЛрдЧреНрд░рд╛рдлрд╝рд┐рдХ рдкреНрд░реЛрдЯреЛрдХреЙрд▓" рдХреЗ рдкрд┐рдЫрд▓реЗ рднрд╛рдЧ: 1 , 2 , 3 , 4 , 5 ; рдЕрдЧрд▓реЗ рдХреНрд░рдо рдореЗрдВ: 7

рд╕рд╛рд░реНрд╡рдЬрдирд┐рдХ рдХреБрдВрдЬреА рдХреЗ рд╕рд╛рде рдХреНрд░рд┐рдкреНрдЯреЛрд╕рд┐рд╕реНрдЯрдо рдкрд░ рдЖрдзрд╛рд░рд┐рдд рдЕрд╕рдордорд┐рдд рдкреНрд░реЛрдЯреЛрдХреЙрд▓ рдпрд╛ рдкреНрд░реЛрдЯреЛрдХреЙрд▓, рдкреНрд░реЛрдЯреЛрдХреЙрд▓ рдХреЗ рдкреНрд░рд╛рд░рдВрднрд┐рдХ рдЪрд░рдг рдХреА рдЖрд╡рд╢реНрдпрдХрддрд╛рдУрдВ рдХреЛ рдХрдордЬреЛрд░ рдХрд░ рд╕рдХрддреЗ рд╣реИрдВред рдПрдХ рд╕рд╛рдЭрд╛ рдЧреБрдкреНрдд рдХреБрдВрдЬреА рдХреЗ рдмрдЬрд╛рдп, рджреЛ рдкрд╛рд░реНрдЯрд┐рдпреЛрдВ рдХреЗ рдкрд╛рд╕ (рдпрд╛ рддреЛ рдкреНрд░рддреНрдпреЗрдХ рдкрд╛рд░реНрдЯреА рдФрд░ рдПрдХ рд╡рд┐рд╢реНрд╡рд╕рдиреАрдп рдХреЗрдВрджреНрд░) рд╣реЛрдирд╛ рдЪрд╛рд╣рд┐рдП, рдиреАрдЪреЗ рджрд┐рдП рдЧрдП рдкреНрд░реЛрдЯреЛрдХреЙрд▓ рдореЗрдВ, рдкрд╛рд░реНрдЯрд┐рдпреЛрдВ рдХреЛ рдкрд╣рд▓реЗ рд╕рд╛рд░реНрд╡рдЬрдирд┐рдХ рдХреБрдВрдЬреА (рдЕрдкрдиреЗ рдпрд╛ рдХрд┐рд╕реА рд╡рд┐рд╢реНрд╡рд╕рдиреАрдп рдХреЗрдВрджреНрд░ рдХреЗ рд╕рд╛рде) рдХрд╛ рдЖрджрд╛рди-рдкреНрд░рджрд╛рди рдХрд░рдирд╛ рд╣реЛрдЧрд╛ред рдЗрд╕ рддрд░рд╣ рдХрд╛ рдПрдХ рдкреНрд░рд╛рд░рдВрднрд┐рдХ рдЖрджрд╛рди-рдкреНрд░рджрд╛рди рдПрдХ рдЦреБрд▓реЗ рд╕рдВрдЪрд╛рд░ рдЪреИрдирд▓ рдкрд░ рд╣реЛ рд╕рдХрддрд╛ рд╣реИ, рдЗрд╕ рдзрд╛рд░рдгрд╛ рдХреЗ рддрд╣рдд рдХрд┐ рдХреНрд░рд┐рдкреНрдЯреИрдирд╛рд▓рд┐рд╕реНрдЯ рдЗрд╕ рд╕реНрддрд░ рдкрд░ рд╕рдВрдЪрд╛рд░ рдЪреИрдирд▓ рдХреА рд╕рд╛рдордЧреНрд░реА рдХреЛ рдкреНрд░рднрд╛рд╡рд┐рдд рдирд╣реАрдВ рдХрд░ рд╕рдХрддрд╛ рд╣реИред

рдЗрдирдХрд╛рд░ рдкреНрд░реЛрдЯреЛрдХреЙрд▓ - Sacco


рдкреНрд░реЛрдЯреЛрдХреЙрд▓ 1981 рдореЗрдВ рдбреЛрд░реЛрдереА рдбреЗрдирд┐рдВрдЧ рдФрд░ рдЬрд┐рдпреЛрд╡рд╛рдиреА рд╕реИрдХреЛ рджреНрд╡рд╛рд░рд╛ рдкреНрд░рд╕реНрддрд╛рд╡рд┐рдд рдХрд┐рдпрд╛ рдЧрдпрд╛ рдерд╛ (рдЕрдВрдЧреНрд░реЗрдЬреА рдбреЛрд░реЛрдереА рдИред рдбреИрдирд┐рдВрдЧ, рдЬрд┐рдпреЛрд╡рдиреА рдорд╛рд░рд┐рдпрд╛ рд╕реИрдХреЛ )ред рдЗрд╕ рдкреНрд░реЛрдЯреЛрдХреЙрд▓ рдореЗрдВ, рд╕рд░реНрдЬрдХ (рдРрд▓рд┐рд╕) рдПрдХ рд╣реА рдмрд╛рд░ рдореЗрдВ рджреЛрдиреЛрдВ рдкреНрд░рддрд┐рднрд╛рдЧрд┐рдпреЛрдВ рдХреЗ рдкреНрд░рдорд╛рдгрдкрддреНрд░ рдХреЗ рд▓рд┐рдП рд╡рд┐рд╢реНрд╡рд╕рдиреАрдп рдХреЗрдВрджреНрд░ (рдЯреНрд░реЗрдВрдЯ) рдореЗрдВ рдмрджрд▓ рдЬрд╛рддрд╛ рд╣реИред рдирдП рд╕рддреНрд░ рдХреБрдВрдЬреА рдХреЗ рдЧрдарди рдХреЗ рд▓рд┐рдП рд╡рд╣реА рдкреНрд░рддрд┐рднрд╛рдЧреА рднреА рдЬрд┐рдореНрдореЗрджрд╛рд░ рд╣реИред ред

тАФ

  1. рдРрд▓рд┐рд╕ \ рд╕реЗ \ рд▓реЗрдлреНрдЯ \ {рдП, рдмреА \ рд░рд╛рдЗрдЯ \} рд╕реЗ рдЯреНрд░реЗрдВрдЯ
  2. Trent \ to \ left \ {S_T (A, K_A, T_T), S_T (B, K_B, T_T) \ рджрд╛рдПрдБ \} рдРрд▓рд┐рд╕ $ рдХреЗ рд▓рд┐
  3. рдРрд▓рд┐рд╕ рдПрдХ рдирдпрд╛ рд╕рддреНрд░ рдХреБрдВрдЬреА рдЙрддреНрдкрдиреНрди рдХрд░рддрд╛ рд╣реИ
    \ _ {рд╕рд░рдгреА} {lll} рдРрд▓рд┐рд╕ \ _ \ _ рдФрд░ E_B (S_A (K, T_A)), рдФрд░ \\ & S_T (A, K_A, T_T), рдФрд░ \\ & S_T (B, K_B, T_T) рдмреЙрдм рдХреЗ рд▓рд┐рдП & \ _ \ {{рд╕рд░рдгреА}
  4. рдмреЙрдм рдкреНрд░рдорд╛рдгрдкрддреНрд░ рдкрд░ рд╡рд┐рд╢реНрд╡рд╛рд╕ рдХреЗрдВрджреНрд░ рд╣рд╕реНрддрд╛рдХреНрд╖рд░ рдХреА рдкреБрд╖реНрдЯрд┐ рдХрд░рддрд╛ рд╣реИ рд╕рддреНрд░ рдХреБрдВрдЬреА рдХреБрдВрдЬреА рдФрд░ рдРрд▓рд┐рд╕ рдХреЗ рд╣рд╕реНрддрд╛рдХреНрд╖рд░ рдХреА рдкреБрд╖реНрдЯрд┐ рдХрд░рддрд╛ рд╣реИред

рд╕рдВрджреЗрд╢ рдЧреБрдо рд╣реИ рдХреЛрдИ рднреА рдкрд╣рдЪрд╛рдирдХрд░реНрддрд╛ рдкреНрд░реЛрдЯреЛрдХреЙрд▓ рдХреЛ рдЬреНрдЮрд╛рдд рд╕рддреНрд░ рдХреБрдВрдЬреА рдХреЗ рд╕рд╛рде рдПрдХ рд╣рдорд▓реЗ рдХреЗ рд▓рд┐рдП рдЕрд╕реБрд░рдХреНрд╖рд┐рдд рдмрдирд╛рддрд╛ рд╣реИ рдФрд░ рджреВрд╕рд░реЗ рдкрдХреНрд╖ (рдмреЙрдм) рдХреЛ рд╕рддреНрд░ (рддреАрд╕рд░реЗ рдкрдХреНрд╖) рдХреЗ рд╕рд╛рде рд╕рддреНрд░ рдореЗрдВ рд╕рд░реНрдЬрдХ (рдРрд▓рд┐рд╕) рдХреЛ рдкреНрд░рддрд┐рд░реВрдкрд┐рдд рдХрд░рдиреЗ рдХреА рдЕрдиреБрдорддрд┐ рджреЗрддрд╛ рд╣реИред

тАФ

  1. рдРрд▓рд┐рд╕ рдФрд░ рдмреЙрдм рдХреЗ рдкрд╛рд╕ рдПрдХ рдкреНрд░реЛрдЯреЛрдХреЙрд▓ рд╕рддреНрд░ рдерд╛, рдЬрд┐рд╕рд╕реЗ рдПрдХ рдирдпрд╛ рд╕рддреНрд░ рдХреБрдВрдЬреА рдмрди рдЧрдпрд╛ ред
  2. рдмреЙрдм \ _ to \ left \ {B, C \ right \} \ рдХреЛ рдЯреНрд░реЗрдВрдЯ
  3. Trent \ to \ left \ {S_T (B, K_B, T_T), S_T (C, K_C, T_T) \ рджрд╛рдПрдБ \} \ рд╕реЗ рдмреЙрдм
  4. рдмреЙрдм рд╕рдВрджреЗрд╢ рдирд┐рднрд╛рддрд╛ рд╣реИ рдФрд░ рдПрд▓рд┐рд╕ рд╕реЗ рдХреНрд▓рд╛рд░рд╛ рдХреЗ рд╕рд╛рде рдПрдХ рд╕рддреНрд░ рдореЗрдВ:
    \ start {array} {lll} Bob ~ (рдРрд▓рд┐рд╕) \ to \ {& E_C (S_A (K, T_A)), рдФрд░ \\ & S_T (A, K_A, T_T), рдФрд░ \\ рдФрд░ S_T (C,) K_C, T_T) рдФрд░ \} \ рдХреНрд▓рд╛рд░рд╛ \ рдЕрдВрдд {рд╕рд░рдгреА}
  5. рдХреНрд▓рд╛рд░рд╛ рдкреНрд░рдорд╛рдгрдкрддреНрд░ рдкрд░ рд╡рд┐рд╢реНрд╡рд╕рдиреАрдп рдХреЗрдВрджреНрд░ рдХреЗ рд╣рд╕реНрддрд╛рдХреНрд╖рд░ рдХреЛ рд╕рдлрд▓рддрд╛рдкреВрд░реНрд╡рдХ рд╕рддреНрдпрд╛рдкрд┐рдд рдХрд░рддрд╛ рд╣реИ рд╕рддреНрд░ рдХреБрдВрдЬреА рдХреБрдВрдЬреА рдФрд░ рдРрд▓рд┐рд╕ рдХреЗ рд╣рд╕реНрддрд╛рдХреНрд╖рд░ рдХреА рдкреБрд╖реНрдЯрд┐ рдХрд░рддрд╛ рд╣реИред

рдирддреАрдЬрддрди, рдХреНрд▓рд╛рд░рд╛ рд╕реБрдирд┐рд╢реНрдЪрд┐рдд рд╣реИ рдХрд┐ рдЙрд╕реЗ рдРрд▓рд┐рд╕ рд╕реЗ рдПрдХ рдирдпрд╛ рд╕рддреНрд░ рдХреБрдВрдЬреА рдкреНрд░рд╛рдкреНрдд рд╣реБрдИред ред

DASS рдкреНрд░реЛрдЯреЛрдХреЙрд▓


рдбреАрдПрдПрд╕ рдкреНрд░реЛрдЯреЛрдХреЙрд▓ рдбреАрдИрд╕реА рджреНрд╡рд╛рд░рд╛ рд╡рд┐рдХрд╕рд┐рдд рдФрд░ рдЖрд░рдПрдлрд╕реА 1507 рдореЗрдВ рд╕рд┐рддрдВрдмрд░ 1993 рдореЗрдВ рд╡рд░реНрдгрд┐рдд рдбрд┐рд╕реНрдЯреНрд░реАрдмреНрдпреВрдЯреЗрдб рдСрдереЗрдВрдЯрд┐рдХреЗрд╢рди рд╕рд┐рдХреНрдпреЛрд░рд┐рдЯреА рд╕рд░реНрд╡рд┐рд╕ (рдбреАрдПрдПрд╕рдПрд╕) рдХрд╛ рдПрдХ рдЕрднрд┐рдиреНрди рд╣рд┐рд╕реНрд╕рд╛ рдерд╛ред

DASS рдкреНрд░реЛрдЯреЛрдХреЙрд▓ рдореЗрдВ, рд╡рд╛рдЗрдб-рдорд╛рдЙрде рдлреНрд░реЙрдЧ рдФрд░ рдбреЗрдирд┐рдВрдЧ - Sacco рдкреНрд░реЛрдЯреЛрдХреЙрд▓ рдХреЗ рд╕рд╛рде рд╕рдорд╛рдирддрд╛ рд╕реЗ, рд╕рд░реНрдЬрдХ (рдРрд▓рд┐рд╕) рдПрдХ рдирдпрд╛ рд╕рддреНрд░ рдХреБрдВрдЬреА рдмрдирд╛рддрд╛ рд╣реИ рдФрд░, рдкреНрд░рддреНрдпреЗрдХ рдкреНрд░реЛрдЯреЛрдХреЙрд▓ рд╕рддреНрд░ рдХреЗ рд▓рд┐рдП, рдкреНрд░реЗрд╖рдХ рдХреА рд╕рд╛рд░реНрд╡рдЬрдирд┐рдХ рдФрд░ рдирд┐рдЬреА рдХреБрдВрдЬреА рдХреА рдПрдХ рдирдИ рдЬреЛрдбрд╝реАред рдЯреНрд░рд╕реНрдЯреЗрдб рд╕реЗрдВрдЯрд░ (рдЯреНрд░реЗрдВрдЯ) рдХрд╛ рдЙрдкрдпреЛрдЧ рдкреНрд░рддрд┐рднрд╛рдЧрд┐рдпреЛрдВ рдХреЗ рд╕рд╛рд░реНрд╡рдЬрдирд┐рдХ рдХреБрдВрдЬреА рдкреНрд░рдорд╛рдгрдкрддреНрд░реЛрдВ рдХреЗ рднрдВрдбрд╛рд░ рдХреЗ рд░реВрдк рдореЗрдВ рдХрд┐рдпрд╛ рдЬрд╛рддрд╛ рд╣реИред рд▓реЗрдХрд┐рди Denning-Sacco рдХреЗ рд╡рд┐рдкрд░реАрдд, рджреЛрдиреЛрдВ рдкреНрд░рддрд┐рднрд╛рдЧреА рдмрд╛рд░реА-рдмрд╛рд░реА рд╕реЗ рд╡рд┐рд╢реНрд╡рд╕рдиреАрдп рдХреЗрдВрджреНрд░ рдХреА рдУрд░ рд░реБрдЦ рдХрд░рддреЗ рд╣реИрдВред

DASS

  1. рдРрд▓реНрдЯ \ _ рдХреЛ рдЯреНрд░реЗрдВрдЯ $ $ \ _ \ _ \
  2. Trent \ to \ left \ {S_T \ left (B, K_B \ right) \ right \} рдХреЛ Alice
  3. рдРрд▓рд┐рд╕ \ to \ рдмрд╛рдпрд╛рдВ \ {рдИ_рдХреЗ \ рд▓реЗрдлреНрдЯ (рдЯреА_рдП \ рд░рд╛рдЗрдЯ), рдПрд╕_рдП \ рд▓реЗрдлреНрдЯ (рдПрд▓, рдП, рдХреЗ_рдкреА \ рд░рд╛рдЗрдЯ), рдПрд╕_ {рдХреЗ_рдкреА} \ рд▓реЗрдлреНрдЯ (рдИ_B \ _ рд▓реЗрдлреНрдЯ (рдХреЗ \ рд░рд╛рдЗрдЯ) \ рд░рд╛рдЗрдЯ) \ рд░рд╛рдЗрдЯ $ рдмреЙрдм рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП \}
  4. рдмреЙрдм \ _ рд╕реЗ рдмрд╛рдПрдБ $ {рдЯреНрд░реЗрдВрдЯ $ рдХреЗ рд▓рд┐рдП {A \ right \
  5. Trent \ to \ left \ {S_T \ left (A, K_A \ right) \ right \} to Bob
  6. Bob \ to \ left \ {E_K \ left \ {T_B \ right \} \ right \} рдХреЛ Alice

рд╕рд╛рд░реНрд╡рдЬрдирд┐рдХ рдХреБрдВрдЬреА рдкреНрд░рдорд╛рдг рдкрддреНрд░ рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рдирд╛ \ рдмрд╛рдПрдБ \ {S_T \ рдмрд╛рдПрдБ (B, K_B \ рджрд╛рдПрдБ) \ рджрд╛рдПрдБ \} рдФрд░ \ рдмрд╛рдПрдБ \ {S_T \ рдмрд╛рдПрдБ (A, K_A \ рджрд╛рдПрдБ) \ рджрд╛рдПрдБ \} рдЯреНрд░реЗрдВрдЯ рднреЗрдЬрддрд╛ рд╣реИ, рдФрд░ рдЗрд╕реА рдХреБрдВрдЬреА рдХреЗ рд╕реНрд╡рд╛рдорд┐рддреНрд╡ рдХреА рдЖрдЧреЗ рдХреА рдкреБрд╖реНрдЯрд┐, рдкреНрд░рддрд┐рднрд╛рдЧрд┐рдпреЛрдВ рдХреЛ рдПрдХ рджреВрд╕рд░реЗ рдХреЛ рдкреНрд░рдорд╛рдгрд┐рдд рдХрд░ рд╕рдХрддреЗ рд╣реИрдВред рд╕рдВрджреЗрд╢реЛрдВ рд╕реЗ рдЯрд╛рдЗрдорд╕реНрдЯреИрдореНрдк рдХреЛ рд╕рдлрд▓рддрд╛рдкреВрд░реНрд╡рдХ рдбрд┐рдХреНрд░рд┐рдкреНрдЯ рдХрд░рдирд╛ рдФрд░ E_K \ left \ {T_B \ right \} рд╕рддреНрд░ рдХреБрдВрдЬреА рдХреЗ рд╕реНрд╡рд╛рдорд┐рддреНрд╡ рдХрд╛ рдкреНрд░рдорд╛рдг рдкреНрд░рджрд╛рди рдХрд░рддрд╛ рд╣реИред

рдкреНрд░реЛрдЯреЛрдХреЙрд▓ рдПрдХ рдЬреАрд╡рдирдХрд╛рд▓ рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рддрд╛ рд╣реИ ( рдПрд▓) рд╕рддреНрд░ рдХреБрдВрдЬреА рд▓реЗрдХрд┐рди рдЯрд╛рдЗрдорд╕реНрдЯреИрдореНрдк рд╕рдВрджреЗрд╢ рдореЗрдВ рд╢рд╛рдорд┐рд▓ рдирд╣реАрдВ рд╣реИред рдирддреАрдЬрддрди, рдкреНрд░реЛрдЯреЛрдХреЙрд▓ рдПрдХ рдЬреНрдЮрд╛рдд рд╕рддреНрд░ рдХреБрдВрдЬреА рдХреЗ рд╕рд╛рде рд╣рдорд▓реЗ рдХреЗ рд▓рд┐рдП рдЕрд╕реБрд░рдХреНрд╖рд┐рдд рд░рд╣рддрд╛ рд╣реИред рдорд╛рди рд▓реАрдЬрд┐рдП рдХрд┐ рдореЗрд▓реЛрд░реА рдПрд▓рд┐рд╕ рдФрд░ рдмреЙрдм рдХреЗ рдмреАрдЪ рдПрдХ рдкреВрд░реА рддрд░рд╣ рд╕реЗ рдкрд┐рдЫрд▓реЗ рд╕рдВрдЪрд╛рд░ рд╕рддреНрд░ рдХреЛ рд░рд┐рдХреЙрд░реНрдб рдХрд░рдиреЗ рдореЗрдВ рд╕рдХреНрд╖рдо рдерд╛, рдФрд░ рдлрд┐рд░ рд╕рддреНрд░ рдХреБрдВрдЬреА рддрдХ рдкрд╣реБрдВрдЪрдиреЗ рдореЗрдВ рд╕рдХреНрд╖рдо рдерд╛ ред рдпрд╣ рдореЗрд▓реЛрд░реА рдХреЛ рдмреЙрдм рдХреЗ рд╕рд╛рдордиреЗ рдЦреБрдж рдХреЛ рдРрд▓рд┐рд╕ рдХреЗ рд░реВрдк рдореЗрдВ рдкреНрд░рдорд╛рдгрд┐рдд рдХрд░рдиреЗ рдХреА рдЕрдиреБрдорддрд┐ рджреЗрддрд╛ рд╣реИред

  1. Mellory ~ (рдРрд▓рд┐рд╕) \ to \ left \ {E_K \ рдмрд╛рдПрдБ (T_M \ рджрд╛рдПрдБ), S_A \ рдмрд╛рдПрдБ (L, A, K_P \ рджрд╛рдПрдБ), S_ {K_P} \ рдмрд╛рдПрдБ (E_B) рдмрд╛рдПрдБ (K \ рджрд╛рдПрдБ) \ _ рд╕рд╣реА) рдмреЙрдм рдХреЗ рд▓рд┐рдП \ right \} \
  2. рдмреЙрдм \ _ рд╕реЗ рдмрд╛рдПрдБ $ {рдЯреНрд░реЗрдВрдЯ $ рдХреЗ рд▓рд┐рдП {A \ right \
  3. Trent \ to \ left \ {S_T \ left (A, K_A \ right) \ right \} to Bob
  4. Bob \ to \ left \ {E_K \ left \ {T_B \ right \} \ right \} рдХреЛ Alice

рдкрд╣рд▓реЗ рдкрд╛рд╕ рдкрд░, рдореЗрд▓реЛрд░реА рдХреЗрд╡рд▓ рдкрд╣рд▓рд╛ рд╕рдВрджреЗрд╢ рдмрджрд▓рддрд╛ рд╣реИ рдЬрд┐рд╕рдореЗрдВ рдЯрд╛рдЗрдо рд╕реНрдЯреИрдореНрдк рд╣реЛрддрд╛ рд╣реИ ред Mellory рд░рд┐рдХреЙрд░реНрдб рдХрд┐рдП рдЧрдП рд╕рддреНрд░ рд╕реЗ рдмрд╛рдХреА рдХреЙрдкреА рдХрд░рддрд╛ рд╣реИред рдпрджрд┐ рдмреЙрдм рдЙрдкрдпреЛрдЧ рдХреА рдЧрдИ рдЪрд╛рдмрд┐рдпреЛрдВ рдХреЛ рд░рд┐рдХреЙрд░реНрдб рдирд╣реАрдВ рдХрд░рддрд╛ рд╣реИ, рддреЛ рд╡рд╣ рд╕реНрдкреВрдлрд┐рдВрдЧ рдХреЛ рдиреЛрдЯрд┐рд╕ рдирд╣реАрдВ рдХрд░реЗрдЧрд╛ред рдЗрд╕ рднреЗрджреНрдпрддрд╛ рдХреЗ рд▓рд┐рдП рд╕рдмрд╕реЗ рд╕рд░рд▓ рдирд┐рд░реНрдзрд╛рд░рдг рд╕рдВрджреЗрд╢ рдореЗрдВ рдЯрд╛рдЗрдорд╕реНрдЯреИрдореНрдк рдХреЛ рд╢рд╛рдорд┐рд▓ рдХрд░рдирд╛ рд╣реИред ред

рдЪреВрдВрдХрд┐ рд╕рддреНрд░ рдХреБрдВрдЬреА рдкреНрд░реЛрдЯреЛрдХреЙрд▓ рдореЗрдВ рд╣реИ "рдорд╛рд╕реНрдЯрд░" рдХреБрдВрдЬреА рдмреЙрдм рджреНрд╡рд╛рд░рд╛ рдПрдиреНрдХреНрд░рд┐рдкреНрдЯ рдХрд┐рдпрд╛ рдЧрдпрд╛ , рддреЛ рдмрд╛рдж рдХреЗ рдПрдХ рд╕рдордЭреМрддреЗ рд╕реЗ рд╕рднреА рдкрд╣рд▓реЗ рдЗрд╕реНрддреЗрдорд╛рд▓ рдХрд┐рдП рдЧрдП рд╕рддреНрд░ рдХреБрдВрдЬреА рдХрд╛ рд╕рдордЭреМрддрд╛ рд╣реЛ рдЬрд╛рдПрдЧрд╛ред рдпрд╣реА рд╣реИ, рдкреНрд░реЛрдЯреЛрдХреЙрд▓ рд╕рд╣реА рдкреНрд░рддреНрдпрдХреНрд╖ рдЧреЛрдкрдиреАрдпрддрд╛ (рд▓рдХреНрд╖реНрдп G9) рдкреНрд░рджрд╛рди рдирд╣реАрдВ рдХрд░рддрд╛ рд╣реИред

рдирдП рд╕рддреНрд░ рдХреА рдХреБрдВрдЬреА рдмрдирд╛рдиреЗ рдореЗрдВ рди рддреЛ рдЯреНрд░реЗрдВрдЯ рдФрд░ рди рд╣реА рдмреЙрдм рд╢рд╛рдорд┐рд▓ рд╣реИрдВред рдЗрд╕рд▓рд┐рдП, рдРрд▓рд┐рд╕ рдмреЙрдм рдХреЛ рдкреБрд░рд╛рдиреЗ рд╕рддреНрд░ рдХреА рдХреБрдВрдЬреА рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП рдордЬрдмреВрд░ рдХрд░ рд╕рдХрддрд╛ рд╣реИ, рдЬреИрд╕рд╛ рдХрд┐ рд╡рд╛рдЗрдб-рдорд╛рдЙрде рдлреНрд░реЙрдЧ рдФрд░ рдпрд╣рд╛рд▓реЛрдо рдкреНрд░реЛрдЯреЛрдХреЙрд▓ рдореЗрдВ рд╣реИред

рд╡реВ рд▓рд╛рдорд╛ рдкреНрд░реЛрдЯреЛрдХреЙрд▓


рд╡реВ-рд▓рд╛рдорд╛ рдкреНрд░реЛрдЯреЛрдХреЙрд▓, 1992 рдореЗрдВ рдкреНрд░рд╕реНрддрд╛рд╡рд┐рдд ( рдереЙрдорд╕ рд╡рд╛рдИрд╕реА рд╡реВ, рд╕рд╛рдЗрдорди рдПрд╕ред рд▓реИрдо ), рд╕рдВрджреЗрд╢реЛрдВ рдореЗрдВ рдкреНрд░рддрд┐рднрд╛рдЧрд┐рдпреЛрдВ рдХреА рдпрд╛рджреГрдЪреНрдЫрд┐рдХ рд╕рдВрдЦреНрдпрд╛ рдЬреЛрдбрд╝рддрд╛ рд╣реИ, рдЬреЛ рдкреНрд░реЛрдЯреЛрдХреЙрд▓ рдХреА рд░рдХреНрд╖рд╛ рдХрд░рддрд╛ рд╣реИ, рдЬрд┐рд╕рдореЗрдВ рдмрд╛рд░-рдмрд╛рд░ рд╣реЛрдиреЗ рд╡рд╛рд▓реЗ рд╣рдорд▓реЛрдВ рд╕реЗ рднреА рдмрдЪрд╛ рдЬрд╛рддрд╛ рд╣реИ, рдФрд░ рдкреНрд░рдореБрдЦ рд╕реНрд╡рд╛рдорд┐рддреНрд╡ рдХреА рдкреБрд╖реНрдЯрд┐ рднреА рдХрд░рддрд╛ рд╣реИред рдпрд╣ рдЗрд╕ рдЦрдВрдб рдореЗрдВ рдорд╛рдирд╛ рдЬрд╛рдиреЗ рд╡рд╛рд▓рд╛ рдПрдХрдорд╛рддреНрд░ рдкреНрд░реЛрдЯреЛрдХреЙрд▓ рднреА рд╣реИ рдЬрд┐рд╕рдореЗрдВ рдПрдХ рд╡рд┐рд╢реНрд╡рд╕рдиреАрдп рдкрд╛рд░реНрдЯреА (рдЯреНрд░реЗрдВрдЯ) рджреНрд╡рд╛рд░рд╛ рдПрдХ рдирдИ рдХреБрдВрдЬреА рдЙрддреНрдкрдиреНрди рдХреА рдЬрд╛рддреА рд╣реИред

тАФ

  1. рдРрд▓рд┐рд╕ \ рд╕реЗ \ рд▓реЗрдлреНрдЯ \ {рдП, рдмреА \ рд░рд╛рдЗрдЯ \} рд╕реЗ рдЯреНрд░реЗрдВрдЯ
  2. рдРрд▓реНрдЯ $ рдХреЛ \ _ \ _ S_T (K_B) \ рджрд╛рдПрдБ \} рдХреЛ рдЯреНрд░реЗрдВрдЯ \
  3. рдРрд▓рд┐рд╕ \ _ to \ left \ {E_B (A, R_A) \ рджрд╛рдПрдБ \} рдмреЙрдм
  4. рдмреЙрдм \ _ рд╕реЗ рдмрд╛рдПрдБ = {A, B, E_T (R_A) \ рджрд╛рдПрдБ \} рд╕реЗ рдЯреНрд░реЗрдВрдЯ
  5. Trent \ to \ left \ {S_T (K_A), E_B (S_T (R_A, K, A, B)) рдмреЙрдм рдХреЛ $ \ _ \ _ \
  6. Bob \ to \ left \ {E_A (S_T (R_A, K, A, B), R_B) рдРрд▓рд┐рд╕ $ рдХреЛ \ рд╕рд╣реА \}
  7. рдРрд▓рд┐рд╕ \ _ рдХреЛ \ _ \ _ E_K (R_B) \ рд╕рд╣реА \} \ рдмреЙрдм рдХреЛ

рдЪреВрдВрдХрд┐ рд╕рддреНрд░ рдХреБрдВрдЬреА рдкреНрд░рдорд╛рдг рдкрддреНрд░ рдореЗрдВ рдПрд▓рд┐рд╕ рдХрд╛ рд░реИрдВрдбрдо рдирдВрдмрд░ рдореМрдЬреВрдж рд╣реИ рдЖрд░рдПрд╣рдорд▓рд╛рд╡рд░ рдмреЙрдм рдХреА рдУрд░ рд╕реЗ рдирдП рд╕рддреНрд░ рдореЗрдВ рдкреБрд░рд╛рдиреЗ рдкреНрд░рдорд╛рдг рдкрддреНрд░ рдХрд╛ рдЙрдкрдпреЛрдЧ рдирд╣реАрдВ рдХрд░ рдкрд╛рдПрдЧрд╛ред рдЗрд╕рд▓рд┐рдП, рдкреНрд░реЛрдЯреЛрдХреЙрд▓ рдХрд╛ 6 рд╡рд╛рдВ рдкрд╛рд╕ рдПрд▓рд┐рд╕ рдХреЛ рдпрд╣ рд╕реБрдирд┐рд╢реНрдЪрд┐рдд рдХрд░рдиреЗ рдХреА рдЕрдиреБрдорддрд┐ рджреЗрддрд╛ рд╣реИ рдХрд┐ рдмреЙрдм рдирдП рд╕рддреНрд░ рдХреА рдХреБрдВрдЬреА рдЬрд╛рдирддрд╛ рд╣реИ , рдФрд░ рдЗрд╕рд▓рд┐рдП рдЙрд╕рдХреА "рдорд╛рд╕реНрдЯрд░" рдХреБрдВрдЬреА рдХрд╛ рдорд╛рд▓рд┐рдХ рд╣реИ (рдЪреВрдВрдХрд┐ рдпрд╣ рд╕рдВрджреЗрд╢ рд╕реЗ рдкреНрд░рдорд╛рдгрдкрддреНрд░ рдкреНрд░рд╛рдкреНрдд рдХрд░рдиреЗ рдХрд╛ рдПрдХрдорд╛рддреНрд░ рддрд░реАрдХрд╛ рд╣реИ )ред

рд╕рдВрджреЗрд╢ рд╕рд╛рддрд╡реЗрдВ рдорд╛рд░реНрдЧ рдкрд░ рдРрд▓рд┐рд╕ рд╕реЗ рдмреЙрдм рддрдХ рд╣рдореЗрдВ рдЙрд╕реА рд╕рдордп рдХреА рдЧрд╛рд░рдВрдЯреА рджреЗрдиреЗ рдХреА рдЕрдиреБрдорддрд┐ рджреЗрддрд╛ рд╣реИ рдЬрдм рдРрд▓рд┐рд╕ рдЙрд╕реЗ "рдорд╛рд╕реНрдЯрд░" рдХреБрдВрдЬреА рдЬрд╛рдирддрд╛ рд╣реИ (рдЬреИрд╕рд╛ рдХрд┐ рдпрд╣ рдбрд┐рдХреНрд░рд┐рдкреНрдЯ рдХрд░рдиреЗ рдореЗрдВ рд╕рдХреНрд╖рдо рдерд╛ ), рдФрд░ рдПрдХ рдирдпрд╛ рд╕рддреНрд░ рдХреБрдВрдЬреА рдХреНрдпреЛрдВрдХрд┐ рдпрд╣ рд╕рд╣реА рдврдВрдЧ рд╕реЗ рдПрдиреНрдХреНрд░рд┐рдкреНрдЯ рдХрд░рдиреЗ рдореЗрдВ рд╕рдХреНрд╖рдо рдерд╛ рдпрд╣ рдХреБрдВрдЬреАред

рдЕрдВрддрднрд╛рд╖рдг
рдХреБрдВрдЬреА рд╡рд┐рддрд░рдг рдкрд░ рдЕрдзреНрдпрд╛рдп рдХрд╛ рдЕрдВрддрд┐рдо рдЦрдВрдб рдХреНрд╡рд╛рдВрдЯрдо рдкреНрд░реЛрдЯреЛрдХреЙрд▓ BB84 рдкрд░ рдкрд╣рд▓реЗ рд╕реЗ рдкреНрд░рдХрд╛рд╢рд┐рдд рд╕рд╛рдордЧреНрд░реА рд╣реИ ред рдЗрд╕рд▓рд┐рдП рд╡рд░реНрддрдорд╛рди рд▓реЗрдЦ рд╡рд╛рд╕реНрддрд╡ рдореЗрдВ рд╣реИрдм рдХреЗ рд▓рд┐рдП рдХреНрд░рд┐рдкреНрдЯреЛрдЧреНрд░рд╛рдлрд┐рдХ рдкреНрд░реЛрдЯреЛрдХреЙрд▓ рдХреЗ рдмрд╛рд░реЗ рдореЗрдВ рд╡рд░реНрдЧреЛрдВ рдХреА рд╢реНрд░реГрдВрдЦрд▓рд╛ рдХреЛ рдкреВрд░рд╛ рдХрд░рддрд╛ рд╣реИред рд▓реЗрдЦрдХ рдкрд╛рда рдкрд░ рддрдереНрдпрд╛рддреНрдордХ рдФрд░ рдЕрдиреНрдп рдЯрд┐рдкреНрдкрдгрд┐рдпреЛрдВ рдХреЗ рд▓рд┐рдП рдЖрднрд╛рд░реА рд╣реЛрдЧрд╛ред

Source: https://habr.com/ru/post/hi476538/


All Articles