SeDaSC: Secure Data Sharing in Clouds

IEEE Systems Journal

Volumn 11, Issue 2, 2017, Pages 395-404

  Ali, Mazhar ^a   Dhamotharan, Revathi ^a   Khan, Eraj ^b   Khan, Samee U ^a   Vasilakos, Athanasios V ^c   Li, Keqin ^d   Zomaya, Albert Y ^e  

^a North Dakota State University   (United States)

^b Tobe Camp University Road Abbottabad   (Pakistan)

^c KUWAIT UNIVERSITY   (Kuwait)

^d STATE UNIVERSITY OF NEW YORK   (United States)

^e UNIVERSITY OF SYDNEY   (Australia)

Author keywords

Access control; cloud computing; high level Petri nets (HLPNs); modeling; Satisfiability Modulo Theory (SMT); Scyther; verification

Indexed keywords

ACCESS CONTROL; CLOUD COMPUTING; COMPUTATION THEORY; CRYPTOGRAPHY; DATA STORAGE EQUIPMENT; EMBEDDED SYSTEMS; FORMAL LOGIC; MOBILE CLOUD COMPUTING; MODELS; PETRI NETS; VERIFICATION;

DATA CONFIDENTIALITY; DATA STORAGE SYSTEMS; FORWARD-AND-BACKWARD; HIGH-LEVEL PETRI NETS; PERFORMANCE BASED; SATISFIABILITY MODULO THEORIES; SCYTHER; TRUSTED THIRD PARTIES;

DIGITAL STORAGE;

EID: 85027442653     PISSN: 19328184     EISSN: 19379234     Source Type: Journal    
DOI: 10.1109/JSYST.2014.2379646     Document Type: Article

References (15)

1. A. Abbas and S. U. Khan, "A review on the State-of-the-art privacy preserving approaches in e-health clouds, " IEEE J. Biomed. Health Informat., vol. 18, no. 1, pp. 1431-1441, Jul. 2014.
2. K. Alhamazani et al., "An overview of the commercial cloud monitoring tools: Research dimensions, design issues, state-of-the-art, " Computing, DOI: 10.1007/s00607-014-0398-5, 2014, to be published.
3. A. N. Khan, M. L. M. Kiah, S. U. Khan, and S. A. Madani, "Towards secure mobile cloud computing: A survey, " Future Gen. Comput. Syst., vol. 29, no. 5, pp. 1278-1299, Jul. 2013.
4. L. Wei, H. Zhu, Z. Cao, Y. Chen, and A. V. Vasilakos, "Security and privacy for storage and computation in cloud computing, " Inf. Sci., vol. 258, pp. 371-386, Feb. 2014.
5. Cloud security Alliance, "Security guidelines for critical areas of focus in cloud computing v3.0, " 2011.
6. D. Chen et al., "Fast and scalable multi-way analysis of massive neural data, " IEEE Trans. Comput., vol. 64, no. 3, pp. 707-719, Mar. 2015. DOI: 10.1109/TC.2013.2295806.
7. A. N. Khan, M. M. Kiah, S. A. Madani, M. Ali, and S. Shamshir-band, "Incremental proxy re-encryption scheme for mobile cloud computing environment, " J. Supercomput., vol. 68, no. 2, pp. 624-651, May 2014.
8. Y. Chen and W. Tzeng, "Efficient and provably-secure group key management scheme using key derivation, " in Proc. IEEE 11th Int. Conf. TrustCom, 2012, pp. 295-302.
9. L. Xu, X. Wu, and X. Zhang, "CL-PRE: A certificateless proxy reencryption scheme for secure data sharing with public cloud, " in Proc. 7th ACM Symp. Inf., Comput. Commun. Security, 2012, pp. 87-88.
10. P. Gutmann, "Secure deletion of data from magnetic and solid-state memory, " in Proc. 6th USENIX Security Symp. Focusing Appl. Cryptography, 1996, p. 8.
11. S. Seo, M. Nabeel, X. Ding, and E. Bertino, "An Efficient Certificateless Encryption for Secure Data Sharing in Public Clouds, " IEEE Trans. Knowl. Data Eng., vol. 26, no. 9, pp. 2107-2119, Sep. 2013.
12. Y. Chen, J. D. Tygar, and W. Tzeng, "Secure group key management using uni-directional proxy re-encryption schemes, " in Proc. IEEE INFOCOM, pp. 1952-1960.
13. T. Murata, "Petri Nets: Properties, analysis and applications, " Proc. IEEE, vol. 77, no. 4, pp. 541-580, Apr. 1989.
14. L. Moura and N. Bjrner, "Satisfiability modulo theories: An appetizer, " in Proc. Formal Methods, Found. Appl., vol. 5902, Lecture Notes in Computer Science, 2009, pp. 23-36.
15. S. U. R. Malik, S. K. Srinivasan, S. U. Khan, and L. Wang, "A methodology for OSPF routing protocol verification, " in Proc. 12th Int. Conf. ScalCom, Changzhou, China, Dec. 2012, pp. 1-5.