scholarly journals The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications

2005 ◽  
pp. 281-285 ◽  
Author(s):  
A. Armando ◽  
D. Basin ◽  
Y. Boichut ◽  
Y. Chevalier ◽  
L. Compagna ◽  
...  
Keyword(s):  
Security Protocols ◽  
Internet Security ◽  
Avispa Tool

Security Issues in E-Commerce

2021 ◽  
pp. 53-81
Author(s):  
Arram Sriram ◽  
Adiraju Prashantha Rao
Keyword(s):  
Online Shopping ◽  
Security Protocols ◽  
Effective Communication ◽  
End Users ◽  
Internet Security ◽  
The Internet ◽  
Security Issue ◽  
Business People ◽  
Security Issues

E-commerce is selling and buying products in online shopping through the internet. When purchasing the products using internet, many security issues arise. These issues are to be addressed effectively and to be resolved. The security issue is an essential part of any transaction that takes place over the internet. Security becomes paramount not only for retailers but for any business that operates via the internet as the popularity of online shopping grows. This chapter focuses security protocols and their achievements in providing effective communication between end-users and business people.

Security Issues in E-Commerce

2018 ◽  
pp. 179-207 ◽  
Author(s):  
Arram Sriram ◽  
Adiraju Prashantha Rao
Keyword(s):  
Online Shopping ◽  
Security Protocols ◽  
Effective Communication ◽  
End Users ◽  
Internet Security ◽  
The Internet ◽  
Security Issue ◽  
Business People ◽  
Security Issues

E-commerce is selling and buying products in online shopping through the internet. When purchasing the products using internet, many security issues arise. These issues are to be addressed effectively and to be resolved. The security issue is an essential part of any transaction that takes place over the internet. Security becomes paramount not only for retailers but for any business that operates via the internet as the popularity of online shopping grows. This chapter focuses security protocols and their achievements in providing effective communication between end-users and business people.

scholarly journals A Novel Provable Secured Signcryption Scheme ????: A Hyper-Elliptic Curve-Based Approach

Mathematics ◽  
2019 ◽  
Vol 7 (8) ◽  
pp. 686 ◽  
Author(s):  
Insaf Ullah ◽  
Noor Amin ◽  
Junaid Khan ◽  
Muhammad Rehan ◽  
Muhammad Naeem ◽  
...  
Keyword(s):  
Elliptic Curve ◽  
Computational Cost ◽  
Security Protocols ◽  
Bilinear Pairing ◽  
Internet Security ◽  
Replay Attack ◽  
Public Verifiability ◽  
Public Keys ◽  
Security Properties ◽  
Hyper Elliptic Curve

Rivest, Shamir, & Adleman (RSA), bilinear pairing, and elliptic curve are well-known techniques/algorithms for security protocols. These techniques suffer from higher computation and communication costs due to increased sizes of parameters, public keys, and certificates. Hyper-elliptic curve has lower parameter size, public key size, and certificate size. The aim of the proposed work is to reduce the computational cost and communication cost. Furthermore, we validate the security properties of our proposed scheme by using the well-known simulation tool called automated validation of Internet security protocols and applications. Our approach ensures security properties such as resistance against replay attack, confidentiality, authenticity, unforgeability, integrity, non-repudiation, public verifiability, and forward secrecy.

scholarly journals REISCH: Incorporating Lightweight and Reliable Algorithms into Healthcare Applications of WSNs

2020 ◽  
Vol 10 (6) ◽  
pp. 2007 ◽  
Author(s):  
Mishall Al-Zubaidie ◽  
Zhongwei Zhang ◽  
Ji Zhang
Keyword(s):  
Performance Analysis ◽  
Data Collection ◽  
Digital Signature ◽  
High Efficiency ◽  
Security Analysis ◽  
Security Protocols ◽  
Internet Security ◽  
Advanced Technology ◽  
Public Key ◽  
Healthcare Applications

