πt演算相关论文
加密协议是信息安全的基石，加密协议能否实现用户所需的安全目标是所有加密协议设计者、使用者所关心的问题，但是加密协议的验证却是......
安全协议模型是安全协议分析与验证的基础，现有的建模方法中存在着一些缺点，如：建模复杂、重用性差等．为此提出了一种类型化的π演算：π......
