Efficient and verifiable outsourcing computation of large-scale nonlinear programming

Volume 21, Issue 4, pp 335--343 http://dx.doi.org/10.22436/jmcs.021.04.06
Publication Date: May 15, 2020 Submission Date: January 09, 2020 Revision Date: February 04, 2020 Accteptance Date: April 08, 2020

Authors

Nedal M. Mohammed - Department of Computer Science, Dr. Babasaheb Ambedkar Marathwada University, Aurangabad, India. Ali N. AL-Seadi - Department of Computer Science, Thi-Qar University, Thi-Qar, Iraq. Santosh S. Lomte - Department of Computer Science, Dr. Babasaheb Ambedkar Marathwada University, Aurangabad, India. Poonam M. Rokade - Department of Computer Science, Dr. Babasaheb Ambedkar Marathwada University, Aurangabad, India. Ahmed A. Hamoud - Department of Mathematics, Dr. Babasaheb Ambedkar Marathwada University, Aurangabad, India.


Abstract

Nonlinear programming (NLP) problems arise in various fields, such as transport, financial engineering, logistics, urban planning, supply chain management, and power system control. Solving large-scale NLPs are usually so computationally expensive for resource-constrained users within a feasible time. The cost-effective solution is computation outsourcing, but this raises security concerns such as the input and output privacy of the customers, and cheating behaviors of the cloud since NLP problems always carry sensitive information. In this paper, we develop a practical secure and verifiable schema for solving outsourcing large-scale (NLP) with the GRG method. Also, we apply approximate KKT conditions for verifying the optimality of the result returned by the GRG algorithm. We implement the proposed schema on the customer side laptop and using AWS compute domain elastic compute cloud (EC2) for the cloud side.


Share and Cite

  • Share on Facebook
  • Share on Twitter
  • Share on LinkedIn
ISRP Style

Nedal M. Mohammed, Ali N. AL-Seadi, Santosh S. Lomte, Poonam M. Rokade, Ahmed A. Hamoud, Efficient and verifiable outsourcing computation of large-scale nonlinear programming, Journal of Mathematics and Computer Science, 21 (2020), no. 4, 335--343

AMA Style

Mohammed Nedal M., AL-Seadi Ali N., Lomte Santosh S., Rokade Poonam M., Hamoud Ahmed A., Efficient and verifiable outsourcing computation of large-scale nonlinear programming. J Math Comput SCI-JM. (2020); 21(4):335--343

Chicago/Turabian Style

Mohammed, Nedal M., AL-Seadi, Ali N., Lomte, Santosh S., Rokade, Poonam M., Hamoud, Ahmed A.. "Efficient and verifiable outsourcing computation of large-scale nonlinear programming." Journal of Mathematics and Computer Science, 21, no. 4 (2020): 335--343


Keywords


MSC


References