A secure and privacy-preserving mobile wallet with outsourced verification in cloud computing

Qin, Zhen; Sun, Jianfei; Wahaballa, Abubaker; Zheng, Wentao; Xiong, Hu

doi:10.1016/j.csi.2016.11.012

Cited by 45 publications

(33 citation statements)

References 31 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…24,26 By means of formal verification, we can authorize the functional specifications of distributed systems. 38,39 Also we can prove the conceptual interactions between behavioral modeling system and web services for existing communication systems. [40][41][42] Checking correctness of the service composition is 1 of the fundamental advantages of formal verification.…”

Section: Introductionmentioning

confidence: 95%

“…In other hand, formal verification method is an essential issue in the complex communication systems development such as cloud computing, SDN, WSN, and IoT . By means of formal verification, we can authorize the functional specifications of distributed systems . Also we can prove the conceptual interactions between behavioral modeling system and web services for existing communication systems …”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Formal verification approaches in the web service composition: A comprehensive analysis of the current challenges for future research

Souri

Rahmani

Navimipour

2018

Int J Communication

View full text Add to dashboard Cite

Summary Today, service composition is emerging paradigm on the communication networks such as cloud environments, internet of things, wireless sensor network, and software‐defined network. The goal of service composition method is to provide the interactions between user requirements and smart objects of intelligent communication systems. There have been many efforts to use formal verification and behavioral modeling methods to evaluate the service composition mechanisms. Up to now, there is not a comprehensive analysis research on this topic. Therefore, this paper focuses on several formal verification approaches that are performed to confirm the service composition correctness in communication networks. The objective of this paper is to comprehensively categorize and examine current research techniques on formal verification of the service composition. This research analysis provides an overview of recent service composition approaches according to structural and functional properties. Comparison results show that most of the verification approaches in explanation of the service composition correctness are semantic‐aware approach with 43%. The most used verification method for the service composition is model checking with 69%. The process algebra is used 29%, and some theorem proving methods are applied in 9% of the investigated mechanism. Moreover, most widely used modeling tools are NuSMV (22%), SPIN (17%), CPN (12%), UPPAAL (12%), Event‐B (10%), and PAT (5%).

show abstract

Section: Introductionmentioning

confidence: 95%

Section: Introductionmentioning

confidence: 99%

Formal verification approaches in the web service composition: A comprehensive analysis of the current challenges for future research

Souri

Rahmani

Navimipour

2018

Int J Communication

View full text Add to dashboard Cite

show abstract

“…As we know, since mobile devices are generally energy-intensive and computingpower-limited, complex algorithms and protocols are not suitable for them. Considering hash function with the features of low power consumption and being one way and collision-free [11], a trusted hash chain is constructed in our model.…”

Section: Cryptographic Primitivesmentioning

confidence: 99%

“…Abughazalah et al [10] presented a mobile payment scheme based on one-time passwords and tamper-resistant keys. Qin et al [11] provided a novel approach to secure a mobile wallet by incorporating digital signature and pseudoidentity techniques. But the payment platform in the schemes [10,11] knows the relationship between the pseudonym and the real identity of a user.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Practical Secure Transaction for Privacy-Preserving Ride-Hailing Services

Cao

Zhu

2018

Security and Communication Networks

View full text Add to dashboard Cite

Ride-hailing service solves the issue of taking a taxi difficultly in rush hours. It is changing the way people travel and has had a rapid development in recent years. Since the service is offered over the Internet, there is a great deal of uncertainty about security and privacy. Focusing on the issue, we changed payment pattern of existing systems and designed a privacy protection ride-hailing scheme. E-cash was generated by a new partially blind signature protocol that achieves e-cash unforgeability and passenger privacy. Particularly, in the face of a service platform and a payment platform, a passenger is still anonymous. Additionally, a lightweight hash chain was constructed to keep e-cash divisible and reusable, which increases practicability of transaction systems. The analysis shows that the scheme has small communication and computation costs, and it can be effectively applied in the ride-hailing service with privacy protection.

show abstract

A formal approach for Docker container deployment

Yadav

Pal

Yadav

2021

Concurrency and Computation

View full text Add to dashboard Cite

Container-based virtualization is becoming increasingly popular in the cloud industry, as it provides services to the client as per their requirements. Requirements of the user can be described in a configuration file. Cloud provider offers the services to the client using "pay-as-you go" model. Docker provides support to a cloud provider for the creation of a container, deployment of the container, and monitoring of services running inside a container on the host and guest system both. The creation and deployment of the container by Docker efficiently is a big challenge. In this paper, we capture the behavior of the container life cycle through process algebra (CCS) and properties of it as a formula using -calculus. Further we capture the behavior of deployment of the container on the host machine through CCS and its properties through the modelcalculus. We used model checking tool Concurrency Workbench of the New Century to verify the creation of the Docker container as well as deployment of it.

show abstract

A secure and privacy-preserving mobile wallet with outsourced verification in cloud computing

Cited by 45 publications

References 31 publications

Formal verification approaches in the web service composition: A comprehensive analysis of the current challenges for future research

Formal verification approaches in the web service composition: A comprehensive analysis of the current challenges for future research

Practical Secure Transaction for Privacy-Preserving Ride-Hailing Services

A formal approach for Docker container deployment

Contact Info

Product

Resources

About