Formal verification of RFID system using model verification agent

QR Code

Formal verification of RFID system using model verification agent

Radio Frequency Identification (RFID) technology has brought about revolutionary changes to software system development that supports major applications in advanced business and asset management. Over the years, many RFID applications have been implemented and integrated into the existing system esp...

Full description

Bibliographic Details
Main Author:	Lockman, Muhammad Tarmizi
Format:	Thesis
Language:	English
Published:	2012
Subjects:	QA Mathematics
Online Access:	http://eprints.utm.my/10042/ http://eprints.utm.my/10042/1/MuhammadTarmiziMFSKSM2012.pdf

Similar Items

A formal approach to modelling and verification of context-aware systems
by: Ul-Haque, Hafiz Mahfooz
Published: (2017)

Experimental verification of column at extreme temperature
by: Abdul Ghani, Badri, et al.
Published: (1996)

Web transcript verification using dual check digit as secure number
by: Abd Halim, Muhamad Rais
Published: (2016)

A formal veriﬁcation and simulation of Common Criteria Recognition Arrangement (CCRA)
by: Mat Isa, Mohd Anuar, et al.
Published: (2017)

Multibiometric systems based verification technique
by: Anwar, Farhat, et al.
Published: (2009)

Reusable Automated Agent For Universal Verification Methodology System Testbench
by: Rajumanikam, R. Logeish Raj
Published: (2015)

Integrated biometric verification system using soft computing approach
by: Abdul Rahman, Abdul Wahab, et al.
Published: (2007)

Medical certificate verification system using QR code
by: Lai, Chong Lan
Published: (2014)

Online signature verification discriminators
by: Omar, Nazaruddin, et al.
Published: (2006)

Verification of i* models using alloy
by: Oluoch Ating'a, Peter, et al.
Published: (2011)

Online Signature Verification System
by: Fauziyah, Salehuddin, et al.
Published: (2009)

Dynamic signature verification system
by: Lim, Wai Loon
Published: (2011)

Verification of RISC-V design with Universal Verification Methodology (UVM)
by: Liew, You Hong
Published: (2022)

Mutual attestation and integrity verification of RFID system using trusted platform module (TPM) / Mohd Faizal Mubarak
by: Mubarak, Mohd Faizal
Published: (2010)

Mobile Student Verification System for Major Examination (S-VEC)
by: Aziman, Abdullah, et al.
Published: (2008)

Verification of EMMS formulation using lattice Boltzmann simulations
by: Shah, Milinkumar, et al.
Published: (2014)

Variable order verification use of logic representation
by: Prasad, , PWC, et al.
Published: (2003)

Verification of scholars and references in Islamic websites
by: Mahmud, Murni, et al.
Published: (2011)

Integrated authentication model: face verification
by: Hameed, Shihab A., et al.
Published: (2011)

Face verification : an introduction
by: Hameed, Shihab A., et al.
Published: (2011)

Introduction to fingerprint verification
by: Hameed, Shihab A., et al.
Published: (2011)

Converters results verifications
by: Ma, Li Ya, et al.
Published: (2011)

Finger vein verification
by: Krishna Veni, Selvan.
Published: (2009)

Dynamic modeling and verification of unicycle mobile robot system
by: Abdul Rashid, Mohd Zamzuri, et al.
Published: (2011)

Modeling, simulation and experimental verification of hydraulic servo system
by: Anis Syarliza, Ahmad
Published: (2013)

Users' verification of information system curriculum design model
by: Thong, Chee Ling, et al.
Published: (2017)

Off-line signature verification and forgery detection using fuzzy modeling
by: Hanmandlu, , M, et al.
Published: (2005)

Probabilistic random projections and speaker verification
by: Ying, Chong Lee, et al.
Published: (2007)

An offline signature verification technique using pixels intensity levels
by: Shah, Abdul Salam, et al.
Published: (2016)

Off-line signature verification and forgery detection system based on fuzzy modeling
by: Krishna Madasu, Vamsi, et al.
Published: (2003)

Stroke-to-stroke matching in on-line signature verification
by: Ahmad Jaini, Azhar
Published: (2010)

Voter Verification Using Rubik's Cube
by: Moayed, Majid Javid
Published: (2009)

Speaker verification using probabilistic 2D CLAFIC
by: Ying, Chong Lee, et al.
Published: (2007)

Remarks on BioHashing based cancelable biometrics in verification system
by: JIN, A, et al.
Published: (2006)

Verification of tree induced suction with numerical model
by: Mohd Fakhrurrazi, Ishak, et al.
Published: (2021)

Verification the performance of Microsoft SQL Server / Nageswary Gannapathy
by: Nageswary , Gannapathy
Published: (2002)

Design and development of an automatic fingerprint verification system
by: Sulong, Ghazali
Published: (2005)

System Description: Embedding Verification into Microsoft Excel
by: Collins, Graham, et al.
Published: (2000)

Dose verification procedures in radiotherapy
by: Zakaria, Ahmad, et al.
Published: (1999)

Tokenised discretisation in iris verification
by: Chin, Chong Siew, et al.
Published: (2005)