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]
@inproceedings{DebbabiMTY97:0, title = {From Protocol Specifications to Flaws and Attack Scenarios: An Automatic and Formal Algorithm}, author = {Mourad Debbabi and Mohamed Mejri and Nadia Tawbi and I. Yahmadi}, year = {1997}, url = {http://computer.org/proceedings/wet-ice/7967/79670256abs.htm}, tags = {protocol}, researchr = {https://researchr.org/publication/DebbabiMTY97%3A0}, cites = {0}, citedby = {0}, pages = {256-262}, booktitle = {6th Workshop on Enabling Technologies (WET-ICE 97), Infrastructure for Collaborative Enterprises, 18-20 June 1997, MIT, Cambridge, MA, USA, Proceedings}, publisher = {IEEE Computer Society}, isbn = {0-8186-7967-0}, }