Formal Validation of the Safety Property of Sack Protocol Using Theorem Proving Technique
Z., Shukur, N, Alias, H., Mohamed Halip M., B., Idrus
Published in Journal of computer science (01.06.2007)
Published in Journal of computer science (01.06.2007)
Get full text
Journal Article
The design of fingerprint biometric authentication on smart card for PULAPOT main entrance system
Isa, M R M, Yahaya, Y H, Halip, M H M, Khairuddin, M A, Maskat, K
Published in 2010 International Symposium on Information Technology (01.06.2010)
Published in 2010 International Symposium on Information Technology (01.06.2010)
Get full text
Conference Proceeding