Formal Analysis and Verification for an Ultralightweight Authentication Protocol RAPP of RFID

Wei, Li; Xiao, Meihua; Li, Yanan; Mei, Yingtian; Zhong, Xiaomei; Tu, Jimin

doi:10.1007/978-981-10-6893-5_9

Cited by 5 publications

(3 citation statements)

References 16 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The author built a model in the format of a Promela model for the cryptographic protocol to verify the protocol in the spin model checker. Besides, Li et al [39] have used the spin model checker tool to verify one of the Ultralight-weight authentication protocols. Rfid authentication protocol with permutation (RAPP) is the proposed ultralightweight authentication protocol that needs to be verified using the spin model checker.…”

Section: Verification Toolsmentioning

confidence: 99%

A Review on the Verification Approaches and Tools used to Verify the Correctness of Security Algorithms and Protocols

Al-humaikani¹,

Rahim²

2019

IJACSA

View full text Add to dashboard Cite

Security algorithms and protocols are typical essential upgrades that must be involved within systems and their structures to provide the best performance. The protocols and systems should go through verification and testing processes in order to be more efficient and accurate. In the testing of software, traditional methods are used for accuracy check-up. However, this could not fulfill the measurement of all the testing requirements. The usage of formal verification approaches in checking security properties considers their best environment to be applied. The available literature discussed several approaches on developing the most robust formal verification methods for addressing and analyzing errors that face systems. This could be during the implantation process, unknown attacks, and nondeterministic adversary on the security protocols and algorithm. In this paper, a comprehensive review of the main formal verification approaches such as model checking and theorem approving has been conducted. Moreover, the use of verification tools was briefly presented and explained thoroughly. Those formal verification methods could be involved in the design, redesign of security protocols, and algorithms based on standards and determined sizes that is decided by these techniques' analysis. The critical analysis of the methods used in verifying the security of systems showed that model checking approaches and its tools were the most used approaches among all the reviewed methods.

show abstract

Section: Verification Toolsmentioning

confidence: 99%

A Review on the Verification Approaches and Tools used to Verify the Correctness of Security Algorithms and Protocols

Al-humaikani¹,

Rahim²

2019

IJACSA

View full text Add to dashboard Cite

show abstract

“…[23]. Following our previous work [24] , we need to convert the improved protocol into Promela code. In the next, the improved RCIA modeled with Promela is illustrated in detail.…”

Section: Formal Analysis and Verification On Improved Protocolmentioning

confidence: 99%

“…c) The intruder can always steal the IDS data of tag. Following the intruder modeling method in [24], intruder model of improved RCIA has been built, and the coding framework is shown as follows:…”

Section: Formal Analysis and Verification On Improved Protocolmentioning

confidence: 99%

Formal Analysis and Improvement on Ultralightweight Mutual Authentication Protocols of RFID

Xiao

Zhong

et al. 2019

Chin. j. electron.

Self Cite

View full text Add to dashboard Cite

A Secure Lightweight RFID Mutual Authentication Protocol Without Explicit Challenge-Response Pairs

Huang

Lin

Liu

2022

Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering

View full text Add to dashboard Cite

Formal Analysis and Verification for an Ultralightweight Authentication Protocol RAPP of RFID

Cited by 5 publications

References 16 publications

A Review on the Verification Approaches and Tools used to Verify the Correctness of Security Algorithms and Protocols

A Review on the Verification Approaches and Tools used to Verify the Correctness of Security Algorithms and Protocols

Formal Analysis and Improvement on Ultralightweight Mutual Authentication Protocols of RFID

A Secure Lightweight RFID Mutual Authentication Protocol Without Explicit Challenge-Response Pairs

Contact Info

Product

Resources

About