×

《搭便车者指南》介绍了安全协议中等价属性的可判定性和复杂性。 (英语) Zbl 07370024号

Nigam,Vivek(编辑)等人,《逻辑、语言和安全》。在安德烈·塞德罗夫65岁生日之际为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。12300, 127-145 (2020).
摘要:密码协议中的隐私保护安全属性通常由过程计算中的观察等价物(如应用的pi-calculus)建模。我们调查了用于自动验证此类等效性的可决策性和复杂性结果,将现有结果纳入一个通用框架中,以便进行精确比较。这种统一的观点不仅提供了对当前技术状态的更清晰的见解,还允许我们识别决策问题陈述中的一些变化,有时会导致不同的复杂性结果。此外,我们还证明了一些新的或强化的结果。
关于整个系列,请参见[Zbl 1464.03004号].

MSC公司:

03年XX月 数学逻辑和基础
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