0
0

流密码是语义安全的

目标：安全的PRG => 流密码是语义安全的。

G:K->{0,1}^n 安全的PRG，如果G是安全的，那么从G提取的密钥流是语义安全的。无法证明完美保密性，因为流密码较短，不可能完全安全。

如何证明？
任意的语义安全攻击者A，存在一个PRG攻击者B，使得Adv[A,E] <= 2*Adv[B,G]。A对流密码有可忽略优势，B对PRG有可忽略优势。
在这里插入图片描述

Challenger随机选一个秘钥，将GK加密切换为用r加密，用真正的随机填充而非伪随机填充。
攻击者无法察觉，因为生成器是安全的，无法赢得游戏，流密码一定是安全的。

proof let A be a semantic security adversary attacking E.
claim1: 

  1.       ∣ 
  2.      
  3.     
  4.       P 
  5.      
  6.     
  7.       r 
  8.      
  9.     
  10.       [ 
  11.      
  12.      
  13.      
  14.        R 
  15.       
  16.      
  17.        0 
  18.       
  19.      
  20.     
  21.       ] 
  22.      
  23.     
  24.       − 
  25.      
  26.     
  27.       P 
  28.      
  29.     
  30.       r 
  31.      
  32.     
  33.       [ 
  34.      
  35.      
  36.      
  37.        R 
  38.       
  39.      
  40.        1 
  41.       
  42.      
  43.     
  44.       ] 
  45.      
  46.     
  47.       ∣ 
  48.      
  49.     
  50.       = 
  51.      
  52.     
  53.       A 
  54.      
  55.     
  56.       d 
  57.      
  58.      
  59.      
  60.        v 
  61.       
  62.       
  63.       
  64.         s 
  65.        
  66.       
  67.         s 
  68.        
  69.       
  70.      
  71.     
  72.       [ 
  73.      
  74.     
  75.       A 
  76.      
  77.     
  78.       , 
  79.      
  80.     
  81.       O 
  82.      
  83.     
  84.       T 
  85.      
  86.     
  87.       P 
  88.      
  89.     
  90.       ] 
  91.      
  92.     
  93.       = 
  94.      
  95.     
  96.       0 
  97.      
  98.     
  99.    
  100.      |Pr[R_{0}] - Pr[R_{1}]| = Adv_{ss}[A, OTP] = 0 
  101.     
  102.    
  103.  ∣Pr[R0​]−Pr[R1​]∣=Advss​[A,OTP]=0

claim2: 存在一个PRG攻击者B， 

  1.       ∣ 
  2.      
  3.     
  4.       P 
  5.      
  6.     
  7.       r 
  8.      
  9.     
  10.       [ 
  11.      
  12.      
  13.      
  14.        W 
  15.       
  16.      
  17.        b 
  18.       
  19.      
  20.     
  21.       ] 
  22.      
  23.     
  24.       − 
  25.      
  26.     
  27.       P 
  28.      
  29.     
  30.       r 
  31.      
  32.     
  33.       [ 
  34.      
  35.      
  36.      
  37.        R 
  38.       
  39.      
  40.        b 
  41.       
  42.      
  43.     
  44.       ] 
  45.      
  46.     
  47.       ∣ 
  48.      
  49.     
  50.       = 
  51.      
  52.     
  53.       A 
  54.      
  55.     
  56.       d 
  57.      
  58.      
  59.      
  60.        v 
  61.       
  62.       
  63.       
  64.         s 
  65.        
  66.       
  67.         s 
  68.        
  69.       
  70.      
  71.     
  72.       [ 
  73.      
  74.     
  75.       B 
  76.      
  77.     
  78.       , 
  79.      
  80.     
  81.       G 
  82.      
  83.     
  84.       ] 
  85.      
  86.     
  87.    
  88.      |Pr[W_{b}] - Pr[R_{b}]| = Adv_{ss}[B, G] 
  89.     
  90.    
  91.  ∣Pr[Wb​]−Pr[Rb​]∣=Advss​[B,G]

