SeVe： automatic tool for verification of security protocols

Anh、Tuan、Luu、Jun Jun、Sun、Yang、 Liu、Jin Jin

2012Acta Scientiarum Naturalium Universitatis SunyatseniSocial Sciences被引 4

摘要

安全协议现在在许多应用程序与宽使用起越来越重要的作用。当前，为指定并且验证象 Casper/FDR， ProVerif，或 AVISPA 那样的安全协议有许多工具。在这些工具中，入侵者能力，任何一个需要明确地被规定哪个或由缺省设定，不在一些情形是灵活的。而且而大多数存在工具集中于秘密和认证性质，很少支持隐私性质喜欢匿名，收据自由，和强迫抵抗，它在许多应用程序例如是关键的在电子投票系统或匿名的联机交易。

引用本文（GB/T 7714）

Anh, Tuan, Luu, 等. SeVe： automatic tool for verification of security protocols[J]. Acta Scientiarum Naturalium Universitatis Sunyatseni, 2012.

引文网络

参考文献与被引分析加载中…

本站仅收录题录与摘要供学习参考，全文版权归属出版方；如有侵权请联系我们删除。