Formal verification of RFID system using model verification agent /

Formal verification of RFID system using model verification agent /

Thesis (Sarjana Sains (Sains Komputer)) - Universiti Teknologi Malaysia, 2012

Bibliographic Details
Main Authors:	Muhammad Tarmizi Lockman, 1981-, Ali Selamat, supervisor, Fakulti Sains Komputer dan Sistem Maklumat
Format:
Language:	eng
Published:	2012
Subjects:	Radio frequency identification systems

Similar Items

Formal verification of RFID system using model verification agent [electronic resource] /
by: Muhammad Tarmizi Lockman, 1981-
Published: (2012)

RFID in halal tracking system [electronic resource] /
by: Mohammad Ridhuan Sabirin, 1982-, et al.
Published: (2009)

Formal verification of RFID system using model verification agent
by: Lockman, Muhammad Tarmizi
Published: (2012)

RFID in halal tracking system /
by: Mohammad Ridhuan Sabirin, 1982-, et al.
Published: (2009)

Secured RFID cash card /
by: Leow, Xiang Ling, 1986-, et al.
Published: (2009)

UTM visitor RFID access control system /
by: Chia, Hui Hui, 1988-, author, et al.
Published: (2012)

UTM visitor RFID access control system /
by: Chia, Hui Hui, 1988-, author, et al.
Published: (2012)

Sistem pengurusan profil dan pemantuan haiwan di Zoo Johor menggunakan teknologi Radio Frequency Identification (RFID) /
by: Ahmad Anwarruddin Mohamed, author, et al.
Published: (2010)

Kajian pemantauan menggunakan RFID /
by: Mohd. Helmi Rakhani, author, et al.
Published: (2008)

Multi-agent verification of RFID system
by: Selamat, Ali, et al.
Published: (2009)

Smart trolley with RFID /
by: Chin, Chee Min, 1986-, et al.
Published: (2009)

Sistem pengecaman kenderaan menggunakan RFID /
by: 348185 Mohd. Khairul Izwan Che Soh, et al.
Published: (2007)

Trees inventory system based on RFID at Frim /
by: Ainul Hazmin A.Hamid, et al.
Published: (2009)

Sistem e-tol menggunakan teknologi RFID /
by: Rafhana Abd Rashid, 1987-, author,, et al.
Published: (2010)

Student attendace system base on RFID technology /
by: Almuashi Mohammed Ali, 1982-, et al.
Published: (2010)

Automated menu and kaiten system using RFID /
by: Shiek, Harn Loong, 1987-, et al.
Published: (2010)

Sistem penjejakan lokasi kenderaan dan pensyarah menggunakan teknologi RFID /
by: 348001 Mohamed Kheirulnaim Mohamed Danial, et al.
Published: (2007)

Authentication enhancement of RFID card using an electronically clippable shield and fingerprint-biometrics /
by: Ikuesan Richard Adeyemi, 1983-, et al.
Published: (2012)

Sistem pendaftaran Pusat Kesihatan Mahasiswa menggunakan RFID /
by: 518060 Muhamad Nurul Hafiz Razali, et al.
Published: (2010)

Sistem kehadiran berasaskan RFID Fakulti Sains Komputer Sistem Maklumat /
by: 262359 Mohd. Hadfazzari Ahmad, et al.
Published: (2009)

Development of smart access and tracking on information resources (smart library) system using radio frequency identification (RFID) technology /
by: Hasma Khairul Nisak Harun, 1973-, et al.
Published: (2008)

System for monitoring the integrity of halal product in a warehouse using RFID /
by: Lee, Peng Keong, 1988- author, et al.
Published: (2011)

Development of smart access and tracking on information resources (smart library) system using radio frequency identification (RFID) technology [electronic resource] /
by: Hasma Khairul Nisak Harun, et al.
Published: (2008)

Sistem pengurusan aset alih kerajaan secara atas talian menggunakan teknologi RFID (SPAAK ONLINE) /
by: 515264 Hafsah Salam, et al.
Published: (2010)

eFarmasi berasaskan web dan RFID /
by: 329447 Mawarni Rosle, et al.
Published: (2008)

A CONFIDENTIAL RFID MODEL TO PREVENT UNAUTHORIZED ACCESS /
by: Maryam Gharooni, 1980-, author, et al.
Published: (2012)

System for monitoring the integrity of halal product in a warehouse using RFID /
by: Lee, Peng Keong, 1988- author, et al.
Published: (2011)

Multi agent verification of RFID system /
by: Ali Selamat, author, et al.
Published: (2009)

Sistem pengenalpastian identiti individu keluar masuk kampus di UTM menggunakan RFID /
by: 353121 Noreffendi Eskan, et al.
Published: (2009)

A CONFIDENTIAL RFID MODEL TO PREVENT UNAUTHORIZED ACCESS /
by: Maryam Gharooni, 1980-, et al.
Published: (2012)

Detection system graduates for convocation using RFID technology /
by: Lee, Mei Ping, 1987-, et al.
Published: (2010)

Mobile tracking system for Research Management Centre (RMC) : research final report using radio-frequency identification (RFID) /
by: 335922 Loh, Ing Ming, et al.
Published: (2008)

Security and performance benchmarking of lightweight encryption algorithms for secure RFID systems /
by: Mojtaba Ali Zadeh, 1983-, et al.
Published: (2012)

Sistem pengesahan graduan semasa penyampaian sijil menggunakan RFID /
by: 331175 Wee, Fwu Chyang, et al.
Published: (2009)

RFID+ /
by: 462688 Zeisel, Eva, et al.
Published: (2006)

Penggunaan teknologi RFID dalam sistem inventori peralatan komputer /
by: 358283 Tan, Ik Suan, et al.
Published: (2009)

Multi - agent verification and validation for RFID system architecture /
by: Muhammad Tarmizi Lockman, 1981-, author, et al.
Published: (2008)

Pilgrim identification system using RFID technology /
by: Alwuhayd, Muteb Mohammed, 1979- author, et al.
Published: (2012)

Pilgrim identification system using RFID technology /
by: Alwuhayd, Muteb Mohammed, 1979-, author, et al.
Published: (2012)

Sistem pengesanan lokasi kenderaan menggunakan teknologi Wi-fi dan RFID /
by: 337278 Eztiany Hidayu Sulaiman, et al.
Published: (2008)