Healthcare institutions require advanced technology to collect patients’ data accurately and continuously. The tradition technologies still suffer from two problems: performance and security efficiency. The existing research has serious drawbacks when using public-key mechanisms such as digital signature algorithms. In this paper, we propose Reliable and Efficient Integrity Scheme for Data Collection in HWSN (REISCH) to alleviate these problems by using secure and lightweight signature algorithms. The results of the performance analysis indicate that our scheme provides high efficiency in data integration between sensors and server (saves more than 24% of alive sensors compared to traditional algorithms). Additionally, we use Automated Validation of Internet Security Protocols and Applications (AVISPA) to validate the security procedures in our scheme. Security analysis results confirm that REISCH is safe against some well-known attacks.

scholarly journals Efficient and Secure NFC Authentication for Mobile Payment Ensuring Fair Exchange Protocol

Symmetry ◽  
2020 ◽  
Vol 12 (10) ◽  
pp. 1649
Author(s):  
Chalee Thammarat
Keyword(s):  
Near Field ◽  
Mutual Authentication ◽  
Security Protocols ◽  
Internet Security ◽  
Fair Exchange ◽  
Formal Proofs ◽  
Session Key ◽  
Security Properties ◽  
Transaction Security ◽  
Security Property

The standard protocol of near field communication (NFC) has concentrated primarily on the speed of communication while ignoring security properties. Message between an NFC-enabled smartphone and a point of sale are exchanged over the air (OTA), which is a message considered an authentication request for payment, billing, ticketing, loyalty services, identification or access control. An attacker who has an antenna can intercept or manipulate the exchanged messages to take advantage of these. In order to solve this problem, many researchers have suggested authentication methods for NFC communications. However, these remain inadequate transaction security and fairness. In this paper, we will propose a technique that ensures mutual authentication, security properties, and strong fairness. Mutual authentication is a security property that prevents replay attacks and man-in-the-middle attacks. Both fair exchange and transaction security are also significant issues in electronic transactions with regards to creating trust among the parties participating in the transaction. The suggested protocol deploys a secure offline session key generation technique to increase transaction security and, importantly, make our protocol lightweight while maintaining the fairness property. Our analysis suggests that our protocol is more effective than others regarding transaction security, fairness, and lightweight protocol. The proposed protocol checks robustness and soundness using Burrows, Abadi and Needham (BAN) logic, the Scyther tool, and automated validation of internet security protocols and applications (AVISPA) that provide formal proofs for security protocols. Furthermore, our protocol can resolve disputes in case one party misbehaves.

scholarly journals RFID Authentication Scheme based on Hyperelliptic Curve Signcryption

2021 ◽  
Author(s):  
Usman Ali
Keyword(s):  
Radio Frequency Identification ◽  
Hyperelliptic Curve ◽  
Security Protocols ◽  
Internet Security ◽  
Authentication Scheme ◽  
Security Requirements ◽  
Communication Overhead ◽  
Computational Overhead ◽  
Rfid System ◽  
Resource Limited

The implementation of efficient security mechanisms for Radio Frequency Identification (RFID) system has always been a continuous challenge due to its limited computing resources. Previously, hash-based, symmetric-key cryptography-based and elliptic curve cryptography based security protocols were proposed for RFID system. However, these protocols are not suitable because some of them failed to fulfill the RFID security requirements, and some of them produce high computational overhead. Recently researchers have focused on developing an efficient security mechanism based on hyperelliptic curve cryptography (HECC) which provides high security with 80 bits lower-key size. In this paper, we propose an efficient RFID authentication scheme based on hyperelliptic curve Signcryption. The proposed authentication scheme provides the required security features for the RFID system as well as security from potential attacks. We validated our proposed scheme’s security by utilizing a widely used simulation tool, Automated Validation of Internet Security Protocols and Applications (AVISPA). Furthermore, the results reveal that the computational, communication and storage overheads of the proposed scheme are much less than the other recently proposed schemes. Compared to the most recently published work based on ECC Signcryption, our scheme is 70% efficient in terms of computational overhead, 42.7% efficient in terms of communication overhead, and 50% efficient in terms of storage overhead. Therefore, the proposed scheme is more efficient as compared to the recently published work in this domain. Hence, it is an attractive solution for resource-limited devices like RFID tags.

Sign in / Sign up

Export Citation Format

Share Document