Formal Verification of the xDAuth Protocol by Alam, Q., Tabbasum, S., Malik, S.U.R., Alam, M., Ali, T., Akhunzada, A., Khan, S.U., Vasilakos, A.V., Buyya, R.

“…This paper focuses on the formal verification of the xDAuth protocol, which is one of the prominent protocols for identity management in cross domain scenarios. …”

Formal verification of RFID system using model verification agent by Lockman, Muhammad Tarmizi

“…Although many researches have been done on the RFID system, research on formal verification of RFID system has not yet been fully explored. …”
Get full text

A formal verification and simulation of Common Criteria Recognition Arrangement (CCRA) by Mat Isa, Mohd Anuar, Mahmod, Ramlan, Udzir, Nur Izura, Ab Manan, Jamalul-lail, Dehghantanha, Ali, Shamsuddin, Solahuddin

Get full text

Verifikasi Command Transfer Protocol Menggunakan SPIN by Dewi, Ervin Kusuma, Pulungan, Reza

“…Formal verification adalah metode untuk membuktikan bahwa sebuah implementasi betul-betul mengimplementasikan apa yang dijabarkan dalam bentuk spesifikasinya. …”
Get full text

HOOPOE: High performance and efficient anonymous handover authentication protocol for flying out of zone UAVs by Khalid, Haqi, Hashim, Shaiful Jahari, Hashim, Fazirulhisyam, Syed Ahamed, Sharifah Mumtazah, Chaudhary, Muhammad Akmal, Altarturi, Hamza H. M., Saadoon, Muntadher

“…The protocol's security was proved using the formal verification ROR model and automated security verifier ProVerif tool to validate the protocol resistance against various attacks and provided forward secrecy. …”

An efficient authentication and key agreement protocol for 4G (LTE) networks by Alezabi, Kamal Ali, Hashim, Fazirulhisyam, Hashim, Shaiful Jahari, Mohd Ali, Borhanuddin

“…The automated validation of internet security protocols and applications (AVISPA) tool is used to provide a formal verification. Results show that the proposed EEPS-AKA is efficient and secure against active and passive attacks.…”
Get full text

Blockchain-based access control scheme for secure shared personal health records over decentralised storage by Hussien, Hassan Mansur, Md Yasin, Sharifah, Udzir, Nur Izura, Ninggal, Mohd Izuan Hafez

“…Furthermore, security validation is verified by simulating a formal verification scenario using Automated Validation of Internet Security Protocols and Applications (AVISPA), thereby unveiling that SC-ABSE is resistant to man-in-the-middle (MIM) and replay attacks. …”

Efficient kerberos authentication scheme for cross-domain systems in industrial internet of things using ECC by Ismail, Haqi Khalid

“…The proposed schemes have been validated using informal and formal security verification to compare the achieved security features against various attacks. The formal verification is performed using BAN logic to prove the security and mutual authentications. …”
Get full text

Toward efficient attribute-based searchable encryption for access control over blockchain by Hussein, Al-Abadi Hassan Mansur

“…Furthermore, security validation is verified by simulating a formal verification scenario using Automated Validation of Internet Security Protocols and Applications (AVISPA), thereby unveiling that BC-ABSE is resistant to man-in-themiddle (MIM) and replay attacks. …”
Get full text

Security and performance enhancement of authentication protocols in heterogeneous wireless networks by Alezabi, Kamal Ali Ahmed

“…The Automated Validation of Internet Security Protocols and Applications (AVISPA) tool is used to provide a formal verification. Results show that the proposed protocols are efficient and secure against active and passive attacks.…”
Get full text