Strand空间中基于安全密钥概念的证明思路 附视频 - 任侠; 吕述望; 1.中国科学院研究生院信息安全国家重点实验室; 2.中国科学院研究生院信息安全国家重点实验室 北京100039; 3.北京100039 (Tongxin xuebao)