Easy Intruder Deductions

Easy Intruder Deductions
复制标题

轻松入侵者扣除

DOI：
10.1007/978-3-540-39910-0_10
复制
发表时间：
2003
期刊：
--
影响因子：
--
通讯作者：
R. Treinen
R. Treinen
中科院分区：
--
文献类型：
--
作者：
Hubert Comon;R. Treinen

文献摘要

被引文献

相似文献

利用密码原语的一些代数性质，我们研究了被动入侵者的Dolev-yao模型在密码协议中的推广。我们给出了入侵者推断问题在多项式时间内可判定的充分条件。我们将这一结果应用于同态方程理论，并证明了在这种情况下，如果消息是规范形式的，则入侵者推断问题是线性的。
We investigate extensions of the Dolev-Yao model of a passive intruder into a cryptographic protocol by some algebraic properties of cryptographic primitives. We provide sufficient conditions under which the intruder deduction problem is decidable in polynomial time. We apply this result to the equational theory of homomorphism, and show that in this case the intruder deduction problem is linear, provided that the messages are in normal form.