Olga Siedlecka-Lamch, Miroslaw Kurkowski, Henryk Piech. A New Effective Approach for Modelling and Verification of Security Protocols. In Louchka Popova-Zeugmann, editor, Proceedings of the 21th International Workshop on Concurrency, Specification and Programming, Berlin, Germany, September 26-28, 2012. Volume 928 of CEUR Workshop Proceedings, pages 191-202, CEUR-WS.org, 2012. [doi]
Abstract is missing.