RFID iclass HID key

So I am not new to arduino, but I am new to RFID. I am currently a university student, and my dorm area and other buildings are card access via an iclass HID rfid chip in the ID card itself. I already have the card, but want to know how to use an arduino and card reader to basically clone an iclass card onto a smaller rfid tag. Any advice would be greatly appreciated!

dead link. here's a live one: