Extending the Theory of Strand Spaces

沈海峰， 薛锐， 黄河燕， 陈肇雄 - Journal of Software - jos.org.cn
现有的串空间模型由于没有抽象更多的密码学原语, 因此不能分析较复杂的安全协议.
希望通过对串空间理论的扩展使其充分地表达较多的密码学原语, 以满足分析复杂安全协议的 …
相关文章

Extending the Theory of Strand Spaces

沈海峰， 薛锐， 黄河燕， 陈肇雄 - Journal of Software - jos.org.cn
Extending the Theory of Strand Spaces 微信服务号 微信订阅号 Home About JOS Editorial
Board Instructions Ethics Statement Archive Contact Chinese Home > Archive>Volume 16 …