安全协议模型相关论文
安全协议模型是安全协议分析与验证的基础，现有的建模方法中存在着一些缺点，如：建模复杂、重用性差等．为此提出了一种类型化的π演算：π......
在讨论分布式系统中的RSA公钥密码中,提出了分布式系统的安全域关系模型及算法;并在OSI协议层的基础上,讨论了安全协议模型。......
