Mourad Debbabi, Mohamed Mejri, Nadia Tawbi, I. Yahmadi. From Protocol Specifications to Flaws and Attack Scenarios: An Automatic and Formal Algorithm. In 6th Workshop on Enabling Technologies (WET-ICE 97), Infrastructure for Collaborative Enterprises, 18-20 June 1997, MIT, Cambridge, MA, USA, Proceedings. pages 256-262, IEEE Computer Society, 1997. [doi]
Abstract is missing.