Strand空间中基于安全密钥概念的证明思路 - 任侠; 吕述望 (Tongxin xuebao)