Identification cards. Integrated circuit card programming interfaces - Registration authority procedures for the authentication protocols for interoperability