Analysis and Formal Model of RFID-Based Patient Registration System Journal title: International Journal of Advanced Computer Science & Applications Authors: Marrium Khalid, Hamra Afzaal, Shoaib Hassan, Nazir Ahmad Zafar Subject(s):