On the existence of provably secure cloud computing systems


Cite item

Full Text

Open Access Open Access
Restricted Access Access granted
Restricted Access Subscription Access

Abstract

We study a formal model of cloud computing systems with auxiliary cryptoservers. Assuming an existence of a secure threshold somewhat homomorphic public key cryptosystem we show how to build a cloud computing system secure in this model.

About the authors

N. P. Varnovsky

Information Security Institute

Author for correspondence.
Email: barnaba.np@gmail.com
Russian Federation, Moscow, 119992

V. A. Zakharov

Faculty of Computational Mathematics and Cybernetics

Email: barnaba.np@gmail.com
Russian Federation, Moscow, 119992

A. V. Shokurov

Institute of System Programming

Email: barnaba.np@gmail.com
Russian Federation, ul. Bol’shaya Kommunisticheskaya 25, Moscow, 109004

Supplementary files

Supplementary Files
Action
1. JATS XML

Copyright (c) 2016 Allerton Press, Inc.