Verifying Regular Trace Properties of Security Protocols with Explicit Destructors and Implicit Induction
Adel Bouhoula, Florent Jacquemard
In the proceedings of Proceedings of the Joint Workshop on Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis (FCS-ARSPA), 2007
Recommended citation: Adel Bouhoula, Florent Jacquemard, "Verifying Regular Trace Properties of Security Protocols with Explicit Destructors and Implicit Induction" In the proceedings of Proceedings of the Joint Workshop on Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis (FCS-ARSPA), 2007.