=> 

  1.       A 
  2.      
  3.     
  4.       d 
  5.      
  6.      
  7.      
  8.        v 
  9.       
  10.       
  11.       
  12.         s 
  13.        
  14.       
  15.         s 
  16.        
  17.       
  18.      
  19.     
  20.       [ 
  21.      
  22.     
  23.       A 
  24.      
  25.     
  26.       , 
  27.      
  28.     
  29.       E 
  30.      
  31.     
  32.       ] 
  33.      
  34.     
  35.       = 
  36.      
  37.     
  38.       ∣ 
  39.      
  40.     
  41.       P 
  42.      
  43.     
  44.       r 
  45.      
  46.     
  47.       [ 
  48.      
  49.      
  50.      
  51.        W 
  52.       
  53.      
  54.        0 
  55.       
  56.      
  57.     
  58.       ] 
  59.      
  60.     
  61.       − 
  62.      
  63.     
  64.       P 
  65.      
  66.     
  67.       r 
  68.      
  69.     
  70.       [ 
  71.      
  72.      
  73.      
  74.        W 
  75.       
  76.      
  77.        1 
  78.       
  79.      
  80.     
  81.       ] 
  82.      
  83.     
  84.       ∣ 
  85.      
  86.     
  87.       < 
  88.      
  89.     
  90.       = 
  91.      
  92.     
  93.       2 
  94.      
  95.     
  96.       ∗ 
  97.      
  98.     
  99.       A 
  100.      
  101.     
  102.       d 
  103.      
  104.      
  105.      
  106.        v 
  107.       
  108.       
  109.       
  110.         s 
  111.        
  112.       
  113.         s 
  114.        
  115.       
  116.      
  117.     
  118.       [ 
  119.      
  120.     
  121.       B 
  122.      
  123.     
  124.       , 
  125.      
  126.     
  127.       G 
  128.      
  129.     
  130.       ] 
  131.      
  132.     
  133.       = 
  134.      
  135.     
  136.       2 
  137.      
  138.     
  139.       ∗ 
  140.      
  141.     
  142.       A 
  143.      
  144.     
  145.       d 
  146.      
  147.      
  148.      
  149.        v 
  150.       
  151.       
  152.       
  153.         p 
  154.        
  155.       
  156.         r 
  157.        
  158.       
  159.         g 
  160.        
  161.       
  162.      
  163.     
  164.       [ 
  165.      
  166.     
  167.       B 
  168.      
  169.     
  170.       , 
  171.      
  172.     
  173.       G 
  174.      
  175.     
  176.       ] 
  177.      
  178.     
  179.    
  180.      Adv_{ss}[A, E] = |Pr[W_{0}] - Pr[W_{1}]| <= 2*Adv_{ss}[B, G] = 2*Adv_{prg}[B, G] 
  181.     
  182.    
  183.  Advss​[A,E]=∣Pr[W0​]−Pr[W1​]∣<=2∗Advss​[B,G]=2∗Advprg​[B,G]
标签： 安全
本文转载自: https://blog.csdn.net/sharloopSeason/article/details/143840589
版权归原作者 learn to create 所有， 如有侵权，请联系我们删除。
登录后发布评论

“流密码是语义安全的”的评论:

还没有评论
关于作者
...
overfit同步小助手
文章同步
相关阅读

网络安全法-网络运行安全

使用selenium/drissionpage时如何阻止chrome自动跳转http到https

docker desktop 里部署的Open WebUI 管理员密码忘记了的处理方法

在ubuntu20.04中搭建onsite比赛运行环境

利用开源的低代码表单设计器FcDesigner高效管理和渲染复杂表单结构

Kafka学习笔记

【前端】浏览器输入url到页面呈现发生了什么？

文章导航
没有找到文章内容分段。。。