Sufatrio, Roland H. C. Yap. Extending BAN Logic for Reasoning with Modern PKI-Based Protocols. In Jian Cao, Minglu Li, Chuliang Weng, Yang Xiang, Xin Wang, Hong Tang, Feng Hong, Hong Liu, Yinglin Wang, editors, IFIP International Conference on Network and Parallel Computing, NPC 2008, Shanghai, China, October 18-21, 2008, Workshop Proceedings. pages 190-197, IEEE Computer Society, 2008. [doi]
Abstract is missing.