An Improved Identification Scheme In Progress in Computer Science and Applied Logic., 2003.