Application Requirements specification in terms of IC card