| http://www.w3.org/ns/prov#value | - After the card type of smart card 10 is identified, as described in reference to step 1111 in FIG. 5, CPU 200 checks the codes representing the check-in and check-out times of the data read from the smart card and compare each time with a real time provided by real time clock 600. (Step 3000).
|