Dynamic epistemic verification of security protocols : framework and case study

Dechesne, Francien and Wang, Yanjing
In Proceedings of LORI 2007, 2007
Publication year: 2007