|
关注：1
2013-05-23 12:21
求翻译：This is a hybrid method combining theorem proving and protocol traces. Strand space model prove to be a practical, intuitive analysis of security protocols and strict formal method, but it would depend on the efforts of experts to do so, it is very difficult, practical difference. There are many other methods are no lo是什么意思？ 待解决
 悬赏分：1
- 离问题结束还有
This is a hybrid method combining theorem proving and protocol traces. Strand space model prove to be a practical, intuitive analysis of security protocols and strict formal method, but it would depend on the efforts of experts to do so, it is very difficult, practical difference. There are many other methods are no lo
问题补充： |
|
2013-05-23 12:21:38
这是一种混合的方法，结合定理证明和协议的痕迹。串空间模型被证明是一个实用，直观的分析安全协议和严格的形式化方法，但它依赖于专家的努力这样做，这是非常困难的，实际的差别。有很多其他方法，不再列出。在一般情况下，正式的协议分析技术，可以归纳为四类
|
|
2013-05-23 12:23:18
这是一个混合方法结合定理”证明和协议跟踪。 束空间模型证明是一个实际的、直观的安全协议和严格遵守正式分析方法,但它将取决于努力的专家去做,这是非常困难的,实际差别。 有很多其他方法将不再列出。 一般来说,正规的协议分析技术可归纳为四种类别
|
|
2013-05-23 12:24:58
正在翻译，请等待...
|
|
2013-05-23 12:26:38
这是相结合的定理证明和协议痕迹的杂交方法。串空间模型被证明是实际的、 直观的分析安全协议和严格正规的方法，但它将取决于专家努力这样做，这是非常困难的、 实际的不同。有很多其他方法不再列出。一般情况下，协议的形式化分析技术，可以归纳为四个类别
|
|
2013-05-23 12:28:18
这是结合证明，是的 theorem，协议上溯的一
|
湖北省互联网违法和不良信息举报平台 | 网上有害信息举报专区 | 电信诈骗举报专区 | 涉历史虚无主义有害信息举报专区 | 涉企侵权举报专区
