Verifiable algorithm for secure outsourcing of systems of linear equations in the case of no solution

Proceedings - 2014 9th International Conference on Broadband and Wireless Computing, Communication and Applications, BWCCA 2014

Volumn , Issue , 2014, Pages 572-577

  Nie, Haixin ^a   Ma, Hua ^a   Wang, Jianfeng ^a   Chen, Xiaofeng ^a  

^a XIDIAN UNIVERSITY   (China)

Author keywords

Cloud computing; Outsource secure computation; System of Linear Equations; Verification Techniques

Indexed keywords

ALGORITHMS; CLOUD COMPUTING; LARGE SCALE SYSTEMS; LINEAR EQUATIONS; LINEAR PROGRAMMING; MOBILE SECURITY; OUTSOURCING;

COMPUTATIONAL RESOURCES; COMPUTATIONAL SCIENCE; SCIENTIFIC COMMUNITY; SECURE COMPUTATION; STATE-OF-THE-ART ALGORITHMS; SYSTEM OF LINEAR EQUATIONS; SYSTEMS OF LINEAR EQUATIONS; VERIFICATION TECHNIQUES;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 84946691392     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/BWCCA.2014.117     Document Type: Conference Paper

References (23)

1. D. Benjamin and M. J. Atallah, Private and Cheating-free Outsourcing of Algebraic Computations, in Proc. of 6th Conf. on Privacy, Security, and Trust (PST), 2008, pp. 240-45.
2. M. J. Atallah and K. B. Frikken, Securely Outsourcing Linear Algebra Computations, Proceedings of the 5th ACM Symposium on Information, Computer and Communications Security (AsiaCCS), pp.48-59, 2010.
3. M. J. Atallah, K. N. Pantazopoulos, J. R. Rice, and E. H. Spafford, Secure Outsourcing of Scientific Computations, Advances in Computers, vol.54, pp. 216-272, 2001.
4. M. Backes, D. Fiore, and R. M. Reischuk, Verifiable Delegation of Computation on Outsourced Data, In: 2013 ACM Conference on Computer and Communication Security. ACM Press (November 2013).
5. M. Benzi, Preconditioning Techniques for Large Linear Systems: A Survey, Journal of Computational Physics, 182, pp. 418-477, 2002.
6. M. Blanton and M. J. Atallah, Algorithms and Theory of Computation Handbook. CRC Press, contents 6-13, 1999.
7. T. H. Cormen, C. E. Leiserson, R. L. Rivest, and C. Stein, Introduction to Algorithms, 2nd ed. MIT press, 2008.
8. D. Catalano and D. Fiore, Practical Homomorphic MACs for Arithmetic Circuits, Proc. of EUROCRYPT 2013, LNCS 7881, pp. 336-352, 2013.
9. D. Catalano, D. Fiore, R. Gennaro, and L. Nizzardo, Generalizing Homomorphic MACs for Arithmetic Circuits, In Buenos Aires, Argentina, PKC 2014, Proceedings: LNCS 8383, pp. 538-555, 2014.
10. X. Chen, J. Li, J. Ma, Q. Tang, and W. Lou, New Algorithms for Secure Outsourcing of Modular Exponentiations, ESORICS 2012, LNCS 7459, pp. 541-556, Springer-Verlag, 2012.
11. X. Chen, J. Li, J. Ma, W. Lou, and D. S. Wong, New Algorithms for Secure Outsourcing of Large-scale Systems of Linear Equations, Manuskipt, submitted to IEEE Transactions on Information Forensics and Security.
12. K. Forsman, W. Gropp, L. Kettunen, D. Levine, and J. Salonen, Solution of Dense Systems of Linear Equations Arising from Integral-equation Formulations, IEEE Antennas and Propagation Magazine, 37(6), pp. 96-100, 1995.
13. R. Gennaro and D. Wichs, Fully Homomorphic Message Authenticators, Proc. of ASIACRYPT 2013, LNCS 8270, pp. 301-320. Springer, Heidelberg (2013).
14. M. Girault and D. Lefranc, Server-aided Verification: Theory and Practice, Advances in Cryptology-ASIACRYPT 2005, LNCS 3788, Springer-Verlag, pp. 605-623, 2005.
15. M. Jakobsson and S. Wetzel, Secure Server-aided Signature Generation. PKC 2001, LNCS 1992, pp.383-401. 2001.
16. D. Luenberger and Y. Ye, Linear and Nonlinear Programming, 3rd ed. Springer, 2008.
17. P. Mell and T. Grance, The NIST Definition of Cloud Computing, US Natl Inst. of Science and Technology, 2011; http://csrc.nist.gov/publications/nistpubs/800-145/SP800-145.pdf.
18. H. Nie, X. Chen, J. Li, J. Liu, and W. Lou, Efficient and Verifiable Algorithm for Secure Outsourcing of Large-scale Linear Programming. Proceedings of the IEEE 28th International Conference on Advanced Information Networking and Applications (AINA), pp. 591-596, 2014.
19. P. Paillier, Public-key Cryptosystems based on Composite Degree Residuosity Classes. Proc. of EUROCRYPT, 1999, pp. 223-238.
20. K. Ren, C. Wang, and Q. Wang, Security Challenges for the Public Cloud, IEEE Internet Computing, v 16, n 1, pp. 69-73, Jan.-Feb. 2012.
21. C. Wang, K. Ren, and J. Wang, Secure and Practical Outsourcing of Linear Programming in Cloud Computing, Proceedings of the 30th IEEE International Conference on Computer Communications (INFOCOM), pp. 820-828, 2011.
22. C. Wang, K. Ren, J. Wang, and Qian Wang, Harnessing the Cloud for Securely Outsourcing Large-scale Systems of Linear Equations, IEEE Trans. Parallel Distribution Systems, 24(6), pp. 1172-1181, 2013.
23. A. Sahai, H. Seyalioglu, and B. Waters, Dynamic Credentials and Ciphertext Delegation for Attribute-based Encryption. CRYPTO 2012, LNCS 7417, pp. 199-217, 2012.