通用可复合相关论文
针对目前越来越复杂的安全协议,在计算可靠的安全协议符号分析方法的基础上,提出了一种计算可靠且支持双线性对、对称加密以及密钥......
针对目前越来越复杂的安全协议,在建立计算可靠的安全协议符号分析方法的深入研究,提出了一种解决该问题的新方法,即通用可复合符......
在复杂的网络坏境中,单个协议已经不能满足人们的需求,需要多个协议组合在一起使用。为了满足人们这种需求,Canetti给出了通用可复......
