denotes the IP address of X - SCX denotes X's smart card and - SCNX denotes the serial number of X's smart card - N is a permitted number of login times and .