Requirement specification in term of IC Cards