2000年莫斯科数学奥林匹克竞赛上首次提出的俄罗斯牌问题引起了人们的广泛关注。最初是三个游戏者，七张牌的问题。随后研究者对其进行扩展，并基于俄罗斯牌问题提出了可用于多方通信的公开安全通信协议――俄罗斯牌协议。该协议根据pickingrule为通信各方生成安全的发言，参与通信的任一方依据deleting rule判断发言一方的真实信息，从而保证了通信过程的安全性。本文改进了该协议的picking rule，并对改进后的协议进行了验证。首先，本文对原协议算法中存在的错误进行了修改，并给出了正确的算法。然后，根据原协议存在的不足之处，本文提出了改进的picking rule，给出了详细的算法描述，并对改进后的协议进行了详细的阐述。此外，本文还对原有的协议算法和改进后的协议算法进行了比较分析。接着，使用基于SPIN的PPTL模型检测器对改进后的协议进行了形式化的验证。验证结果表明，改进后的协议是安全的。最后，本文给出了一个改进后协议的应用实例。