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

Raja Oktovin O. P. Damanik, Raja O. P. Damanik, Alwen Tiu

The intruder deduction problem is central to symbolic security-protocol analysis: it asks whether an attacker can derive a target message from observed messages using (cryptographi…