International Journal of Distributed and Cloud Computing

2014 | Volume 2 | Issue Issue 2

Analysis and Verification of a Key Agreement Protocol over Cloud Computing Using Scyther Tool

1. Hazem A. Elbaz – Faculty Of Computer Science And Information System,ain-shams University, Cairo, Egypt

2. Mohammed H. Abd-elaziz – Faculty Of Computer Science And Information System,ain-shams University, Cairo, Egypt

3. Taymoor M. Nazmy – Faculty Of Computer Science And Information System,ain-shams University, Cairo, Egypt

Received
18-Feb-2015 		Accepted
- 		Published
18-Feb-2015
Abstract
Most of the cloud computing authentication mechanisms use public key infrastructure (PKI). Hierarchical Identity Based Cryptography (HIBC) has several advantages that well align with the demands of cloud computing. The main objectives of cloud computing authentication protocols are security and efficiency. In this paper, we clarify Hierarchical Identity Based Authentication Key Agreement (HIB-AKA) protocol, providing lightweight key management approach for cloud computing users. Then, we analyse the security properties of HIB-AKA protocol. We also show, a HIB-AKA security protocol proof using formal automated security analysis Scyther tool.
Keywords Cloud Security, Security Analysis, Key Management, Hierarchical Identity-Based Authentication, Securtiy and Verifying Tools
Locked
Subscribed
Open Access
Open Access
Articles Journal Info Editorial Board Guidelines Pricing Info Peer Review & Publication Policy Submit Manuscript