X. Cheng, X. Ma, M. Cheng, S. C.-H. Huang. Proving secure properties of cryptographic protocols with knowledge based approach. In Proceedings of the 24th IEEE International Performance Computing and Communications Conference, IPCCC 2005, April 7-9, 2005, Phoenix, Arizona, USA. pages 3-9, IEEE, 2005. [doi]
Abstract is missing.