Yating Hsu, David Lee. Authentication and authorization protocol security property analysis with trace inclusion transformation and online minimization. In Proceedings of the 18th annual IEEE International Conference on Network Protocols, ICNP 2010, Kyoto, Japan, 5-8 October, 2010. pages 164-173, IEEE Computer Society, 2010. [doi]
Abstract is missing.