Right Divisibility in Erasing Semi-Thue Systems: A Minimal View of Intruder Deduction

本文研究符号安全协议分析中的入侵者推导问题，即判断攻击者能否利用其掌握的操作从已观测消息中推导出目标消息。尽管收敛重写系统能够提供规范形式，但模收敛理论的推导一般不可判定，现有可判定片段多由实际密码学示例驱动。本文从最小结构视角出发：当所有

历史摘要 · 未重新核验 · arXiv cs.CR