发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

[IEEE 2nd International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX '07) - Szklarska, Poland (2007.06.14-2007.06.16)] 2nd International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX '07) - Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols

[IEEE 2nd International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX '07) - Szklarska, Poland (2007.06.14-2007.06.16)] 2nd International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX '07) - Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols

Cheminod, M.; Bertolotti, I. Cibrario; Durante, L.; Sisto, R.; Valenzano, A.
  • 作者Cheminod, M.; Bertolotti, I. Cibrario; Durante, L.; Sisto, R.; Valenzano, A.
  • 文件大小166.67KB
  • 发表时间2007
  • DOI10.1109/depcos-relcomex.2007.24
  • 页码153-160
同期刊推荐
← 返回【学霸图书馆】主页
© 2026 学霸图书馆 · 让阅读成为习惯