A Formal Proof of Security of Zhang and Kim’s ID-Based Ring Signature Scheme In Proceedings of the 2nd International Workshop on Security in Information Systems - Volume 0ICEIS, 63-72, 2004 , Porto, Portugal